IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal requirements specification in safety-critical railway signaling system

2009 Transmission & Distribution Conference & Exposition: Asia and Pacific (T&D Asia)

Author(s): Hyun-Jeong Jo ; Jong-Gyu Hwang ; Yong-Ki Yoon
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2009
Conference Location: Seoul, South Korea, South Korea
Conference Date: 26 October 2009
Page(s): 1 - 4
ISBN (CD): 978-1-4244-5230-9
DOI: 10.1109/TD-ASIA.2009.5356920
Regular:

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification... View More

Advertisement