Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation

Résumé

This work proposes a methodology to increase the amount of proven properties of an intelligent transportation system component. A formal tool based on Event-B is used to build a first model of the component and to generate automatically the theorems. Then the model, the theorems and the residual proof obligations (RPO) are incorporated in a discrete event simulation in order to solve interactively some RPO based on simulation results. This paper describes the idea and the challenging issues.
Fichier non déposé

Dates et versions

hal-03451317 , version 1 (06-01-2022)

Identifiants

  • HAL Id : hal-03451317 , version 1

Citer

Emna Chebbi, Patrick Sondi, Eric Ramat. Enhancing Formal Proofs of Network Protocols for Transport Systems using Discrete Event Simulation. SIMUL 2017 - the Ninth International Conference on Advances in System Simulation, Oct 2017, Athens, Greece. ⟨hal-03451317⟩
17 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More