Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/OpenAADL/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
https://github.com/OpenAADL/ocarina
aadl ada
Last synced: 2 months ago
JSON representation
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- Host: GitHub
- URL: https://github.com/OpenAADL/ocarina
- Owner: OpenAADL
- License: other
- Created: 2013-01-14T18:32:48.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2022-03-23T02:16:23.000Z (over 2 years ago)
- Last Synced: 2024-03-26T09:52:16.214Z (3 months ago)
- Topics: aadl, ada
- Language: Ada
- Homepage: http://www.openaadl.org
- Size: 26.2 MB
- Stars: 60
- Watchers: 17
- Forks: 30
- Open Issues: 33
Lists
- awesome-ada - ocarina - AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL. (Tools / Generation)
- awesome-ada - ocarina - AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL. (Tools / Generation)