OpenAADL/ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Language: Ada - Size: 26.2 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 61 - Forks: 30

OpenAADL/ocarina-build

Build script (and more) for Ocarina

Language: Shell - Size: 206 KB - Last synced: 2 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 4

OpenAADL/aadlsheet

AADLv2 Cheat sheet

Language: TeX - Size: 202 KB - Last synced: 2 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

OpenAADL/polyorb-hi-ada

PolyORB-HI/Ada runtime for Ocarina

Language: Ada - Size: 2.41 MB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 8 - Forks: 4

OpenAADL/ocarina-docker

Dockerfiles to build ocarina

Language: Dockerfile - Size: 27.3 KB - Last synced: 2 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

OpenAADL/polyorb-hi-c

PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

Language: C - Size: 2.43 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 12 - Forks: 48

juli1/aadl-book

Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book

Language: Java - Size: 28.3 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 13 - Forks: 1

IsuruSankhajith/Security_system_AADL

This project is fundamentally based on AADL (Architecture Analysis and Design Language) concepts. It provides components with precise semantics to describe system architectures.

Size: 23.4 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

OpenAADL/AADLib

Library of AADL models

Language: Shell - Size: 4.23 MB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 42 - Forks: 19

kbarszczak/Drinks_vending_machine_aadl

The implementation of a drinks vending machine in AADL modeling language

Size: 6.84 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

sireum/v3-awas

Awas: A tool for model navigation, dependency analysis and risk analysis of component based systems

Language: JavaScript - Size: 51 MB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 5 - Forks: 1

Anshumaan-Chauhan02/NaturalLanguage-To-AADL

NLP and Compiler Construction for the task of converting English language specifications to AADL Model

Language: Java - Size: 2.08 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

Anshumaan-Chauhan02/NLPtoAADLArch

Continuation of NaturalLanguage-To-AADL project. Incorporated more features to make the conversion more robust

Language: Java - Size: 1.95 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

Ehevi/CoffeeMachine

Coffee Machine System Model

Size: 90.8 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

RileyAbr/CSCI445-Adventium-Labs-GUMBO-Plugin-2021

This Eclipse plug-in simplifies the extension of AADL models with AGREE constraints through the use of an error-reducing UI. This project was created for CSCI 445: Software Projects Capstone.

Language: Java - Size: 5.72 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

angelacpd/UAVGimbal Fork of afonsofonbraga/UAVGimbal

AADL project.

Size: 2.04 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

bisc/IPL

Integration Property Language

Language: Xtend - Size: 19.9 MB - Last synced: 4 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

virtuald/language-aadl

AADL language support for Atom

Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

bisc/IPLProjects

Language: Shell - Size: 1.08 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0