Vérification des architectures systèmes basées sur SysML à l’aide de la méthode B

Abstract

L’ingénierie des exigences présente de nombreux défis pour les chercheurs car les systèmes logiciels deviennent de plus en plus complexes et leur mise en œuvre demande des approches de modélisation plus rigoureuses. Notre but est de Combiner des méthodes d’ingénierie des exigences avec des méthodes formelles de spécification et de vérification. L’idée est de proposer une extension du modèle SYSML par des concepts existants dans le domaine de l’ingénierie des exigences puis d’implémenter les règles de transformation de cette extension SYSML vers des spécifications B formelles pour vérifier l’architecture du système.