The ELISA Project hosts Seminar Series to bring in core contributors and thought leaders from both the ELISA community and adjacent communities to share knowledge and expertise on open source safety activities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: The Road to Safe Space Exploration
Date: re-scheduled to Wednesday, November 1, 10:00 -11:00 PDT / 17:00-18:00 UTC / 18:00 – 19:00 CET (originally scheduled for October 11)
Speaker: Ivan Perez Dominguez, Senior Research Scientist, KBR Inc @ NASA Ames Research Center
How to Attend: please email email@example.com to receive the virtual access details
The current stage of space exploration has brought with it an increase in the complexity of systems deployed, in the number of players involved, and in the need for autonomy. This talk describes two efforts taking place at NASA to help on that front. One the one hand, the use of runtime monitoring with Ogma and Copilot makes it possible to assure applications that are otherwise too costly to verify formally or test fully. On the other hand, the use of Kaiaulu to process information about version control systems and issue trackers facilitates providing evidence of compliance with software engineering requirements, and to minimize deviations from the software plans. We believe that, together, they can enable more complex autonomous systems in space applications and shorten the time to that it takes systems to be put in production.