Articles with tag 'Trustable Software'
The third part of a blog series, discussing HSM-backed security requirements and how we analyse the tradeoffs offered by modern options.
The 2nd part of a blog series, discussing HSM-backed security requirements and how we analyze the tradeoffs offered by modern options.
As we work increasingly with systems that have HSM-backed security requirements, we analyze the tradeoffs offered by modern options.
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?
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.
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.
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.
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 …
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 …
Looking at YAML and JSON for Schemas and Validation.
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
- Aarch64 (2)
- ABI Stability (1)
- AGL (1)
- Algorithm (2)
- Android Automotive (1)
- Ansible (1)
- API (1)
- Architecture (2)
- Arm (2)
- ASIL D (1)
- Atomic Upgrades (1)
- Audio (2)
- Automation (2)
- Automotive (11)
- Automotive Grade Linux (1)
- Autonomous Vehicle (1)
- Azure (2)
- Baserock (6)
- Bazel (5)
- Bazelize (2)
- Bloodlight (3)
- Board Support Packages (1)
- British Cycling (1)
- Bugs (1)
- Build (3)
- Build Engineering (16)
- Buildbarn (2)
- BuildBox (4)
- Buildfarm (1)
- BuildGrid (5)
- Buildroot (3)
- BuildStream (12)
- C (2)
- Case Design (1)
- CD (2)
- Certification (2)
- Christmas (2)
- CI (3)
- CICD (11)
- CIP (3)
- CLI (1)
- Cloud (1)
- Cloud-native (1)
- CMake (2)
- CNN (1)
- Code Review (1)
- Coding Puzzle (1)
- Community (5)
- Compilers (4)
- Conferences (11)
- Continuous Delivery (2)
- Continuous Integration (1)
- Coronavirus (4)
- Culture (11)
- CVE (1)
- Data (2)
- Databricks (1)
- DebConf (1)
- Debian (1)
- Debugging (4)
- Decision Analysis (1)
- Devices (1)
- DevOps (2)
- Distributed Builds (2)
- Diversity (2)
- Drivers (1)
- Eagle (1)
- ELCE (1)
- Electric vehicles (1)
- Electronics (2)
- Embedded (11)
- End-User Black-Box Testing (2)
- Erasure Codes (1)
- Error Correction (1)
- Events (11)
- Firmware (4)
- Flathub (1)
- Flatpak (3)
- FLOSS (1)
- Fortran (2)
- FOSDEM (8)
- FOSS (39)
- FOSS Backstage (1)
- FOSS Community (2)
- FPGA (2)
- Freedesktop SDK (5)
- GENIVI (3)
- Git (3)
- GitHub (1)
- Gitlab (1)
- GitOps (1)
- GNOME (19)
- GNOME OS (8)
- GStreamer (1)
- GUADEC (5)
- GUI (1)
- Hamsa (1)
- Hardware (10)
- Hardware Testing (2)
- Heart Monitor (1)
- Heart Rate Sensor (1)
- Hypervisors (1)
- Icicle (1)
- Icicle-Kit (1)
- IEC 61508 (1)
- Infrastructure (2)
- International Women's Day (2)
- Internet of Things (1)
- Internship (3)
- Interrogizer (2)
- Interview (8)
- ISO 26262 (1)
- ISO 9001 (1)
- IVI (1)
- Jetson (1)
- Jsonnet (1)
- Kernel (13)
- Kicad (2)
- Lava (1)
- libabigail (1)
- Linux (31)
- Linux Foundation (5)
- Linux Kernel (4)
- LLVM (1)
- Long Term Maintainability (27)
- Long Term Support (1)
- Lorry (4)
- Machine Learning (3)
- Mainline (2)
- Masterclass (1)
- Medical (1)
- Medical Devices (6)
- Meetup (2)
- MEG Project (1)
- Microcontroller (5)
- Mirroring (4)
- Mobile Devices (1)
- NVIDIA (3)
- Open Hardware (1)
- Open Source (72)
- Open Source Project (1)
- Open Source Summit (2)
- Open Source Summit Europe (1)
- openQA (5)
- OpenSCAD (1)
- OpenStack (3)
- Partnership (6)
- Performance (4)
- PinePhone (1)
- Productivity (2)
- Programming (2)
- Project Manager (2)
- PyCon (1)
- Python (4)
- QEMU (10)
- QNX (1)
- RAAPI (1)
- REAPI (2)
- RECC (1)
- Remote Asset (1)
- Remote Execution (5)
- Reproducibility (1)
- Research (2)
- RHEL (1)
- RISC-V (14)
- Robotics (1)
- Rust (6)
- Safety (19)
- Safety Engineering (1)
- Safety System (3)
- Schemas (2)
- Security (7)
- Server (1)
- SiFive (1)
- Software (4)
- Software Engineering (4)
- Software Test Libraries (1)
- STAMP (2)
- STM32 (2)
- STPA (8)
- systemd (6)
- Terraform (1)
- Testing (12)
- Teufel (2)
- Toolchain (3)
- Tracking (1)
- Troubleshooting (3)
- Trustable Software (11)
- TX2 (1)
- Upstream (6)
- USB (1)
- User Group (1)
- Validation (2)
- Visualisation (1)
- Women in Tech (3)
- XML (1)
- YAML (2)
- Yocto (1)
- YOLO (1)