Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems

(1, 2) , (3, 2) , (2)
1
2
3

Abstract

Ensuring the safety control of Autonomous Mobility-on-Demand systems is one of the biggest challenges facing designers to successful deployment. The addition of adaptability to such systems further hardens and delays modelling and validating phase, especially due to the current lack of design models and tools. The formal methods have proven to be useful for making the development process reliable at early design stages. Based on this approach, this paper proposes a mixed process to specify, design and verify safety requirements in adaptive AMoD Systems. This process provides analytical proofs of safety requirements during the design stage of a system when changes are cheap. This contribution deals with combining the UML MARTE profile for modelling the workload behaviour of the system and the formalism Net Condition Event System for consistency validation of safety properties. To verify the effectiveness of our proposal, several formal analyses are carried out using the model checker SESA. The evaluation of the proposed architecture, simulated by the Sumo software, proves the impact of the number of autonomous vehicles on the global performance and the intended quality of service (QoS) in the framework of the TORNADO project.
Fichier principal
Vignette du fichier
Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems.pdf (589 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02614008 , version 1 (20-05-2020)

Identifiers

  • HAL Id : hal-02614008 , version 1

Cite

Mohamed Naija, Rihab Khemiri, Ernesto Expósito. Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems. 15 th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, Czech Republic. ⟨hal-02614008⟩

Collections

UNIV-PAU LIUPPA
66 View
131 Download

Share

Gmail Facebook Twitter LinkedIn More