The 2009 Workshop on Spacecraft Flight Software (FSW-09) was held on November 4-6, 2009 and hosted by the Jet Propulsion Laboratory at the California Institute of Technology, Cahill Center for Astronomy and Astrophysics, Pasadena, CA.
KEYNOTE (Day 1): Reliable Software Systems Design
Dr. Gerard Holzmann, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, California
KEYNOTE (Day 2): The Nuclear Spectroscopic Telescope Array (NuSTAR)
Dr. Fiona Harrison
KEYNOTE (Day 3): Have We Really Lost The Space Acquisition Recipe Or Are We Simply Trying To Go Where No [One] Has Gone Before?
Dr. Douglas J. Buettner, The Aerospace Corporation
Major Chad Millette, United States Air Force
Software Verification with a Model Checker
Ed Gamble and Gerard Holzmann, Jet
Propulsion Laboratory, California Institute of Technology, Pasadena, California
Relationship To Systems Engineering
Mary Ann Lapham and Dr. Charles (Bud)
Hammons, Carnegie Mellon University/Software Engineering Institute
V&V for Model-Based Software Development
Karen Gundy-Burlet, Ph.D., NASA-Ames
Research Center
REATSS – NASA IV&V using Simulation
White Paper
Chris Hall, Virtutech, Inc
System Architecture Specification And Exploration Using a Fast Functional Simulator
Chad Margolin, Virtutech, Inc
Cosmically Distributed Components
David Smyth, Jet Propulsion Laboratory,
California Institute of Technology, Pasadena, California
Flight-like Flight S/W Testing Methods
Celina Garcia, Jet Propulsion Laboratory,
California Institute of Technology, Pasadena, California
Graphical Model-based Software Development at the Space Vehicle Integration
Laboratory
Michael J. Phillips, LM Fellow - Software Engineering, Space Vehicle
Integration Lab - Chief Engineer, Lockheed Martin Space Systems
Coverage Analysis of RTEMS
Joel Sherrill, PhD, Director of Research and
Development OAR Corporation
MER Data Management
David Smyth, Jet Propulsion Laboratory, California Institute
of Technology, Pasadena, California
Flash File System for a Smart SSR: Modifying YAFFS for Onboard Usage
David Edell,
The Johns Hopkins University Applied Physics Laboratory
Flight Software Architecture for use with a Safety-Critical Partitioned Real-Time
Operating System
Greg Horvath, Dan Dvorak, Dave Hecox, Jet Propulsion
Laboratory, California Institute of Technology, Pasadena, California
Data-Centric Architecture for Space Systems
Rajive Joshi, RTI
First-Fault Data Capture
Steven Stolper, Software Consultant
Embedding the Power of STK On-Board Space Assets via the On-Board Dynamic
Simulation System (ODySSy/STK™)
John Cuseo, President - Advanced Solutions, Inc.
(Analytical Graphics, Inc. and Advanced Solutions, Inc.)
Innovative Spacecraft Bus Architecture
Alvar Saenz-Otero PhD, MIT Space Systems
Laboratory
Mission-Critical Space Software For Multi-Core Processors
Steve Crago, Senior
Project Leader, USC/ISI
Graphics Processing Unit (GPU) Acceleration of Machine Vision Software for Space
Flight Applications
Brent Tweddle, Graduate Research Assistant, MIT Space Systems
Laboratory
Software Defined Radio (SDR) Architecture and Systems Issues
Kenneth J. Peters, Jet
Propulsion Laboratory, California Institute of Technology, Pasadena, California
Effective Integration and Testing of Geographically Distributed Space Systems Using
Native Protocols Over IP
Tom Jackson, Greg Menke, James Dailey, Jacob Hageman,
Carlos Ugarte, Lester Jackson, Sara Haugh, Eric Lidwa, Jerry Cote, Christina Kelly,
Larry Alexander, Jay Wilson, Sussan Rad, Goddard Space Flight Center
DTN Tests on the Surrey Satellite Technology Limited (SSTL) United Kingdom
Disaster Monitoring Constellation Satellite (UKDMC)
William D. Ivancic, NASA Glenn
Research Center
Planes, Trains and DTN
Ashton Vaughs, Jet Propulsion Laboratory, California
Institute of Technology, Pasadena, California
Towards Java in Space
Filip Pizlo, Lukasz Ziarek, Ethan Blanton, and Jan Vitek, Fiji
Systems LLC
Establishing An Environment For Continuous Integration And Test Of Flight Software
Robert Klar, Christopher Mangels, And Randal Harmon, Southwest Research Institute