List view

Write specification about input data needed for operational scenario

US-Define-Verification-Task

Validation

Status: Open.

#132 In openETCS/validation;

· MarcBehrens opened on Oct 11, 2013

Code Verification Strategy (Part of Code verification)

D4.2.2 CODE-Verification

Verification

Status: Open.

#130 In openETCS/validation;

· MarcBehrens opened on Oct 2, 2013

Real-Time: Identify real-time relevant parts of the specification (requirements)

D4.2.1 MODEL-Verification

Verification

Status: Open.

#83 In openETCS/validation;

· MarcBehrens opened on Sep 5, 2013

Functional Testing

D4.2.1 MODEL-Verification

US-Verify-Behavioural-Model

Verification

Status: Open.

#80 In openETCS/validation;

· MarcBehrens opened on Sep 4, 2013

Test Integration for SysML Model FMEA

D4.2.3 Safety Plan

safety

US-Verify-Safety-Objectives

Status: Open.

#71 In openETCS/validation;

· janWelte opened on Aug 20, 2013

Safety Requirements (Identification, Verification and Validation)

backlog

D4.2.3 Safety Plan

safety

US-Verify-Safety-Objectives

Status: Open.

#70 In openETCS/validation;

· janWelte opened on Aug 20, 2013

Validation against operational scenarios

backlog

Validation

Status: Open.

#63 In openETCS/validation;

· MarcBehrens opened on Aug 8, 2013

Model Based Verification

D4.2.1 MODEL-Verification

US-Verify-Behavioural-Model

Verification

Status: Open.

#54 In openETCS/validation;

· MarcBehrens opened on Aug 7, 2013

Generate Hazard log item for Hazard "KERNEL-19 Failure of train trip supervision in OS, LS and FS" (Analyse and Evaluate Risk for Hazard)

backlog

deferred

safety

Status: Open.

#46 In openETCS/validation;

· janWelte opened on Aug 7, 2013