2013 Workshop on Spacecraft Flight Software, DAY 1, December 10

START END DURATION TITLE SPEAKER ORGANIZATION

7:00 8:00 1:00 Informal Coffee and Snacks 8:00 8:15 0:15 WELCOME *** NASA JPL 8:20 9:20 1:00 KEYNOTE 1 Dr. Gerard Holzmann NASA JPL 9:20 9:35 0:15 BREAK 9:35 10:10 0:35 LADEE Flight Software: Models to Flight Dr. Karen Gundy-Burlet NASA AMES 10:10 10:45 0:35 AT6981 – A High Performance Processor for Dr. Steve Parks, Guy Star Dundee Space Applications Mantelet, Chris McClements, Nicolas Ganry 10:45 11:20 0:35 Managing data for Curiosity, fun and profit Rajiv Joshi NASA JPL 11:20 11:55 0:35 Estimating Flight CPU Utilization of Dr. Matt Wette NASA JPL Algorithms in a Desktop Environment using Xprof 12:00 13:00 1:00 LUNCH 13:00 13:35 0:35 Coping with Flexibility Requirements in Ingolf Steinbach Jena-Optronik GmbH ASTRO APS Star Tracker Software 13:35 14:10 0:35 Spacecraft Flight Software Design Patterns Michael Phillips, Amy Lockheed Martin Discovery Mok 14:10 14:45 0:35 Implementing Onboard Data Compression Mark Reid Johns Hopkins University for the Van Allen Probes Applied Physics Laboratory 14:45 15:00 0:15 BREAK 15:00 15:35 0:35 NMotion: A Continuous Integration System Scott Zemerick NASA IV&V Facility for NASA Software 15:35 16:10 0:35 RMAP - Remote Memory Access Protocol A Rafael Corsi-Ferrao Instituto Maua de Tecnologia Codec implementation 16:10 16:45 0:35 SpaceFibre: Multi-Gbits/s Network for Dr. Steve Parks Star Dundee Spaceflight Applications 16:45 17:30 0:35 Highlighting the Challenges of Model-Based Dr. Robert Pettit Aerospace Corporation Engineering for Spaceflight Software Systems 17:30 17:35 0:05 ***ATTENDEE RAFFLE*** *** All Sponsors 18:30 20:00 2:30 MEET-AND-GREET EVENT Everyone Everyone @ El Portal Restaurant, 695 E. Green St, Pasadena, CA 91101

2013 Workshop on Spacecraft Flight Software, DAY 2, December 11

START END DURATION TITLE SPEAKER ORGANIZATION

7:00 8:00 1:00 Informal Coffee and Snacks 8:00 9:00 1:00 KEYNOTE 2 Dr. Kathryn Weiss NASA JPL 9:00 9:35 0:35 An Application Development and Deployment Daniel Vanderbilt University Platform for Satellite Clusters Balasubramanian, William Emfinger, Pranav Kumar, William Otte, Abhishek Dubey, Gabor Karsai 9:35 9:45 0:10 BREAK 9:45 10:20 0:35 The Last Cathedral - Democratizing Flight Kevin Sharpf The PTR Group Software in the 21st Century (Linux in Space Talk) 10:20 10:55 0:35 Instrument Software Framework (ISF): A Timothy Canham NASA JPL Small Scale Component Framework for Space (C++ in Space Talk) 10:55 11:30 0:35 Interface-Implementation Contract Checking: Dr. Dharmalingam Fraunhofer CESE A Case Study Ganesan 11:30 12:00 0:30 RITES: A Domain Specific Language for Michael Koets South West Research Institute Precise Scheduling of Software Execution 12:00 13:00 1:00 LUNCH 13:00 13:35 0:35 Time Triggered Ethernet Kurt Doppelbauer TTTech 13:35 14:20 0:45 Shorten the verification Cycle and Improve Matthew Rhodes MathWorks Quality with Polyspace 14:20 14:55 0:35 Presentation by Klocwork Don DiDonato Klocwork 14:55 15:00 0:05 BREAK 15:00 15:35 0:35 RTEMS Scheduling and SMP Dr. Joel Sherrill OAR Corporation 15:35 16:10 0:35 Code Awareness Assistant Dr. Michael Grammatech McDougall 16:10 16:45 0:35 Applying The Test Like You Fly Process to Dr. Julia White Aerospace Corporation Flight Software Testing 16:45 17:25 0:35 Investigating Model Based Autonomy for Solar William Van Besien Johns Hopkins Applied Physics Probe Plus Laboratory 17:30 17:35 0:10 ***ATTENDEE RAFFLE*** *** All Sponsors

2013 Workshop on Spacecraft Flight Software, DAY 3, December 12

START END DURATION TITLE SPEAKER ORGANIZATION

7:00 8:00 1:00 Informal Coffee and Snacks 8:00 9:00 1:00 KEYNOTE 3 Dr. James Gosling Liquid Robotics 9:00 9:35 0:35 Flight Software Through the Looking Glass Scott Burleigh NASA JPL 9:35 10:10 0:35 Next Generation Flight Computing A Joint Dr. Richard Doyle NASA JPL Investment of NASA and AFRL 10:10 10:25 0:15 BREAK 10:25 10:55 0:35 Developing RTEMS SMP for LEON3/LEON4 Multi- Daniel Hellstrom Aeroflex Gaisler Processor Devices 10:55 11:30 0:35 Integration and Debugging of FPGA-Based Dr. Martin Panevsky Aerospace Corporation Hardware-in-the-Loop Simulation Systems 12:00 13:00 1:00 LUNCH 13:00 13:35 0:35 Overview of the SMAP Science Data Manager Eddie Benowitz NASA JPL 13:35 14:10 0:35 A Service-based Architecture for Automated Brendan O’Connor, Emergent Space Technologies Guidance, Navigation and Control Flight Software Allen Brown, Kevin Gordon, Jason Schmidt, and Rafael de la Torre 14:10 14:45 0:35 EDAC Concerns for Flight Software and Hardware Craig Pires NASA Ames Design 14:45 15:00 0:15 BREAK 15:00 15:35 0:35 CritstalCave: A Verification And Code Generation Temesghen Kahsai NASA Ames Toolchain For Critical Systems 15:35 16:10 0:35 A Reusable Software-Only Verification & Scott Zemerick TMC Technologies Validation (V&V) Architecture 16:10 16:45 0:35 SPOT: A Programming Language for Practical Ed Gamble NASA JPL Verification of Flight Software 16:45 17:20 0:35 Fully Utilizing a High-Speed Lunar Laser Craig Pires, Scott NASA Ames Communication Downlink in LADEE FSW Christa, Douglas Forman 0:10 ***ATTENDEE RAFFLE*** *** All Sponsors 0:05 CLOSING REMARKS Chairman, Dr. Alan The Aerospace Corporation Unell