Sciweavers

Share
ATVA
2008
Springer

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

10 years 1 months ago
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
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.
John Håkansson, Jan Carlson, Aurelien Monot,
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATVA
Authors John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
Comments (0)
books