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



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




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.