Both system safety and security are critical goals, but they are not always compatible. You have to consider safety – security relations when developing a system assurance case. A solution to this problem, a Safety-Security Assurance Framework (SSAF), has been proposed by the latest publication of the SCSC Security Informed Safety Working Group. The main […]
Chat in the team working on the assurance case improves cooperation and enables easy exchange of information directly in the tool. Discussion is naturally connected to the places of argumentation that it concerns and where changes are introduced. Adding priorities to the chat allows to highlight the main threads of conversation for efficient development of […]
Argument building blocks were originally proposed for CAE assurance cases, but the approach is applicable to all types of assurance cases. The building blocks approach says that there are five types of possible support for a claim – you can provide supporting evidence or use one of four types of strategy: decomposition, substitution, concretion or […]
Improved assurance case development in GSN diagrams and automatic layout are the main enhancements in the new PREMIS version released last week. It is now easier to work with diagram pages, which no longer have a size limit. Editing diagrams is faster, navigation has been improved and working with GSN is now more effective. Now […]
We are working on extending GSN patterns with references to system context models. GSN patterns support argument abstraction but the details of how it works are not specified. You can specify a claim “{System S} is sufficiently safe”, but the GSN standard doesn’t say how to manage the parameter S. You can find some guidance […]
Until now, modular assurance cases in PREMIS could only be developed from the bottom up. That is, you had to develop the argumentation of all the modules, create interfaces, assign argument elements to the interfaces, and finally bind the modules. The result can be presented in an architecture diagram. This was a long and tedious […]
PREMIS, a containerized assurance case tool, will replace NOR-STA at the end of July. Containerization allows us to improve application portability, security, performance and maintainability. PREMIS will maintain the full range of NOR-STA features and the API, and will additionally offer new possibilities. Migrating from NOR-STA to PREMIS will be smooth for users and will […]
We will participate in 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023) in Singapore on 24-27 October. We will present our paper on System Assurance Reference Model (SARM). Join us at the conference to enjoy the event and learn more how reference model can improve generation and management of modular assurance case. […]
Modularity is an effective way of managing assurance case complexity, but is should be used in a systematic way to get benefits. This will be discussed by practitioners at the International Workshop on Modular Argumentation to Support Device Conformity Assessment (MASCA) which will be held on 19 September at SAFECOMP 2023 conference. The current state […]
Assurance case modules can be connected through three types of interfaces as they are defined in GSN Community Standard version 3: Away elements (citation) Support by module Support by contract In our post in May we presented a diagram comparing the types of interfaces but the presented diagram was a bit too simplified. An important […]