Project

General

Profile

Feature #3783

Feature #3009: [safety-maintenance] Safety Case Maintenance

[safety-maintenance] Manual maintenance annotations

Added by Carmen Carlan about 1 year ago. Updated 6 months ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
05/24/2019
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)

Description

The user may manually annotate any GSN node as \textit{to be maintained} by right-clicking on the node and selecting the corresponding button within the displayed context menu. After pressing such a button a dialog opens , where the user has to select the type of impact, i.e., challenged, potentially impacted or actually impacted. Furthermore, in the same dialog, the user may optionally input information regarding the change impacting the node, namely he or she can reference the changed artefact (either AF3 native model elements or external files) or assurance case node and select the change type from a list of predefined types of changes, list created during the preparation of the assurance case for maintenance (see the previous paragraph). When the desired change is not within the list, the user may also write the type of change in the Define Change Type text field. In the model, the change impacting the node is added to the list of current changes affecting the respective node. After the user deals with the impact of certain changes on a node, he or she may press the Change Impact Solved button of the node's context menu. Pressing this button will open a dialog where the user can select the changes whose impact has been solved and delete them . The node's to be maintained attribute will be set to false only when the impact of all changes has been dealt with.


Subtasks

Feature #3732: [safety] Show states of GSN nodesClosed

Feature #3986: [safety-maintenance] Manual maintenance annotations and reference of System Model ElementsClosed

History

#1 Updated by Carmen Carlan about 1 year ago

  • Assignee changed from Carmen Carlan to Liana Soima

#2 Updated by Alexander Diewald 12 months ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#3 Updated by Liana Soima 9 months ago

Carmen Carlan wrote:

The user may manually annotate any GSN node as \textit{to be maintained} by right-clicking on the node and selecting the corresponding button within the displayed context menu. After pressing such a button a dialog opens , where the user has to select the type of impact, i.e., challenged, potentially impacted or actually impacted. Furthermore, in the same dialog, the user may optionally input information regarding the change impacting the node, namely he or she can reference the changed artefact (either AF3 native model elements or external files) or assurance case node and select the change type from a list of predefined types of changes, list created during the preparation of the assurance case for maintenance (see the previous paragraph). When the desired change is not within the list, the user may also write the type of change in the Define Change Type text field. In the model, the change impacting the node is added to the list of current changes affecting the respective node. After the user deals with the impact of certain changes on a node, he or she may press the Change Impact Solved button of the node's context menu. Pressing this button will open a dialog where the user can select the changes whose impact has been solved and delete them . The node's to be maintained attribute will be set to false only when the impact of all changes has been dealt with.

Furthermore, each change has its own property section, where the maintenance status, type and references of a change can be seen. When clicking the "Show Potential Change Impact" button, the user can see the what impact a challenged GSN node can have on other nodes. The propagated impact on other nodes has to be manually solved by the user.

  • Setting a GSN node as impacted saving the project creates this warning on missing IDs (example below is for a challenged node):

Missing ID added to element "org.fortiss.af3.safetycases.model.impl.ChangeImpl@5e8f0c54 (id: 0, name: change, comment: ) (personalizedTypeOfChange: null, predefinedTypeOfChange: Add, maintainanceCause: Challenged)".

#4 Updated by Liana Soima 8 months ago

The user can also make a reference to a System Model Element and then select the element from the reference list he wants to go to

#5 Updated by Carmen Carlan 8 months ago

The multiple hyperlinking is also here implemented

#6 Updated by Carmen Carlan 8 months ago

Small fix-ups:

"Select System Model ..." ---> "Show System Model References"

"Set to Impacted" ---> "Set under Maintenance"

"Remove Impact" ---> "Set to Up-to-Date" (change icon, too)

The colors for impact do not work for away elements (also, if an away element is impacted, then also the element with which is connected shall be annotated as impacted)

The change impact analysis does not work for away elements (also, if an away element is impacted, then also the element with which is connected shall be annotated as impacted)

#7 Updated by Carmen Carlan 8 months ago

  • Status changed from New to In Progress

#8 Updated by Carmen Carlan 8 months ago

If a GSN element is impacted by an elemen, but the user doesn't reference it, then offer the possibilty to add it to referenced elements

#9 Updated by Alexander Diewald 6 months ago

  • Status changed from In Progress to Resolved
  • Assignee changed from Liana Soima to Johannes Eder

Resolved in #3986. Please close.

#10 Updated by Johannes Eder 6 months ago

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

Also available in: Atom PDF