Modeling and verification method for an early validation of a train system
This addresses the need for reliable verification in train systems during initial development phases, but it appears incremental as it builds on existing validation approaches.
The paper tackles the problem of early validation of train system behavior in industrial development by proposing a method for modeling and verification, supported by preliminary results from defining and verifying constrained states and preconditions to use cases.
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.