%0 Conference Paper %F Oral %T Combining Semi-Formal and Formal Methods for Safety Control in Autonomous Mobility-on-Demand Systems %+ Laboratoire d'Informatique pour les Systèmes Industriels (LISI) %+ Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA) %+ Université de Tunis El Manar (UTM) %A Naija, Mohamed %A Khemiri, Rihab %A Expósito, Ernesto %< avec comité de lecture %B 15 th International Conference on Evaluation of Novel Approaches to Software Engineering %C Prague, Czech Republic %8 2020-05-05 %D 2020 %K AMoD %K Adaptability %K Safety %K Net Condition/Event Systems (NCESs) %K Simulation %Z Computer Science [cs]/Computation and Language [cs.CL] %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %X 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. %G English %2 https://univ-pau.hal.science/hal-02614008/document %2 https://univ-pau.hal.science/hal-02614008/file/Combining%20Semi-Formal%20and%20Formal%20Methods%20for%20Safety%20Control%20in%20Autonomous%20Mobility-on-Demand%20Systems.pdf %L hal-02614008 %U https://univ-pau.hal.science/hal-02614008 %~ UNIV-PAU %~ LIUPPA %~ UPPA-OA