Modeling and Verification of Launch Vehicle Onboard Software Using SPIN Model Checker

[1]  Michael R. Lowry,et al.  Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..

[2]  Kerianne H. Gross.  Formal specification and analysis approaches for spacecraft attitude control requirements , 2017, 2017 IEEE Aerospace Conference.

[3]  J. Batlle,et al.  Validation of a new satellite communications protocol for long-term ATM needs , 2015, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC).

[4]  David Kaslow,et al.  Developing a CubeSat Model-Based System Engineering (MBSE) reference model — Interim status #2 , 2016, 2016 IEEE Aerospace Conference.

[5]  Gerard J. Holzmann,et al.  Validating requirements for fault tolerant systems using model checking , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[6]  John Penix,et al.  Formal Analysis of the Remote Agent Before and After Flight , 2000 .

[7]  G.J. Holzmann,et al.  Using SPIN model checking for flight software verification , 2002, Proceedings, IEEE Aerospace Conference.

[8]  Ksenia Kolcio,et al.  Model-based off-nominal state isolation and detection system for autonomous fault management , 2016, 2016 IEEE Aerospace Conference.

[9]  Daniel Kroening,et al.  Successful Use of Incremental BMC in the Automotive Industry , 2015, FMICS.

[10]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[11]  Rajeev Joshi,et al.  A Model-based Approach to Verification of Spacecraft Software using the SPIN Model Checker , 2009 .