Vérification des architectures systèmes basées sur SysML à l’aide de la méthode B.
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
University of Tlemcen
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 oeuvre 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.
Description
Requirements engineering presents many challenges for researchers as software systems
become more complex and their implementation requires more rigorous modeling
approaches. Our goal is to combine requirements engineering methods with formal
specification and verification methods. The idea is to propose an extension of the SYSML
model by existing concepts in the field of requirements engineering and then to implement
the transformation rules of this SYSML extension to formal B specifications to verify the
architecture of the system.