Dual mode for vehicular platoon safety: Simulation and formal verification

Karoui, Oussama; Khalgui, Mohamed; Kouba, Anis; Guerfala, Emna; Li, Zhiwu; Tovar, Eduardo

doi:10.1016/j.ins.2017.03.016

Cited by 49 publications

(24 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In (Karoui et al, 2017) authors adopt a switching approach between two platoon modes to solve disturbance problems. This closest work allows reconfiguration to manage communication quality degradation with clear safety assumptions.…”

Section: State Of the Artmentioning

confidence: 99%

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

Naija

Khemiri

Expósito

2020

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering

View full text Add to dashboard Cite

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.

show abstract

Section: State Of the Artmentioning

confidence: 99%

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

Naija

Khemiri

Expósito

2020

Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…The lifetime of WSN is determined by the battery reserves of the sensor nodes composing it. When a sensor node runs with insufficient energy, the QoS degrades and the deadline of messages will not be met [12]- [14]. Due to these constraints, WSN should be highly flexible and reconfigurable so they can adapt their behavior to the environment according to circumstances at run time [15]- [21].…”

Section: Introductionmentioning

confidence: 99%

On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints

Aissa

Bachir

Khalgui

et al. 2019

IEEE Trans. Syst. Man Cybern, Syst.

Self Cite

View full text Add to dashboard Cite

This paper deals with the medium between two reconfigurable sensor nodes characterized by radio interfaces that support multiple channels for exchanging real-time messages under energy constraints, these constraints are violated if the consumed energy in transmission is higher than the remaining quantity of energy. A reconfiguration, i.e., any addition or removal of tasks in devices and consequently of messages on the medium, can cause the violation of real-time or energy constraints at run-time. To achieve a feasible scheduling in time (i.e., message deadlines will be respected) and energy (i.e., there is available energy) on the medium, we propose new dynamic solutions: Balance, Dilute, and a combination of them to manage any addition or removal of messages. The proposed approach utilizes the energy harvesting techniques and PowerControl algorithm to reduce the nonharvested consumed energy. The proposed strategies achieve significant improvement over existing methods and provide the highest percentage of adding messages, with a lower average in response time and energy consumption. They reach a percentage of success in adding the highest priority messages while meeting deadlines up to 85%. This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.

show abstract

“…Although VP can increase fuel efficiency and road capacity, by having vehicle groups traveling close together, VP presents several safety challenges, considering it heavily relies on wireless communications, and upon a set of sensors that can be affected by noise. The ETSI ITS-G5 [10] is considered as the enabler ready-to-go communications technology for such applications, and although there has been extensive analysis of its performance [8], [9], [11], the understanding of its impact upon the safety of these Systems of Systems (SoS) is rather immature. Hence, extensive testing and validation must be carried out to understand the safety limits of such SoS by encompassing communications.…”

Section: Introductionmentioning

confidence: 99%

Towards a Realistic Simulation Framework for Vehicular Platooning Applications

Vieira

Severino

Koubâa

et al. 2019

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)

Self Cite

View full text Add to dashboard Cite

Cooperative vehicle platooning applications increasingly demand realistic simulation tools to ease their validation, and to bridge the gap between development and real-word deployment. However, their complexity and cost, often hinders its validation in the real-world. In this paper we propose a realistic simulation framework for vehicular platoons that integrates Gazebo with OMNeT++ over Robot Operating System (ROS) to support the simulation of realistic scenarios of autonomous vehicular platoons and their cooperative control.

show abstract

Dual mode for vehicular platoon safety: Simulation and formal verification

Cited by 49 publications

References 15 publications

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

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

On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints

Towards a Realistic Simulation Framework for Vehicular Platooning Applications

Contact Info

Product

Resources

About