Formal System and Safety Design of a System of Systems: a proof of concepts - IRT SystemX Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Michel Batteux
Romain Kerneis
Ismet Addoui
  • Fonction : Auteur
  • PersonId : 1086060
Anouk Dubois
  • Fonction : Auteur
  • PersonId : 1083493

Résumé

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.
Fichier non déposé

Dates et versions

hal-03073797 , version 1 (16-12-2020)

Identifiants

  • HAL Id : hal-03073797 , version 1

Citer

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⟩

Collections

IRT-SYSTEMX
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More