UPPAAL PORT

UPPAAL PORT

Description: Uppaal PORT is a is a new tool for component-based modelling, simulation, and verification of real-time and embedded systems modelled as real-time components. Uppaal PORT can be used used together with the SAVE integrated Development Enviroment (IDE) which is developed as an Eclipse plugin.

Together with SAVE IDE, Uppaal PORT supports graphical modelling of internal component behaviour as Uppaal timed autoamta, and hirerachical composition of components. The simualtor of SAVE IDE allows its users to explore the dynamical behviour of components, and can be used to call the model-checker of Uppaal PORT to verify properties expressed in a subset of timed CTL. The current input file format for Uppaal PORT models is described in The SaveCCM Language Reference Manual.

Uppaal PORT is developed based on source code of the Uppaal model-checker. The analysis is performed on a symbolic representation of the hierarchical component structure of the input model (without transformation to a "flat" system of timed automata).

Uppaal PORT has been developed within the SAVE and SAVE++ projects, and the Progress centre.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www.it.uu.se/research/group/darts/uppaal/port/

Download: Link

Documentation: Publications and IDE with UPPAAL PORT integration.

Contact: John Hakansson and Paul Pettersson.

Excerpt and graphic from: http://www.it.uu.se/research/group/darts/uppaal/port/