Project

General

Profile

Support #3063

[safety-documentation] Enhance the traffic light controller tutorial with safety cases

Added by Carmen Carlan about 3 years ago. Updated 6 months ago.

Status:
Rejected
Priority:
Low
Assignee:
-
Category:
-
Target version:
Start date:
08/29/2017
Due date:
% Done:

0%

Estimated time:

History

#1 Updated by Carmen Carlan over 2 years ago

  • Target version set to AF3 2.14 RC3 (Documented, Code Reviewed)

#2 Updated by Carmen Carlan over 2 years ago

  • Assignee changed from Carmen Carlan to Anonymous

#3 Updated by Carmen Carlan over 2 years ago

  • Assignee changed from Anonymous to Carmen Carlan

#4 Updated by Carmen Carlan over 2 years ago

  • Assignee changed from Carmen Carlan to Anonymous

A power point presentation shall be created, where a safety case for the traffic light controller use case is created.

The sources of the existent tutorials can be found here: https://git.fortiss.org/af3/publication/tree/master/publication/tutorials

#5 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC3 (Documented, Code Reviewed) to Backlog

#6 Updated by Carmen Carlan over 1 year ago

  • Assignee changed from Anonymous to Carmen Carlan

#7 Updated by Carmen Carlan over 1 year ago

  • Priority changed from Normal to Low

#8 Updated by Carmen Carlan over 1 year ago

  • Subject changed from [safety] Enhance the traffic light controller tutorial with safety cases to [safety-documentation] Enhance the traffic light controller tutorial with safety cases

#9 Updated by Carmen Carlan 10 months ago

  • Assignee changed from Carmen Carlan to Liana Soima

#10 Updated by Carmen Carlan 6 months ago

  • Assignee changed from Liana Soima to Johannes Eder

Please reject this issue - it's absolute

#11 Updated by Johannes Eder 6 months ago

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

Also available in: Atom PDF