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
Supervisors
Privatdoz. Dipl.-Ing. Dr.techn. Raimund KIRNER
(main responsibility)
E-Mail:
Homepage:
https://ti.tuwien.ac.at/rts/people/kirner/view
Types
Diplomarbeit