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