The use of CI/CD tools (Continuous Integration and Continuous Delivery/Deployment) is increasingly common in the development of critical systems. The same CI/CD pipelines can also be used to automate the creation and maintenance of assurance cases including the argument structure and evidence, and also for the argument verification and status data updating. CI/CD process and […]
Eliminative argumentation is an alternative approach to building an assurance case. The argument is typically constructed positively and focuses on demonstrating why we believe the goal has been achieved. Eliminative argumentation relies on the constant questioning of “what if?”. The structure of the argument can be quite similar to that of a standard positive argument, […]
Safety cases are usually based on functional safety arguments to demonstrate that failures will not result in hazardous situations. But accidents may have causes related to the system behaviour different than failures. This is where SOTIF comes in. This stands for Safety of the Intended Functionality. What does it mean? It covers mitigation of hazard […]
When working with assurance case arguments, a simple text argument format can be useful. This should be understandable to humans and usable with AI tools, while also being formally defined so this can be imported into assurance case editors. For this purpose, we are introducing LTAC – Lightweight Text Assurance Case. It’s a simplified text […]
Confidence arguments help to justify that main arguments in assurance cases are sound and trustworthy. While the main argument directly addresses system safety or security, the purpose of the confidence argument is to answer the question why we should trust that the main argument is right. Some standards and guidelines, and also some certifiers require […]