In current software development for reliable and safety-critical systems approximately 50% of the cost and time is spent on testing to determine if the implemented system behaves as intended. The testing is to a large extent a manual process, including selection of test data, performing the tests, and analysis of the test results. Since the mid eighties there have been several attempts to automate the test process, i.e. tests have been automatically derived from from formal specifications and abstract testing notions and associated test methods and analysis have been developed. However the vast majority of these results have had no practical impact, and are not take the specific features of real-time systems into account.

The purpose of this project is to develop practically applicable methods and tools for testing of distributed real-time systems. The focus will be on vehicle type of systems, which are characterised by a set of heterogeneous micro-controllers interconnected by one or more communication networks, and which strict reliability and predictability requirements.

We will co-operate with the Testability-project (Thane) and with related activities within the Nutek-supported competence centre ASTEC at Uppsala University (including Volvo Technical Development in Göteborg).

Project Team


The project has been initiated in September 1999. A state-of-the-art report is expected during 1999.