1. |
T. Wang and Q. Gu, "Research on Distributed Integrated Modular Avionics system architecture design and implementation," inDigital Avionics Systems Conference, 2014.
|
2. |
F. M. Krachmalnick, G. J.Vetsch and M. J. Wendl, "Automatic flight control system for automatic terrain-following.," inControl & Flight Dynamics Conference, 2015.
|
3. |
Z. N. F. X. Wang Ji, "Overview of Formal Methods," Journal of Software, vol. 30, pp. 36-64, 2019.
|
4. |
J. J. W. Q. Chen Lu, "Model-checking oriented unified modeling method based on NuSMV," Systems Engineering and Electronics, vol. 40, pp. 243-248, 2018.
|
5. |
Y. Nan, "A model-based Research on Security Risk Assessment for Power Supply System of High-Speed Railways,": East China Jiaotong University, 2016.
|
6. |
C. Che and F.Liu, "Research on Model Based Safety Analysis," Advances in Aeronautical Science and Engineering, vol. 7, pp. 369-373, 2016.
|
7. |
K. Ren and G. Jiang, "GARMIN1000 avionics system principle and maintain methods,"Automation & Instrumentation, 2009.
|
8. |
S. Miller, A. Tribble, T. Carlson,E. J. Danielson, "Flight guidance system requirements specification," Technical Report CR-2003-212426, NASA 2003.
|
9. |
B. Bittner, M. Bozzano, R. Cavada, A. Cimatti, M. Gario, A. Griggio, C. Mattarei, A. Micheli,G. Zampedri,"The xSAP Safety Analysis Platform," 2015.
|
10. |
A. Joshi, S. P. Miller, M. Whalen,M. P. E.Heimdahl, "A proposal for model-based safety analysis," inDigital Avionics Systems Conference, 2005.
|
11. |
L. Xing and S. V. Amari,Fault Tree Analysis, 2008.
|
12. |
M. Bozzano and A.Villafiorita, "The FSAP/NuSMV-SA Safety Analysis Platform," International Journal on Software Tools for Technology Transfer, vol. 9, p. 5, 2007.
|
13. |
M. Broy, "Seamless Model Driven Systems Engineering Based on Formal Models," inInternational Conference on Formal Engineering Methods: Formal Methods & Software Engineering, 2009.
|
14. |
Y. Choi and M. P. E. Heimdahl, "Model Checking RSML-e Requirements," inIEEE International Symposium on High Assurance Systems Engineering, 2002.
|
15. |
A. Cimatti, E. Clarke, F. Giunchiglia,M. Roveri, "NUSMV: a new symbolic model checker," International Journal on Software Tools for Technology Transfer, vol. 2, pp. 410-425, 2000.
|
16. |
M. Čepin,Binary Decision Diagram, 2011.
|
17. |
G. Cabodi, S. Nocco and S.Quer, "Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals," Iccad, vol. 10, pp. 1696-1730, 2003.
|
18. |
M. Bozzano and A.Villafiorita, "The FSAP/NuSMV-SA Safety Analysis Platform," International Journal on Software Tools for Technology Transfer, vol. 9, p. 5, 2007.
|
19. |
P. L. Goddard, "Software FMEA techniques," inReliability & Maintainability Symposium, 2000.
|
20. |
R. Cavada, A. Cimatti, M. Dorigatti, A. Griggio, A. Mariotti, A. Micheli, S. Mover, M. Roveri,S. Tonetta, "The nuXmv Symbolic Model Checker," inInternational Conference on Computer Aided Verification, 2014.
|