Modeling and verification method for an early validation of a train system

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps of development in an industrial context. A met…