Software model checking for avionics systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2008, Pages

  Cofer, Darren ^a   Whalen, Michael ^a   Miller, Steven ^a  

^a ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS SYSTEMS; FORMAL ANALYSIS TOOLS; INDUSTRIAL USE; MODEL BASED DEVELOPMENT; SAFETY-CRITICAL; SOFTWARE DEVELOPMENT ENVIRONMENT; SOFTWARE MODEL CHECKING;

AVIONICS; COMPUTER SOFTWARE; COST BENEFIT ANALYSIS; INDUSTRIAL APPLICATIONS; MODEL CHECKING;

FORMAL METHODS;

EID: 67249135311     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2008.4702862     Document Type: Conference Paper

References (9)

1. Edmund Clarke, Orna Grumberg, and Doron Peled, Model Checking, The MIT Press, Cambridge, Massachusetts, 2001.
2. Gerard Holzman "The SPIN Model Checker: Primer and Reference Manual," Addison-Wesley Professional, 2003.
3. IRST, "The NuSMV Model Checker," http://nusmv.irst.itc.it.
4. SRI International, "Symbolic Analysis Laboratory," http://sal.csl.sri.com.
5. PROVER Technology, "PROVER Product Description," http://www.prover.com.
6. Reactive Systems, Inc, Reactis Home Page, http://www.reactive-systems. com.
7. Steven Miller, Elise Anderson, Lucas Wagner, Michael Whalen, and Mats P.E. Heimdahl, "Formal Verification of Flight Critical Software," Proceedings of the AIAA Guidance, Navigation and isplay ysis," 06. Available at "Proceedings of Formal Methods for dustrial Critical Systems, Berlin, Germany, July 20 Control Conference and Exhibit, San Francisco, August 15-18, 2005.
8. Michael Whalen, John. Innis, Steven Miller, and Lucas Wagner, "ADGS-2100 Adaptive D & Guidance System Window Manager Anal NASA Contractor Report CR-2006-213952, February 20 http://shemesh.larc.nasa.gov/fm/ fm-collinspubs. html.
9. Michael Whalen, Darren Cofer, Steven Miller, Bruce Krogh, Walter Storm, "Integration of formal analysis into a model-based software development process, In 07.