Home // SIMUL 2017, The Ninth International Conference on Advances in System Simulation // View article

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

Authors:
Emna Chebbi
Patrick Sondi
Eric Ramat

Keywords: Formal Modeling, Simulation, Routing Protocol, Security, Intelligent Transportation Systems

Abstract:
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.

Pages: 14 to 15

Copyright: Copyright (c) IARIA, 2017

Publication date: October 8, 2017

Published in: conference

ISSN: 2308-4537

ISBN: 978-1-61208-594-4

Location: Athens, Greece

Dates: from October 8, 2017 to October 12, 2017