loading...
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems
Santorini Island, Greece May 07-May 09
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.4210th IEEE International Symposium on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Fabrice Kordon, "Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems," Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, pp. 420-427, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ISORC.2007.42,
author = {Fabrice Kordon},
title = {Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems},
journal ={Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2765-5},
pages = {420-427},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.42},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
TI - Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems
SN - 0-7695-2765-5
SP420
EP427
A1 - Fabrice Kordon,
PY - 2007
KW - null
VL - 0
JA - Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
ER -
 
Fabrice Kordon, Universite Pierre & Marie Curie, France
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 in formal 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.

Citation:
Fabrice Kordon, "Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems," isorc, pp.420-427, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.