@inproceedings{e566277c52594013a43a01ac235a59f4,
title = "Event-B based modeling for landing gear extend and retract control system",
abstract = "The control system has become more and more complex with an increasing demanding of dependability. Sometimes we want to know whether the system is what exactly we want. The use of formal modeling methods and refinement shows a great potential in solving this problem. In this paper, we proposed an modeling method for control system based on Event-B. Through preprocessing of requirements we can facilitate and guide our modeling. With Rodin platform we instantiate the method using the landing gear control system. The use of invariants as safety constraints and animation helps to complete the verification process. This method not only makes formal modeling easy and approachable, but also helps us find some of the missing requirements.",
keywords = "Event-B, control system, formal method, modeling",
author = "Zhang Chuo and Zhang Hong",
year = "2012",
doi = "10.1109/ICCSNT.2012.6526123",
language = "英语",
isbn = "9781467329644",
series = "Proceedings of 2nd International Conference on Computer Science and Network Technology, ICCSNT 2012",
pages = "1126--1130",
booktitle = "Proceedings of 2nd International Conference on Computer Science and Network Technology, ICCSNT 2012",
note = "2nd International Conference on Computer Science and Network Technology, ICCSNT 2012 ; Conference date: 29-12-2012 Through 31-12-2012",
}