Project

General

Profile

Change Request #2171

Migration of safety-related methods and properties to org.fortiss.af3.safety(.ui)

Added by Alexander Diewald almost 6 years ago. Updated over 5 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
11/27/2014
Due date:
% Done:

100%

Estimated time:
(Total: 9.00 h)

Description

All safety-related methods and properties shall be collected in this central plugin.
Collecting ticket.


Subtasks

Bug #2172: Migration: Safety specification / Component resource table to safety annotationsClosed

Feature #2170: MIRA: migrate SIL fields to Safety-PluginClosed

Change Request #2173: Migration: DSE using new Safety Annotations Closed


Related issues

Related to Change Request #2276: Cleanup WCET and Memory related methods in org.fortiss.af3.scheduling.utils.SpecificationsUtilsClosed02/03/2015

History

#1 Updated by Anonymous almost 6 years ago

  • Target version set to AF3 2.7 RC1 (features frozen)

Legacy-SIL-Types
- MIRA
- Component resource table
- Safty specification

propagates SIL == (new) required SIL

#2 Updated by Anonymous almost 6 years ago

New:

MIRA: required SIL
LA: (read only) required SIL from MIRA
intended SIL
--> check required against intended SIL
TA: Achievable SIL --> Editable, calculated
Parameters

#3 Updated by Anonymous almost 6 years ago

Delete Safety Specification in sil.plugin to disable the possibility to model safety annotations using safety Specifications

#4 Updated by Alexander Diewald almost 6 years ago

  • Target version changed from AF3 2.7 RC1 (features frozen) to AF3 2.7 RC2 (GUI improved)

#5 Updated by Alexander Diewald almost 6 years ago

  • Target version changed from AF3 2.7 RC2 (GUI improved) to AF3 2.7 RC3 (tested)

#6 Updated by Alexander Diewald almost 6 years ago

  • Assignee set to Anonymous

#7 Updated by Anonymous over 5 years ago

  • Target version changed from AF3 2.7 RC3 (tested) to AF3 2.7 RC4 (bugs fixed)

#8 Updated by Simon Barner over 5 years ago

  • Related to Change Request #2276: Cleanup WCET and Memory related methods in org.fortiss.af3.scheduling.utils.SpecificationsUtils added

#9 Updated by Anonymous over 5 years ago

I close this issue as all subtasks are resolved/closed, never the less Change Request #2276: Cleanup WCET and Memory related methods in org.fortiss.af3.scheduling.utils.SpecificationsUtils is still open

#10 Updated by Anonymous over 5 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anonymous to Alexander Diewald

#11 Updated by Alexander Diewald over 5 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF