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.

• Type: Conference
• Year: 2008
• Where: ATVA
• Authors: John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
• Keywords: ATVA 2008, Continuous Time Component, Hardware, Partial-order Reduction Techniques, UPPAAL PORT