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

TL;DR

This paper introduces a method for early validation of train system behavior during initial development stages, focusing on verification and validation techniques in an industrial setting.

Contribution

It proposes a new modeling and verification method for early validation of train systems, including defining constrained states and behavior structures.

Findings

Preliminary results demonstrate the effectiveness of the proposed method.

The approach supports early detection of system issues.

It provides a structured way to verify use case preconditions.

Abstract

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.