An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems

Fabien Bonnefoi
  • Fonction : Auteur
  • PersonId : 980625
Lom Messan Hillah
Fabrice Kordon
Guy Fremont
  • Fonction : Auteur

Résumé

Modern distributed systems tend to integrate more and more features and components that increase their complexity and size. This often leads to the decomposition of such systems into multiple parts to overcome the complexity of their modeling and analysis. In this paper, we present a modeling methodology for systems engineering based on a modular approach. The methodology relies on the definition of components and assembling rules to model complex systems. It is founded on formal specification formalisms and tools to enable model checking. This paper proposes an example by which we apply this methodology on a complex system from the domain of Intelligent Transport Systems.
Fichier non déposé

Dates et versions

hal-01336640 , version 1 (23-06-2016)

Identifiants

  • HAL Id : hal-01336640 , version 1

Citer

Fabien Bonnefoi, Lom Messan Hillah, Fabrice Kordon, Guy Fremont. An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems. Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86. ⟨hal-01336640⟩
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More