Framework for the development and testing of dependable and safety-critical systems
2000
2002
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.
