FMT - UT


ITA - KUN


Philips


Progress

HaaST (*) is a project founded by the PROGRESS, the Program for Research on Embedded Systems & Software. The project is a joint effort of the Formal Methods & Tools chair at the University of Twente, and the Informatics for Technical Applications chair at the University of Nijmegen, in collaboration with Philips Research Laboratories.

This project aims at the development and integration of methods and tools for the verification and analysis of real-time embedded systems, with an emphasis on distributed algorithms and protocols for consumer electronics applications. The goal is to consider not only 'hard' real-time constraints --those that require that a system must react in time-- but also so-called 'soft' real-time constraints --those that require that the system should react in time but occasionally may not.

Concretely, the project has the following objectives:

Extension of existing verification methods for timed systems with features for stochastic properties.
Development of a verification tool environment for the analysis of timed and stochastic systems.
Application of state-of-the-art methods and tools to case studies of representative complexity.

The project has finished by March 2004. In the course of the project, several case studies have been executed.

The prototype tool MOTOR has been developed, which will be made available on this website.

The results of this project are described in the Final report.

May 6, 2002
Henrik Bohnenkamp
(*) "Haast" is the dutch word for "haste", and the acronym stands for Hard and Softly Timed Systems.