search

santoslab / aadl-translator

Eclipse Public License 1.0
5 stars 3 forks source link

System-level Hazards #16

Open sprocter opened 9 years ago

sprocter commented 9 years ago

All hazards are currently app-level, but a second notion of hazard should be introduced that exists at the system level.

  1. App level hazards should be traceable to system level hazards (in addition to app-level safety constraints)
  2. System level hazards should be traceable to system level safety constraints (#17)