Abstract
The computer-based safety-critical systems are being developed in many areas. The standards used in such areas strongly recommend the use of formal methods in order to obtain the high level degree of certification. In the area of safety-critical railway control systems, the related standards provide insufficient guidelines in order to develop the computer-based railway control systems using formal methods. In this paper, we propose a developing process for computer-based railway control systems using formal methods. For the high level certification, we propose a guideline for writing formal requirements specification of the railway systems. We also demonstrate the case study of the application of formal methods to the requirements analysis of the railway control system development lifecycle through the development of a formal requirements specification.
Original language | English |
---|---|
Publication status | Published - 2010 |
Event | 17th World Congress on Intelligent Transport Systems, ITS 2010 - Busan, Korea, Republic of Duration: 2010 Oct 25 → 2010 Oct 29 |
Other
Other | 17th World Congress on Intelligent Transport Systems, ITS 2010 |
---|---|
Country/Territory | Korea, Republic of |
City | Busan |
Period | 10/10/25 → 10/10/29 |
ASJC Scopus subject areas
- Automotive Engineering
- Control and Systems Engineering
- Transportation