BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ELISA - ECPv6.16.3//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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20250309T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20251102T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20240508T070000
DTEND;TZID=America/Los_Angeles:20240508T080000
DTSTAMP:20260601T034230
CREATED:20240412T183603Z
LAST-MODIFIED:20240412T183603Z
UID:10000049-1715151600-1715155200@elisa.tech
SUMMARY:ELISA Seminar - Ferrocene: Qualifying the Rust compiler out in the open
DESCRIPTION:ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements\, processes and tools that can be incorporated into Linux-based\, safety-critical systems amenable to safety certification. Speakers are members\, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A\, and it’s free to attend. \nTitle: Ferrocene: Qualifying the Rust compiler out in the open \nDate: Wednesday\, May 8\, 2024\, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET \nSpeaker: Florian Gilcher\, Managing Director at Ferrous Systems \nHow to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering. \nAbstract: \nFerrocene is a fully open source toolchain to enable the use of the Rust programming language in safety-critical environments. It is a proper downstream of the main Rust compiler – rustc. This includes all documentation. \nThe mission of Ferrocene is to bring open source practices to safety-critical industries and improve the Rust open source ecosystem through safety-critical practices. \nFerrocene is also fully qualified using only open source tooling. \nBut what does that mean in practice? In this talk\, I’ll walk you through our findings when qualifying the Ferrocene compiler toolchain using fully open source tools. A particular eye will be on the conditions that enabled the Ferrocene project to build a feedback loop with the Rust project and how they may inform your approach towards other FOSS projects.
URL:https://elisa.tech/event/elisa-seminar-ferrocene-qualifying-the-rust-compiler-out-in-the-open/
ATTACH;FMTTYPE=image/jpeg:https://elisa.tech/wp-content/uploads/sites/19/2024/04/Cover-Slide-Ferrocene.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20240522T070000
DTEND;TZID=America/Los_Angeles:20240522T080000
DTSTAMP:20260601T034230
CREATED:20240422T220701Z
LAST-MODIFIED:20240422T220701Z
UID:10000050-1716361200-1716364800@elisa.tech
SUMMARY:ELISA Seminar - Making Linux Fly: Towards Certified Linux Kernel
DESCRIPTION:ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements\, processes and tools that can be incorporated into Linux-based\, safety-critical systems amenable to safety certification. Speakers are members\, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A\, and it’s free to attend. \nTitle: Making Linux Fly: Towards Certified Linux Kernel \nDate: Wednesday\, May 22\, 2024\, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET \nSpeaker: Wentao Zhang\, PhD student at University of Illinois Urbana-Champaign and Steven H. VanderLeest\, Technical Fellow at The Boeing Company \nHow to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering. \nAbstract: \nAlthough the Linux operating system has been used widely in many industries\, adoption in aerospace has been slow due to the rigorous assurance evidence required as part of flight certification. The guidance for commercial flight software in most of the world is RTCA DO-178C\, which identifies five progressively more rigorous levels of assurance. Providing the software life cycle data outlined by DO-178C is a daunting task for software as large and complex as Linux. In this project we focus on three objectives from DO-178C related to code coverage — the fraction of the source code that is exercised by testing. The three types of code coverage in DO-178C are statement coverage\, decision coverage\, and Modified Condition/Decision Coverage (MC/DC). The last of these\, MC/DC\, is only required for Software Level A\, the highest level of assurance. \nFor operating system kernels like Linux\, measuring code coverage is challenging because of the unique execution environment compared to user space. Measuring MC/DC is even harder given the intricacy of the metric and limitations of tools. We share our experience in measuring Linux kernel’s code coverage\, with an emphasis on MC/DC. We describe how we have enabled measuring Linux kernel’s MC/DC for the first time\, by enhancing both the toolchain and the kernel itself. We also discuss the generalizability of our approach across different kernel versions and opportunities for improving coverage with kernel testing suites like KUnit and kselftest.
URL:https://elisa.tech/event/elisa-seminar-making-linux-fly-towards-certified-linux-kernel/
ATTACH;FMTTYPE=image/jpeg:https://elisa.tech/wp-content/uploads/sites/19/2024/04/Cover-Slide-Making-Linux-Fly-1.jpg
END:VEVENT
END:VCALENDAR