Framework for the development and testing of 
dependable and safety-critical systems

Sponsors:

IKTA (Information and Communication Technologies and Applications, Hungarian Ministry of Education)

Period:

2000-2002

Participants:

Department of Measurement and Information Systems, Budapest University of Technology and Economics
PROLAN Process Control Co.
B-Braun Medical Hungary Ltd.
Magic ONYX Hungary Ltd.

Project aim:

The aim of the project is the development of an open, standard-based modell analysis framework that supports the verification and validation of embedded, dependability- and safety-critical systems.

The project addresses the following subtasks:

• Verification of safety (especially completeness and correctness) criteria
• Analysis of fault propagation and testability
• Formal verification of control processes
• Documentation database for designers
• Elaboration of course material on "UML-based design of embedded systems"

Project leaflet (in Adobe Acrobat PDF format)

Further information:

András Pataricza , Ph.D.

 

---