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

Abstract

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.