Logotype Mälardalenn University

PROGRESS publications



Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

Full text:  
Authors: John Håkansson (Department of Information Technology, Uppsala University), Jan Carlson, Aurelien Monot (Ecole des Mines, Nancy, France), Paul Pettersson, (external)
Source: 6th International Symposium on Automated Technology for Verification and Analysis, p 252-257, Springer-Verlag, Seoul, South Korea, Editor(s):Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
Notes: Lecture Notes in Computer Science, volume 5311/2008
DOI: 10.1007/978-3-540-88387-6_23
 

Abstract

UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language SaveCCM and provides efficient model-checking by using partial-order reduction techniques that exploits the structure and the component behavior of the model. UPPAAL PORT is implemented as an extension of the verification engine in the UPPAAL tool. The tool can be used as back-end in to the Eclipse based SaveCCM integrated development environment, which supports user friendly editing, simulation, and verification of models.
 

BibTeX entry

@inproceedings{Håkansson_1518:2008,
   author = {John H{\aa}kansson and Jan Carlson and Aurelien Monot and Paul Pettersson and },
   title = {Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT},
   booktitle = {6th International Symposium on Automated Technology for Verification and Analysis},
   month = {October},
   year = {2008},
   pages = {252-257},
   editor = {Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan},
   publisher = {Springer-Verlag},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1518},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03