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).
|
(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 |
HAL Id: | hal-02891673 |
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