aadl

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

• Updated Mar 23, 2022
• Ada

Library of AADL models

• Updated Nov 6, 2024
• Shell

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

• Updated Jul 9, 2017
• Java

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

• Updated Sep 22, 2022
• C

PolyORB-HI/Ada runtime for Ocarina

• Updated Sep 5, 2021
• Ada

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

• Updated May 10, 2022
• JavaScript

We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by a toolchain. Indeed, we define a source meta-model for AADL and a target meta-model for the timed automata formalism; we define a transformation proces...

• Updated Aug 28, 2021
• Assembly

Build script (and more) for Ocarina

• Updated Feb 9, 2021
• Shell

A compiler for system-architecture models — ingests AADL v2.3, SysML v2 & CAN/DBC into one semantic model; emits safety analysis, TSN timing bounds, and verified WASM/Lean/Bazel artifacts. Rust, WASM-native.

• Updated Aug 26, 2026
• Rust

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

• Updated Feb 4, 2023
• Java

AADL project.

• Updated Oct 10, 2019

AADLv2 Cheat sheet

• Updated Apr 17, 2018
• TeX

Integration Property Language

• Updated Nov 1, 2018
• Xtend

Coffee Machine System Model

• Updated Jun 22, 2022

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

• Updated Feb 4, 2023
• Java

Dockerfiles to build ocarina

• Updated Nov 29, 2020
• Dockerfile

• Updated Mar 5, 2018
• Shell

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

• Updated Jan 14, 2024

Eclipse-score persistency::kvs through the full pulseengine stack — rivet typed artifacts + spar AADL + WIT contract + witness MC/DC harness + sigil release manifest + artifact-driven verification gate. Not affiliated with Eclipse Foundation.

• Updated May 25, 2026
• Rust

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.

• Updated May 29, 2021
• Java