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 method is proposed, supported by preliminary results through the definition and verification of constrained states and preconditions to use cases, as well as a structure for the behavior.
@article{arxiv.1909.01766,
title = {Modeling and verification method for an early validation of a train system},
author = {Ronan Baduel and Iulian Ober and Jean-Michel Bruel},
journal= {arXiv preprint arXiv:1909.01766},
year = {2019}
}