Skip to content
This repository has been archived by the owner on Oct 27, 2020. It is now read-only.

Issues: santoslab/aadl-translator

16 Open 11 Closed
16 Open 11 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Documentation background example
#27 opened May 28, 2015 by scbarrett Dissertation Release
Typos in documentation
#26 opened May 28, 2015 by sprocter
13 tasks
Dissertation Release
@sprocter
Add support for enumerated types core enhancement
#23 opened Dec 4, 2014 by sprocter Type System Overhaul
@sprocter
Add STPA's causality guidewords enhancement hazard analysis
#22 opened Nov 21, 2014 by sprocter
@sprocter
1
Support Draeger's ICE as a translation target core enhancement
#21 opened Nov 19, 2014 by sprocter
2
Introduce a notion of modality core enhancement
#20 opened Nov 19, 2014 by sprocter
3
Break out control actions by control loop enhancement hazard analysis
#18 opened Nov 14, 2014 by sprocter System-Level Hazard Analysis
@sprocter
System-level safety constraints enhancement hazard analysis
#17 opened Nov 14, 2014 by sprocter System-Level Hazard Analysis
@sprocter
System-level Hazards enhancement hazard analysis
#16 opened Nov 14, 2014 by sprocter System-Level Hazard Analysis
@sprocter
Automatically identify control loops enhancement hazard analysis
#15 opened Nov 7, 2014 by sprocter System-Level Hazard Analysis
@sprocter
Trace error propagation flows through threads enhancement hazard analysis
#14 opened Nov 7, 2014 by sprocter
@sprocter
Change occurrence causes to enumerated type enhancement hazard analysis
#13 opened Nov 5, 2014 by sprocter
@sprocter
Add support for aggregate types core enhancement
#11 opened May 13, 2014 by sprocter Type System Overhaul
@sprocter
8
Add support for modeling of subprograms core enhancement
#10 opened May 13, 2014 by sprocter
@sprocter
Add support for ranges on data types core enhancement
#3 opened Jan 17, 2014 by sprocter Type System Overhaul
@sprocter
Begin translation via context menu enhancement
#2 opened Jan 17, 2014 by sprocter
@sprocter
2
ProTip! Adding no:label will show everything without a label.