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.