Skip to Main content Skip to Navigation
Conference papers

Modeling and verification method for an early evaluation of Systems of Systems interactions

Ronan Baduel 1, 2 Iulian Ober 1 Jean-Michel Bruel 2
1 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-SM@RT - Smart Modeling for softw@re Research and Technology
IRIT - Institut de recherche en informatique de Toulouse
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. At this stage, and at least from the industrial point of view, the train can be considered as a System of Systems (SoS). 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02891673
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, July 7, 2020 - 9:30:16 AM
Last modification on : Wednesday, April 7, 2021 - 12:22:02 PM
Long-term archiving on: : Friday, November 27, 2020 - 12:13:28 PM

File

baduel_26362.pdf
Files produced by the author(s)

Identifiers

Citation

Ronan Baduel, Iulian Ober, Jean-Michel Bruel. Modeling and verification method for an early evaluation of Systems of Systems interactions. 35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩. ⟨hal-02891673⟩

Share

Metrics

Record views

70

Files downloads

71