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

Fabien Bonnefoi 1 Lom Messan Hillah 1 Fabrice Kordon 1 Guy Fremont
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01336640
Contributor : Lip6 Publications <>
Submitted on : Thursday, June 23, 2016 - 2:39:53 PM
Last modification on : Thursday, March 21, 2019 - 1:05:23 PM

Identifiers

  • HAL Id : hal-01336640, version 1

Citation

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⟩

Share

Metrics

Record views

68