Practicals & Theses

list of practicals and theses at the Cyber-Physical Systems Group

Details for Safety-Requirements to Validate Real-Time Systems

Within the project TeDES we have a research cooperation with industrial partners from the automotive industry to develop a test environment to systematically verify distributed safety-critical real-time systems.

Within this Masther's thesis one should study existing safety requirements on their impact on the systematic testing of real-time systems. The goal is to obtain a framework to specify test scenarious for the systematic test of distributed real-time systems.

The aim of this work is to remove or reduce the error-prone and tedios process of generating test cases manually. This work is also of high practical significance in industry.

Estimated End Date

01. 03. 2007


Privatdoz. Dipl.-Ing. Dr.techn. Raimund Kirner (main responsibility)