Statutes  
Annual Meeting  
Board  
Awards  
Conferences  
Education  
Join SNART  
Members only  
Related Info  
Real-Time Tools  

Real-Time Tools

The aim of this page is to give links to and information about real-time tools.
Please submitt information to Roland Grönroos.

CoVer ( http://user.it.uu.se/~hessel/CoVer/)

a tool for test coverage specification and test case generation based on UPPAAL.
Contact Paul Pettersson or Anders Hessel

Jitterbug (www.control.lth.se/user/lincoln/jitterbug)

A MATLAB-based tool for stochastic performance analysis of linear control systems with random time delays.

JGrafChart (www.control.lth.se/grafchart/)

A Java-based toolbox for supervisory-level sequence control, based on ideas from Grafcet/SFC, Petri nets, Statecharts, and object-oriented programming.

TIMES (www.timestool.com)

a tool set for modelling, schedulability analysis, synthesis of (optimal) schedules and executable code. It is appropriate for systems that can be described as a set of tasks which are triggered periodically or sporadically by time or external events.

TrueTime (www.control.lth.se/user/dan/truetime)

A MATLAB/Simulink-based tool for detailed co-simulation of control tasks, plant dynamics, real-time kernels and network protocols.

UPPAAL (www.uppaal.com)

Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).