Agenda 2017

Day 1: Mon turnday, 9 January 2017

Time	Event
0730 – 0800	Speaker’s Briefings
0800 – 0900
SOF-01.	Panel Discussion: Verification vs Certification for Software Intense Systems
Chair(s):	Misty Davies, NASA Ames Research Center James Paunicka, Boeing Christoph Torens, German Aerospace Center (DLR)
0900 – 1230	Panelists: Natasha Neogi, National Institute of Aerospace Kristin Rozier, Iowa State University ~~Virginie Wiels, ONERA/DTIM~~ Ella Atkins, University of Michigan Atkins2017_Licensing_vs_status_quo_panel André Platzer, Carnegie Mellon University
1230 – 1400	Lunch Break
SOF-02.	Formal Methods for Software Verification
Chair(s):	Ella Atkins, University of Michigan James Paunicka, Boeing
1400 – 1430	Oral Presentation Towards the Validation and Verification of Complex Aerospace Systems (Invited) M. Davies, NASA Ames Research Center, Moffett Field, CA; T. Kahsai, Carnegie Mellon University, Moffett Field, CA; C. Teubert, Stinger Ghaffarian Technologies, Inc., Moffett Field, CA
1430 – 1500	Oral Presentation TOIF: Extending Static Code Analysis Coverage B. Calloni, Lockheed Martin Corporation, Fort Worth, TX
1500 – 1530	AIAA-2017-0418 Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems S. Guarro, M. Yau, ASCA, Inc., Redondo Beach, CA; U. Ozguner, T. Aldemir, A. Kurt, M. Hejase, Ohio State University, Columbus, OH; et al.
1530 – 1600	AIAA-2017-0419 Towards Intelligent System Health Management using Runtime Monitoring C. Torens, F. Adolf, German Aerospace Center (DLR), Braunschweig, Germany; P. Faymonville, S. Schirmer, Saarland University, Saarbrücken, Germany
1600	End of day 1

Day 2: Tuesday, 10 January 2017

Time	Event
0730 – 0800	Speaker’s Briefings
0800 – 0900
SOF-03.	Panel Discussion: Open Systems Architecture – Best practices, Verification, and Security
Chair(s):	Ella Atkins, University of Michigan James Murphy, NASA Ames Research Center
0900 – 1230	Come and hear from experienced OSA practitioners about various aspects of their own OSA efforts that were challenging or risky and which mitigation approaches emerged. Panelists: Peter Mehlitz, NASA Ames Research Center Ron Kohl, R. J. Kohl and Associates Bryce Meyer, Software Engineering Institute Misty Davies, NASA Ames Research Center
1230 – 1400	Lunch Break
SOF-04.	Software Challenges in Aerospace
Chair(s):	Misty Davies, NASA Ames Research Center James Murphy, NASA Ames Research Center
1400 – 1430	AIAA-2017-0881 An ASTM Standard for Bounding Behavior of Adaptive Algorithms for Unmanned Aircraft Operations (Invited) S. Cook, Northrop Grumman Corporation, Raleigh-Durham, NC
1430 – 1500	AIAA-2017-0882 A Quantitative and Risk Based Framework for UAS Control System Assurance M. Hejase, A. Kurt, T. Aldemir, U. Ozguner, Ohio State University, Columbus, OH; S. Guarro, M. Yau, ASCA, Inc., Redondo Beach, CA; et al.
1500 – 1530	AIAA-2017-0883 Virtual Reality for Enhanced 3D Astronaut Situational Awareness During Robotic Operations in Space V. Goecks, G. Chamitoff, S. Borissov, A. Probe, N. McHenry, N. Cluck, Texas A&M University, College Station, TX; et al.
1530 – 1600	AIAA-2017-0884 Live Blackboxes: Requirements for Tracking and Verifying Aircraft in Motion Y. Yu, M. Yang, B. Nuseibeh, Open University, Milton Keynes, United Kingdom
1600	End of day 2 Workshop End