An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal

Abbas Abdulhameed (1) , Ahmed Hammad (1) , Hassan Mountassir (1) , Bruno Tatibouët (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

Ensuring the correction of heterogeneous and complex systems is an essential stage in the process of engineering systems. In this paper we propose a methodology to verify and validate complex systems specified with SysML language using a combination of the two techniques of simulation and verification. We translate SysML specifications into SystemC models to validate the designed systems by simulation, then we propose to verify the derived SystemC models by using the Uppaal model checker. A case study is presented to demonstrate the effectiveness of our approach.

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

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët. An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal. CAL 2014, 8ème conférence francophone sur les architectures logicielles, 2014, Paris, France. 9 p. ⟨hal-01234020⟩