Articles with tag 'Trustable Software'

Trusted

The third part of a blog series, discussing HSM-backed security requirements and how we analyse the tradeoffs offered by modern options.

Microchip

The 2nd part of a blog series, discussing HSM-backed security requirements and how we analyze the tradeoffs offered by modern options.

Car console

As we work increasingly with systems that have HSM-backed security requirements, we analyze the tradeoffs offered by modern options.

YAML Thumbnail

YAML's data model can represent arbitrary data, so when an app parses a YAML document it might get back anything. It's up to the developer to check that the data is structured how the app expects and to control what happens when it isn't. Does it report an error to the user? Is the behaviour undefined? Does it crash?

MIT building

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.

Binary data

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.

Masks, coronavirus and smartphone

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.

Codethink

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 …

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 …

Codethink

Looking at YAML and JSON for Schemas and Validation.

Codethink

Standing up

We do standups to keep the team aware of what everyone is doing, and to identify roadblocks. Doing them on IRC means we can

  • log the minutes
  • have remote participants
  • be in more than one standup at once (eg Project Manager)

Standups should be short - approx 10 minutes …

Tag Index

Get in touch to find out how Codethink can help you

sales@codethink.co.uk +44 161 660 9930

Contact us