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

Library of AADL models

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

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

PolyORB-HI/Ada runtime for Ocarina

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…

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

Build script (and more) for Ocarina

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.

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

AADL project.

AADLv2 Cheat sheet

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

Dockerfiles to build ocarina

Coffee Machine System Model

Integration Property Language

Repozytorium zawiera ćwiczenia realizowane w ramach przedmiotu Systemy Czasu Rzeczywistego

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

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.