Modular and Distributed Verification of SysML Activity Diagrams

Messaoud Rahim (1) , Ahmed Hammad (2) , Malika Ioualalen (3)

1 Université Yahia Fares de Médéa
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
3 LSI - Laboratoire des Systèmes Informatiques

Model-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we have to deal with the state space explosion problem. In this paper, we propose new approach to allow a modular and distributed verification of SysML Activity Diagram basing on the derived Petri net.

Domaines: Modélisation et simulation; Génie logiciel [cs.SE]

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen. Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development, Jan 2013, Spain. pp.202 - 205. ⟨hal-00935748⟩