@inproceedings{90b2e0a7da694855a263b1fadbdc4c91,
title = "Better development of safety critical systems: Chinese high speed railway system development experience report",
abstract = "Ensure the correctness of safety critical systems play a key role in the worldwide software engineering. Over the past years we have been helping CASCO Signal Ltd which is the Chinese biggest high speed railway company to develop high speed railway safety critical software. We have also contributed specific methods for developing better safety critical software, including a search-based model-driven software development approach which uses SysML diagram refinement method to construct SysML model and SAT solver to check the model. This talk aims at sharing the challenge of developing high speed railway safety critical system, what we learn from develop a safety critical software with a Chinese high speed railway company, and we use ZC subsystem as a case study to show the systematic model-driven safety critical software development method.",
keywords = "Formal Method, Model-Driven, SAT, SysML",
author = "Wu, \{Zhi Wei\} and Jing Liu and Xiang Chen",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 ; Conference date: 10-11-2019 Through 15-11-2019",
year = "2019",
month = nov,
doi = "10.1109/ASE.2019.00143",
language = "英语",
series = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1216--1217",
booktitle = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
address = "美国",
}