Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJ Tueno Fotso, M Frappier, R Laleau… - International Journal on …, 2020 - Springer
This paper presents a specification of the hybrid ERTMS/ETCS level 3 standard in the
framework of the case study proposed for ABZ2018. The specification is based on methods
and tools, developed in the ANR FORMOSE project, for the modeling and formal verification
of critical and complex system requirements. The requirements are specified with
SysML/KAOS goal diagrams and are automatically translated into B System specifications,
in order to obtain the architecture of the formal specification. Domain properties are specified …
framework of the case study proposed for ABZ2018. The specification is based on methods
and tools, developed in the ANR FORMOSE project, for the modeling and formal verification
of critical and complex system requirements. The requirements are specified with
SysML/KAOS goal diagrams and are automatically translated into B System specifications,
in order to obtain the architecture of the formal specification. Domain properties are specified …
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJ Tueno Fotso, M Frappier, R Laleau… - … Alloy, B, TLA, VDM, and Z …, 2018 - Springer
This paper presents a specification of the hybrid ERTMS/ETCS level 3 standard in the
framework of the case study proposed for the 6th edition of the ABZ conference. The
specification is based on the method and tools, developed in the ANR FORMOSE project, for
the modeling and formal verification of critical and complex system requirements. The
requirements are specified with SysML/KAOS goal diagrams and are automatically
translated into B System specifications, in order to obtain the architecture of the formal …
framework of the case study proposed for the 6th edition of the ABZ conference. The
specification is based on the method and tools, developed in the ANR FORMOSE project, for
the modeling and formal verification of critical and complex system requirements. The
requirements are specified with SysML/KAOS goal diagrams and are automatically
translated into B System specifications, in order to obtain the architecture of the formal …