@inproceedings{15081e0d9f0547c990a5cd72a897c186,
title = "Safety analysis and design platform for the high-speed railway operation control system",
abstract = "Modern safety-critical systems(SCS) are becoming increasingly complicated to be analyzed and assessed, due to system scale and the functions they provide. These pose a huge challenge for the development of SCS. A number of studies have been done for system design and safety analysis of SCS but there is still no complete tool chain to support the whole development and analysis process. In this paper, we present a platform which develops a whole set of the tool chain to complete system design and safety analysis. The platform makes the modeling and safety assessment of high-speed railway operation control system easier by using failure logic modeling method. It also develops an algorithm which can automatically convert failure logic model to fault tree and minimal cut sets. These results will help system designers to gain more knowledge on how to maintain system safety.",
author = "Lingyun Yang and Wei Zheng and Lin Zhao and Daohua Wu",
year = "2014",
language = "英语",
series = "FORMS/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems",
publisher = "Technical University of Braunschweig",
pages = "157--166",
editor = "Geza Tarnai and Eckehard Schnieder",
booktitle = "FORMS/FORMAT 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems",
note = "10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, FORMS/FORMAT 2014 ; Conference date: 30-09-2014 Through 02-10-2014",
}