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
- 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
- Introducing Web UI QAnvas and new features of Quality Assurance Daemon
- 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
- Long Term Maintainability
- 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
- Deterministic Construction Service
- Codethink becomes a Microchip Design Partner
- Hamsa: Using an NVIDIA Jetson Development Kit to create a fully open-source Robot Nano Hand
- Using STPA with software-intensive systems
- RISC-V: running GNOME OS on SiFive hardware for the first time
- Automated Linux kernel testing
- Native compilation on Arm servers is so much faster now
- Higher quality of FOSS: How we are helping GNOME to improve their test pipeline
- RISC-V: A Small Hardware Project
- Why aligning with open source mainline is the way to go
- Build Meetup 2021: The BuildTeam Community Event
- A new approach to software safety
- Does the "Hypocrite Commits" incident prove that Linux is unsafe?
- ABI Stability in freedesktop-sdk
- Why your organisation needs to embrace working in the open-source ecosystem
- Full archive