Skip to main content
Loading Events

« All Events

  • This event has passed.

ELISA Seminar – The Road to Safe Space Exploration

November 1, 2023 @ 10:00 am - 11:00 am

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 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.


November 1, 2023
10:00 am - 11:00 am
Event Category: