Proceedings of the 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)

Using Model Checking to Verify the Logic Module of Flight Control Software

Authors
Shunkun Yang, Guoqi Li
Corresponding Author
Shunkun Yang
Available Online April 2013.
DOI
10.2991/icsem.2013.182How to use a DOI?
Keywords
model checking, logic module, flight control
Abstract

Model checking is an important method to verify state machine based system. In this paper, we using PAT, a novel and powerful model checking tool, to verify the logic module of flight control software, which is public available. Conclusions are drawn from the verification and these are valuable for similar researches.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)
Series
Advances in Intelligent Systems Research
Publication Date
April 2013
ISBN
10.2991/icsem.2013.182
ISSN
1951-6851
DOI
10.2991/icsem.2013.182How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Shunkun Yang
AU  - Guoqi Li
PY  - 2013/04
DA  - 2013/04
TI  - Using Model Checking to Verify the Logic Module of Flight Control Software
BT  - Proceedings of the 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)
PB  - Atlantis Press
SP  - 880
EP  - 883
SN  - 1951-6851
UR  - https://doi.org/10.2991/icsem.2013.182
DO  - 10.2991/icsem.2013.182
ID  - Yang2013/04
ER  -