Skip to Main content Skip to Navigation
Conference papers

Formal System and Safety Design of a System of Systems: a proof of concepts

Abstract : A multi-modal mobility solution for users involves several systems interacting all together. Such combination of several different systems is classically called a system of systems. It is designed according to a set requirements, not totally congruent. For this publication we present the design of such a multi-modal mobility solution using different autonomous vehicles communicating with their environment, e.g. traffic signals or GPS, a remote control center, etc. This design was realized by using a classical architectural process: from the definition of operational requirements, based on stakeholders’ needs, to the design of the functional and physical architectures. For the design of both functional and physical architectures, we used several formal tools (e.g. BPMN, Maude, Uppaal) to ensure the correction of the models, during creation. Requirements are also checked on these models. The design and assessment of the safety requirements were also realized with a formal approach by using the AltaRica 3.0 technology. According to the safety requirements and the models of the functional and physical architectures, the AltaRica 3.0 models were designed. The evaluation of the safety requirements, translated to safety performance indicators, were checked on these AltaRica 3.0 models. Results of our works are a proof of concept of the use of a formal approach to design such a system of systems of a multi-modal mobility solution. By using formal tools, we insured a greater confidence on the correction of the designed models.
Document type :
Conference papers
Complete list of metadata
Contributor : Michel Batteux Connect in order to contact the contributor
Submitted on : Wednesday, December 16, 2020 - 11:50:33 AM
Last modification on : Wednesday, December 16, 2020 - 4:42:23 PM


  • HAL Id : hal-03073797, version 1



Michel Batteux, Romain Kerneis, Ismet Addoui, Anouk Dubois. Formal System and Safety Design of a System of Systems: a proof of concepts. European Safety and Reliability Conference (ESREL 2020), Nov 2020, Venice, Italy. ⟨hal-03073797⟩



Record views