Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Guillaume Dupont (1) , Yamine Aït-Ameur (1) , Marc Pantel (1) , Neeraj Kumar Singh (1)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

Hybrid systems represent a major part of nowadays's technology. They are present under many forms and in many safety-critical applications. Hence, the question of guaranteeing such systems' behaviour is a key issue that must be addressed.

Domaines: Informatique [cs]

Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj Kumar Singh. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. MEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩. ⟨hal-02983162⟩