Project

General

Profile

Bug #4054

Feature #3784: [safety-creation] Creating and manipulating safety cases

[safety-creation] Small fixes

Added by Carmen Carlan 2 months ago. Updated 4 days ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/13/2020
Due date:
% Done:

100%

Estimated time:

Description

- Delete Assurance Claim Patterns Database from the Context Menu of Assurance Package elements;

- Delete "Type" from the Properties View of Argument Modules and in the metamodel;

- Implement:

--- ExplicitCase requires to document goal decompositions via strategies. Therefore, a constraint
on the assurance case model enforces the existence of a strategy node whenever the user wants
to connect two goals.

--- Avoidance of circular argumentation

History

#1 Updated by Carmen Carlan 2 months ago

  • Subject changed from [safety] Small fixes to [safety-creation] Small fixes

#2 Updated by Carmen Carlan about 2 months ago

Additional task:

- Preventing the creation of invalid relationships. Only GSN connections permitted by the GSN
standard can be modeled (e.g., a context node cannot be connected to a justification node). For implementing this, look into GSN standard for allowed relationships: https://scsc.uk/scsc-141B

#3 Updated by Carmen Carlan about 2 months ago

Additional task:

-- Delete "Download a database ..." from the Context Menu of Assurance Package elements;

#4 Updated by Carmen Carlan about 1 month ago

  • % Done changed from 0 to 100

#5 Updated by Carmen Carlan about 1 month ago

  • Status changed from New to Resolved
  • Assignee changed from Liana Soima to Johannes Eder

This issue has been resolved and can be closed.

#6 Updated by Johannes Eder 4 days ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF