Project

General

Profile

Feature #3745

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

[safety-maintenance] Automatically set GSN node as challenged (change in referenced AF3 model)

Added by Carmen Carlan over 1 year ago. Updated 5 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
Category:
-
Start date:
06/04/2019
Due date:
% Done:

0%

Estimated time:

Description

When a GSN node is changed (e.g.m, its claim is modified), the the respective GSN node shall be marked as challenged

History

#1 Updated by Carmen Carlan about 1 year ago

  • Status changed from New to In Progress

#2 Updated by Carmen Carlan about 1 year ago

  • Subject changed from [safety] Mark GSN node as challenged to [safety-maintenance] Mark GSN node as challenged (change in referenced AF3 model)

#3 Updated by Alexander Diewald 12 months ago

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

#4 Updated by Carmen Carlan 6 months ago

  • Subject changed from [safety-maintenance] Mark GSN node as challenged (change in referenced AF3 model) to [safety-maintenance] Automatically set GSN node as challenged (change in referenced AF3 model)

#5 Updated by Johannes Eder 5 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to AF3 2.18 - Feature Freeze

Also available in: Atom PDF