BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ELISA - ECPv6.15.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:ELISA
X-ORIGINAL-URL:https://elisa.tech
X-WR-CALDESC:Events for ELISA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20220313T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20221106T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20230312T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20231105T090000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20240310T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20241103T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20231101T100000
DTEND;TZID=America/Los_Angeles:20231101T110000
DTSTAMP:20260415T105529
CREATED:20230929T002911Z
LAST-MODIFIED:20230929T002911Z
UID:10000040-1698832800-1698836400@elisa.tech
SUMMARY:ELISA Seminar - The Road to Safe Space Exploration
DESCRIPTION: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. \nTitle: The Road to Safe Space Exploration \nDate: 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) \nSpeaker: Ivan Perez Dominguez\, Senior Research Scientist\, KBR Inc @ NASA Ames Research Center \nHow to Attend: please email info@elisa.tech to receive the virtual access details \nAbstract: \nThe 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.
URL:https://elisa.tech/event/elisa-seminar-the-road-to-safe-space-exploration/
CATEGORIES:ELISA Seminar Series
ATTACH;FMTTYPE=image/jpeg:https://elisa.tech/wp-content/uploads/sites/19/2023/09/Road-to-Safe-Space-Exploration.pptx.jpg
END:VEVENT
END:VCALENDAR