Modeling and verification method for an early evaluation of systems of systems interactions | Zendy

Ronan Baduel | Zendy; Iulian Ober | Zendy; JeanMichel Bruel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Ronan Baduel,

Iulian Ober,

JeanMichel Bruel

Publication year - 2020

Publication title -

hal (le centre pour la communication scientifique directe)

Language(s) - English

Resource type - Conference proceedings

ISBN - 978-1-4503-6866-7

DOI - 10.1145/3341105.3373944

Subject(s) - computer science , context (archaeology) , formal verification , verification , functional verification , model checking , point (geometry) , systems engineering , engineering , programming language , software development , software , paleontology , geometry , mathematics , biology , software construction

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research