Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems

Fabrice Kordon

Résumé

Modern intelligent transport systems are large, distributed, and at least partially embedded systems. They raise new challenges through safe design because of their characteristics that are not easily managed informal methods. The purpose of this paper is to set up a methodology that selects appropriate techniques for the modeling and analysis of such systems. Our methodology relies on symmetric nets (formerly known as well formed Petri nets). We make intensive use of this formalism's capabilities to scale up analysis and set up a roadmap for the design of dedicated model checkers

Dates et versions

hal-01335145 , version 1 (21-06-2016)

Identifiants

Citer

Fabrice Kordon. Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), May 2007, Santorini, Greece. pp.420-427, ⟨10.1109/ISORC.2007.42⟩. ⟨hal-01335145⟩
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More