Project

General

Profile

Feature #3778

Feature #3785: [safety-integration] Integration of assurance cases with other tools

Feature #2985: [safety-integration] Hyperlinking

[safety-hyperlinking] References in claims

Added by Carmen Carlan about 1 year ago. Updated 11 days ago.

Status:
New
Priority:
Normal
Assignee:
Category:
-
Start date:
07/26/2019
Due date:
% Done:

0%

Estimated time:

Description

To enable references to artefacts in the claim within a GSN node, each \textit{ArgumentElement} has a \textit{Claim} (\todo{see Figure}). A claim is a data structure with two attributes: a text attribute of type \textit{String} and a list of variables. A variable has an artefact type and a value. Variable types may be any type of AF3 native system model elements or a document.

When typing the text-based claim of an assurance case element, the user can reference model elements within the project for which the assurance case was created, with the help of a text field assistant (\todo{see Figure}). The referenced elements (their name and type) are saved as variables of the claim.

History

#1 Updated by Carmen Carlan about 1 year ago

  • Subject changed from [safety] References in claims to [safety-hyperlinking] References in claims

#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 Carmen Carlan 5 months ago

  • Assignee changed from Carmen Carlan to Liana Soima

#4 Updated by Johannes Eder 4 months ago

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

#5 Updated by Carmen Carlan 11 days ago

  • Assignee changed from Liana Soima to Johannes Eder

This issue is obsolute and can be closed.

Also available in: Atom PDF