Codethink's Chairman, Paul Sherwood, was invited to present our latest work on our approach to safety critical software construction at the Automotive Safety Symposium, which took place at the Arabella Alpenhotel overlooking the beautiful Spitzingsee lake in southern Germany, on 22-24 September. The symposium was hosted by Exida and featured interesting presentations from Exida, BMW, Elektrobit, Vector, Continental, Red Hat and others. There was particular emphasis on the use of open source in safety-relevant applications for automotive systems.
Paul Sherwood's presentation showed Codethink's progress in applying modern software engineering techniques and open source tooling in support of safety certification particularly focusing on ISO 26262.
During the symposium, Exida's Jonathan Moore presented Codethink's first ever safety certificate. This certificate provides evidence that our Deterministic Construction Service (DCS) reference implementation can be applied for software up to ASIL D, which is the highest safety requirement for automotive systems. DCS provides a framework for enforcing reproducibility, repeatability and traceability of builds, drawing heavily on best-practices championed by the Reproducible Builds project.
The DCS reference implementation is entirely based on Open Source tooling managed within GitLab for repository management and continuous integration. This infrastructure is used to construct an example Linux-Based Operating System based on Freedesktop-SDK. This payload is constructed using BuildStream within a controlled process which involves:
- deterministic construction and integration of critical software components
- safety requirements analysis based on STPA and supported by tests
- fault injection to demonstrate mitigations when failures occur
- continuous integration to generate certification work products and evidence
Read more about Safety Software Engineering
Fill the form below and download Paul Sherwood's presentation slides of his talk "An iterative and extensible approach to safety for software-intensive systems based on Linux" at the Exida Symposium.
Related to the blog post:
- Read our white paper "Safety of Software-Intensive Systems From First Principles": A new approach to software safety >>
- Applying functional safety techniques to software-intensive systems: Safety is a system property, not a software property >>
Other Content
- Speed Up Embedded Software Testing with QEMU
- Open Source Summit Europe (OSSEU) 2024
- Watch: Real-time Scheduling Fault Simulation
- Improving systemd’s integration testing infrastructure (part 2)
- Meet the Team: Laurence Urhegyi
- A new way to develop on Linux - Part II
- Shaping the future of GNOME: GUADEC 2024
- Developing a cryptographically secure bootloader for RISC-V in Rust
- Meet the Team: Philip Martin
- Improving systemd’s integration testing infrastructure (part 1)
- A new way to develop on Linux
- RISC-V Summit Europe 2024
- Safety Frontier: A Retrospective on ELISA
- Codethink sponsors Outreachy
- The Linux kernel is a CNA - so what?
- GNOME OS + systemd-sysupdate
- Codethink has achieved ISO 9001:2015 accreditation
- Outreachy internship: Improving end-to-end testing for GNOME
- Lessons learnt from building a distributed system in Rust
- FOSDEM 2024
- QAnvas and QAD: Streamlining UI Testing for Embedded Systems
- Outreachy: Supporting the open source community through mentorship programmes
- Using Git LFS and fast-import together
- Testing in a Box: Streamlining Embedded Systems Testing
- SDV Europe: What Codethink has planned
- How do Hardware Security Modules impact the automotive sector? The final blog in a three part discussion
- How do Hardware Security Modules impact the automotive sector? Part two of a three part discussion
- How do Hardware Security Modules impact the automotive sector? Part one of a three part discussion
- Automated Kernel Testing on RISC-V Hardware
- Automated end-to-end testing for Android Automotive on Hardware
- GUADEC 2023
- Embedded Open Source Summit 2023
- RISC-V: Exploring a Bug in Stack Unwinding
- Adding RISC-V Vector Cryptography Extension support to QEMU
- Introducing Our New Open-Source Tool: Quality Assurance Daemon
- Achieving Long-Term Maintainability with Open Source
- FOSDEM 2023
- Think before you Pip
- BuildStream 2.0 is here, just in time for the holidays!
- A Valuable & Comprehensive Firmware Code Review by Codethink
- GNOME OS & Atomic Upgrades on the PinePhone
- Flathub-Codethink Collaboration
- Codethink proudly sponsors GUADEC 2022
- Tracking Down an Obscure Reproducibility Bug in glibc
- Web app test automation with `cdt`
- FOSDEM Testing and Automation talk
- Protecting your project from dependency access problems
- Porting GNOME OS to Microchip's PolarFire Icicle Kit
- YAML Schemas: Validating Data without Writing Code
- Full archive