OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Baduel, Ronan and Ober, Iulian Sorin and Bruel, Jean-Michel Modeling and verification method for an early evaluation of Systems of Systems interactions. (2020) In: 35th Annual ACM Symposium on Applied Computing (SAC 2020), 30 March 2020 - 3 April 2020 (Brno, Czech Republic).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
321kB

Official URL: https://doi.org/10.1145/3341105.3373944

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM (Association for Computing Machinery). The definitive version is available at http://dl.acm.org This papers appears in SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing ISBN: 978-1-4503-6866-7 The original PDF is available at: https://dl.acm.org/doi/abs/10.1145/3341105.3373944
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
Bombardier Transport SAS (France) - ANRT : Association Nationale de la Recherche et de la Technologie (France)
Statistics:download
Deposited On:23 Jun 2020 10:29

Repository Staff Only: item control page