Codethink - Safety articles

Safety Frontier: A Retrospective on ELISA

Wed 19 June 2024 - Paul Albertella

Following the recent ELISA workshop in Lund, Codethink consultant Paul Albertella reflects on five years of contributing to the project.

Codethink safety team and Exida certificate

Deterministic Construction Service

Tue 09 November 2021 - Paul Albertella

Introducing the Deterministic Construction Service (DCS) design pattern

Codethink becomes a Microchip Design Partner

Tue 02 November 2021 - Yasmin Ferreras Greenwood

We are proud to announce that Codethink has joined the Microchip Design Partner program, specializing in Functional Safety and MPU, to assist their clients in the creation of electronic systems.

Using STPA with software-intensive systems

Tue 19 October 2021 - Paul Albertella

How Codethink are using STPA for risk analysis of software-intensive systems and integrating the outputs into the engineering process.

Codethink achieves ISO 26262 ASIL D Tool Certification

Tue 05 October 2021 - Yasmin Ferreras Greenwood

Codethink's first ISO 26262 ASIL D Tool Certification - Deterministic Construction Service (DCS)

A new approach to software safety

Thu 20 May 2021 - Paul Albertella

Applying functional safety practices to modern software-intensive systems requires a different approach to the established methods enshrined in current safety standards. Codethink have been working with Exida on a new approach to software safety for systems based on Linux.

Does the "Hypocrite Commits" incident prove that Linux is unsafe?

Tue 11 May 2021 - Paul Sherwood

The recent furore around University of Minnesota’s “Hypocrite commits” research, which spilled over from the Linux Kernel Mailing List and into mainstream tech media, has provoked a lot of discussion about the Linux kernel community’s processes, and arguably provided ammunition to folks who have been saying all along that open source software cannot be trusted.

Running a devroom at FOSDEM: Safety and Open Source

Tue 30 March 2021 - Beth White, Shaun Mooney

Codethink recently ran the Safety and Open Source devroom at FOSDEM 2021. Unfortunately, due to Covid-19, this was entirely virtual. However, this did make the conference more accessible to those who would otherwise be unable to attend. 2021 was the first year that the safety devroom had been run, and hopefully, it will become a regular occurrence at FOSDEM in future years.

Safety is a system property, not a software property

Tue 02 March 2021 - Paul Albertella

Applying functional safety practices to software-intensive systems can be very challenging, and established approaches have struggled to scale and adapt to the problem. But what is meant by the assertion that "Safety is a system property, not a component property" and how should this shape our understanding of safety when applied to software?

Meet the Codethings: Safety-critical systems and the benefits of STPA with Shaun Mooney

Thu 04 February 2021 - Yasmin Ferreras Greenwood, Shaun Mooney

In this episode of 'Meet the Codethings', we've asked Shaun about FOSDEM, the future of safety-critical software in automotive, and STPA. Keep up-to-date with our news about safety by just subscribing to our Safety newsletter at the end of the article.

FOSDEM devroom Safety and Open Source Software Thumbnail

FOSDEM 2021: Devroom for Safety and Open Source

Tue 26 January 2021 - Nicole Mpofu

FOSDEM is a two-day event organised by the FOSS community for FOSS the community. This event aims to gather like-minded professionals to learn, teach, and broaden their knowledge and network. This is a fun and exciting weekend for the developers and our employees since they are hosting their first devroom this year.

Call for Papers: FOSDEM 2021 Dev Room Safety and Open Source Software

Fri 18 December 2020 - Yasmin Ferreras Greenwood

FOSDEM is coming, 6th and 7th of February 2021! In addition to attending the virtual event, this time Codethink engineers will be curating the Safety and Open Source Software Dev Room.

My experience of the MIT STAMP workshop 2020

Tue 25 August 2020 - Shaun Mooney

I recently digitally attended the 2020 STAMP workshop, hosted by MIT. This was originally planned to be in Boston in March, but for obvious reasons was moved.

Investigating kernel user-space access

Tue 16 June 2020 - Ben Dooks, Kejia Hu

In 2018, Codethink worked with Lukas Bulwahn from BMW on a project investigating some core functionality of the Linux kernel that is relevant to safety considerations of an assumed system. We wanted to share some of our findings from this work, as it could prove useful to communities interested in using Linux in a safety-critical context.

Trusting software in a pandemic

Tue 26 May 2020 - Paul Albertella

As concerns about the privacy and security implications of contract tracing apps for COVID-19 show, establishing trust in software is still a real challenge. I’ve been following reports about these apps closely, and have been interested to read medical, technical and ethical analysis from around the world. What all of these perspectives underline for me is the critical role of public trust in the success or failure of such applications.

Open Source Safety Requirements Analysis for Autonomous Vehicles based on STPA

Thu 25 April 2019 - Paul Sherwood

As a result of collaborative research with MIT, Codethink announces a new open source project AV-STPA, to analyse and document safety requirements for autonomous vehicles by applying System-Theoretic Process Analysis.

On our continuing journey to understand the implications of safety and security risk management for complex software-intensive systems, Codethink has …

MIT Doctor delivers Manchester masterclass on innovative safety methodology

Mon 11 March 2019 - Tim Pockney

Systems are becoming more complex than ever before. This now allows us to accomplish tasks that once seemed impossible. With this increase in complexity from systems, there is a need for safety models that can keep up.

STAMP (System-Theoretic Accident Model and Processes) is an accident and causality model based …

Hypervisor Not Required

Wed 06 June 2018 - Paul Sherwood

Many embedded/automotive vendors are recommending that electronic control unit (ECU) consolidation can be best achieved by adopting an architecture with a hypervisor. The idea is to isolate functions into guest operating system virtual machines and restrict access to sensitive resources. So examples of the consolidated architecture look something like …

Towards Trustable Software White Paper

Tue 17 October 2017 - Codethink

LONDON--(BUSINESS WIRE)-- The Institute for Strategy, Resilience & Security (ISRS) at University College London (UCL) in association with software developer Codethink Ltd, today announced the release of a new white paper entitled Towards Trustable Software – A Systematic Approach To Establishing Trust In Software. Paul Sherwood, CEO of Codethink will introduce …

Articles with tag 'Safety'