Tag Archives: MISRA

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 […]