The 2007 Workshop on Spacecraft Flight Software was held at The Johns Hopkins University Applied Physics Laboratory on November 5-6, 2007.
Keynote Address: Why Are We Here?
Robyn York, JHU/APL
Digital Apollo: Human and Machine in Six Lunar Landings (presented in conjunction with the APL Colloquium Series)
David Mindell, MIT
Applying Streamlined Development to Spacecraft Flight Software: Stellar Success or Cosmic Calamity?
Steven A. Stolper, Software Consultant
Current and Future Flight Operating Systems
Alan Cudmore, NASA Goddard Space Flight Center
CxSI Validation Results (Using a Combination of New and Traditional IV&V Analysis Techniques)
Christina Moats, NASA IV&V
Dawn's Fault Protection System: Design, Implementation, and Lessons Learned
Dave Termohlen, Orbital Sciences Corporation
Design of Memory Systems for Spaceborne Computers
Richard B. Katz, NASA Office of Logic Design
Emulating Software Systems for IV&V Using REATS
Daniel Nawrocki, Prologic, Inc.
Finite State Machines for Managing Guidance & Control Operations on NASA’s STEREO Mission
Daniel B. Wilson, JHU/APL
Flight Software Architectural Modeling with SAVE
W. Mark Reid, JHU/APL
Flight Software Challenges
Dorothy McKinney, Lockheed Martin Space Systems Company
Flight Software Design and On-Orbit Maintenance
Alexander C. Calder, Computer Sciences Corporation
Functional Programming in Space
Andrew J. Harris, JHU/APL
Daniel Spoonhower, Carnegie Mellon University
Guidance Navigation and Control/Flight Software Framework
David McComas, NASA Goddard Space Flight Center
Software Development Infrastructure for Small Spacecraft
Howard Cannon, NASA Ames Research Center
Limited Redundancy and the Earth Acquisition Mode for the STEREO Spacecraft
Ben W. Ballard & Gary M. Heiligman, JHU/APL
Mars Exploration Rover Flight Software Overview
Khaled Ali, NASA Jet Propulsion Laboratory
MER Rover Flash Anomaly
Khaled Ali, NASA Jet Propulsion Laboratory
The Operating System Abstraction Layer
Nicholas J. Yanchik, NASA Goddard Space Flight Center
An Overview of STEREO’s Flight Software Diagnostic and Health Monitoring Capabilities
Kevin Balon, JHU/APL
Practical Considerations for Improving Performance and Data Processing with General Purpose Processors
Robert Klar, Joel Lord, Christopher Mangels, Southwest Research Institute
SpaceWire ASIC Applications
Dean Saridakis, BAE Systems
The Solar TErrestrial RElations Observatory Flight Software's Unconventional Solution to Floating Point Error Handling
Christopher A. Monaco, JHU/APL
The STEREO "Memory Object" Flight Software Architecture
Gary M. Heiligman, JHU/APL
Technical Issues for Implementing DTN Flight Software Architecture
Amalaye Oyake, NASA Jet Propulsion Center
Use of ARINC 653 in safety critical flight systems and lessons learned from large scale commercial development
Larry Kinnan, Wind River, Inc.
Using a Virtual Environment for Systems & SW Development & Test: Commercial Experience
Ted Bennett, Triakis Corporation
Virtualized Platforms Accelerate Flight Software Development
Nick Dragiewicz, Virtutech, Inc.
Breakout Session: Standard Flight Software Architectures
FSW-07 Attendees
Breakout Session: Preventing and Responding to Flight Software Errors
FSW-07 Attendees
Breakout Session: How to Test Flight Software
FSW-07 Attendees
Breakout Session: Autonomous Flight Software
FSW-07 Attendees