Modeling and verification method for an early evaluation of Systems of Systems interactions - Smart Modeling for software Research and Technology Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Résumé

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.
Fichier principal
Vignette du fichier
baduel_26362.pdf (314.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02891673 , version 1 (07-07-2020)

Identifiants

Citer

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⟩
107 Consultations
132 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More