Publications of the Methods and Tools Project

• Michael W. Whalen, John D. Innis, Steven P. Miller, and Lucas G. Wagner, ADGS-2100 Adaptive Display & Guidance System Window Manager Analysis, NASA Contractor Report CR-2006-213952, February 2006.
• Anjali Joshi, Mats P.E. Heimdahl, Steven P. Miller, and Mike W. Whalen, Model-Based Safety Analysis, NASA Contractor Report CR-2006-213953, Feb 2006.
• Anjali Joshi, Steven P. Miller, Michael Whalen, and Mats P.E. Heimdahl, A Proposal For Model-Based Safety Analysis, in Proceedings of the 24th Digital Avionics Systems Conference (DASC'05), Washington, D.C., October 30-November 3, 2005. Selected as best paper of the Open Systems Architecture track.
• Steven P. Miller, Mike W. Whalen, Dan O’Brien, Mats P.E. Heimdahl, and Anjali Joshi, A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures, NASA Contractor Report NASA/CR-2005-213912, Sept. 2005.
• Steven P. Miller, Elise A. Anderson, Lucas G. Wagner, Michael W. Whalen, and Mats P.E. Heimdahl, Formal Verification of Flight Critical Software, in Proceedings of the AIAA Guidance, Navigation and Control Conference and Exhibit, San Francisco, August 15-18, 2005.
• Steven P. Miller, Early Validation of Requirements, in Proceedings of the World Computer Congress 2004, Toulouse, France, August 23-27, 2004.
• Alan C. Tribble, Steven P. Miller and David L. Lempia, Software Safety Analysis of a Flight Guidance System , NASA/CR-2004-213004, March 2004.
• Steven P. Miller, Alan C. Tribble, Michael W. Whalen, and Mats P. E. Heimdahl, Proving the Shalls: Early Validation of Requirements Through Formal Methods, Journal of Software Tools for Technology Transfer, [in press].
• Steven P. Miller, FMS Visualization Final Report, NASA Contractor Report, February 2004.
• Alan C. Tribble and Steven P. Miller, Safety Analysis of Software Intensive Systems, IEEE Aerospace and Electronic Systems, Vol. 19, No. 10, pp. 21 - 26, October 2004.
• Alan C. Tribble and Steven P. Miller, Software Safety Analysis of a Flight Management System Vertical Management Function - A Status Report, Proceedings of the 22nd Digital Avionics Systems Conference (DASC'03), October 2003.
• Anjali Johsi, Steven P. Miller, and Mats P. E. Heimdahl, Mode Confusion Analysis of a Flight Guidance System Using Formal Methods, in Proceedings of the 22^nd Digital Avionics Systems Conference (DASC’03), Indianapolis, Indiana, Oct. 12-16, 2003. Selected as best paper of the Intelligent Interactive Systems-1 session.
• Steven P. Miller, Mats P.E. Heimdahl, and Alan C. Tribble, Proving the Shalls, in Proceedings of FM 2003: the 12^th International FME Symposium, Sept. 8-14, 2003
• Steven P. Miller, Alan C. Tribble, Timothy M. Carlson and Eric J. Danielson, Flight Guidance System Requirements Specification , NASA/CR-2003-212426, June 2003.
• Alan C. Tribble, David D. Lempia, and Steven P. Miller, Software Safety Analysis of a Flight Guidance System, in Proceedings of the 21st Digital Avionics Systems Conference (DASC'02), Irvine, California, Oct. 27-31, 2002. Selected as best paper of the Flight Critical Systems track.
• Steven P. Miller, Sarah Barber, Timothy M. Carlson, David L. Lempia, and Alan C. Tribble, A Methodology for Improving Mode Awareness in Flight Guidance Design, in Proceedings of the 21st Digital Avionics Systems Conference (DASC'02), Irvine, California, Oct. 27-31, 2002. Selected as best paper of the Software Engineering for Human Systems session.
• Steven P. Miller, Taxonomy of Mode Confusion Sources - Final Report, NASA Contractor Report, Feb 2002.
• Steven P. Miller, FGS Model Visualization - Final Report, NASA Contractor Report, Feb 2002.
• Steven P. Miller, Alan C. Tribble, Extending the Four-Variable Model to Bridge the System-Software Gap, in Proceedings of the 20th Digital Avionics Systems Conference, Oct. 14-18, 2001. Selected as best paper of the Systems Engineering track.