Formal Verification of Synchronous Models: An Industrial Application ...

For More Informationhttp://shemesh.larc.nasa.gov/fm/fm-collins-intro.html• Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats P. E. Heimdahl, Providing theshalls, International Journal on Software Tools for Technology Transfer (STTT), Feb 2006.• Anjali Joshi, Mats P.E. Heimdahl, Steven P. Miller, and Mike W. Whalen, Model-BasedSafety Analysis, NASA Contractor Report NASA-2006-CR213953 , February 2006. Availableat http://hdl.handle.net/2002/16163.• Michael W. Whalen, John D. Innis, Steven P. Miller, and Lucas G. Wagner, ADGS-2100Adaptive Display & Guidance System, NASA Contractor Report NASA-2006-CR213952, Feb.2006. Available at http://hdl.handle.net/2002/16162.• Steven P. Miller, Mike W. Whalen, Dan O’Brien, Mats P.E. Heimdahl, and Anjali Joshi, AMethodology for the Design and Verification of Globally Asynchronous/Locally SynchronousArchitectures, NASA Contractor Report NASA/CR-2005-213912, Sept. 2005. Available athttp://hdl.handle.net/2002/15934.• Alan C. Tribble, Steven P. Miller, and David L. Lempia, Software Safety Analysis of a FlightGuidance System, NASA Contractor Report CR-2004-213004, March 2004, available athttp://techreports.larc.nasa.gov/ltrs/dublincore/2004/cr/NASA-2004-cr213004.html.© 2006 Rockwell Collins, Inc. All rights reserved.44