Sponsors:
GVOP AKF KOZ (Economic Competitiveness Operational Programme, Ministry of Economy and Transport)Period:
2005-2006Participants:
Department of Control and Transport Automation, Budapest University of Technology and Economics, Budapest, Hungary (coordinator),
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary,
Department of Automation, Széchenyi István University, Győr, Hungary,
PROLAN Process Control Co., Budakalász, Hungary,
Műszerautomatika Kft, Budapest, Hungary,
Department of Control and Information Systems, University of Zilina, Zilina, Slovakia
Project aim:
Further information (at DMIS):The aim of the project is the elaboration of a framework for safety assessment of railway control systems, that integrates into ready-to-use tools the most critical analysis techniques, thus supports the analysis required by the international standards using formal methods. The framework integrates the following tools and techniques:
- Process model for the development of railway control systems.
- Specification language that has a formal semantics but remains close to the engineers' way of thinking.
- Tools for the dependability analysis of the software architecture.
- Tools for the safety analysis of the hardware architecture.
- Tools for (partially automated) generation of test cases for the final acceptance testing of the control system.
These tools and techniques will integrate expert knowledge required for safety analysis and thus make it available for the designers of railway control systems.
István Majzik, Ph.D.