Safety Requirements Specification and Verification for Railway Interlocking Systems

Abstract

The integration of formal methods and requirements analysis increases the dependability of safety-critical systems. However it is still very difficult to obtain all of the safety requirements in practice, and formally construct the safety requirements model as well. In this paper, we propose an approach to capture safety requirements and formally describe… (More)
DOI: 10.1109/COMPSAC.2016.182

Topics

5 Figures and Tables

Cite this paper

@article{Han2016SafetyRS, title={Safety Requirements Specification and Verification for Railway Interlocking Systems}, author={Li Han and Jing Liu and Tingliang Zhou and Junfeng Sun and Xiaohong Chen}, journal={2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)}, year={2016}, volume={1}, pages={335-340} }