Project

General

Profile

Feature #3665

[safety-semantics] Types of solutions, assumptions, contexts

Added by Carmen Carlan over 1 year ago. Updated about 2 months ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Start date:
03/04/2019
Due date:
% Done:

0%

Estimated time:

Description

These types support defining the expected and actual input domain, specifying verification cases and controlling the type of needed evidence

  • Type of context: verification case, input domain
  • Type of assumption: input domain
  • Type of solutions (SALSA):
  • process-based
  • product-based
  • Verification results
  • Status of verification results
  • State of solutions (SALSA)
    Up-to-date
    Outdated
    Required
    Evaluation pending
    Evaluated

History

#1 Updated by Carmen Carlan over 1 year ago

The metamodel shall be changed and the types shall be set via UI

#2 Updated by Johannes Eder over 1 year ago

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

#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 12 months ago

  • Subject changed from [safety] Types of solutions, assumptions, contexts to [safety-semantics] Types of solutions, assumptions, contexts

#5 Updated by Carmen Carlan 8 months ago

  • Assignee changed from Carmen Carlan to Johannes Eder

Can be closed - this is not relevant anymore

#6 Updated by Johannes Eder 5 months ago

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

#7 Updated by Johannes Eder about 2 months ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF