aadl

There are 22 repositories under aadl topic.

  • OpenAADL/ocarina

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

    Language:Ada641725030

  • OpenAADL/AADLib

    Library of AADL models

    Language:Shell4271119

  • juli1/aadl-book

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

    Language:Java13222

  • OpenAADL/polyorb-hi-c

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

    Language:C12122348

  • OpenAADL/polyorb-hi-ada

    PolyORB-HI/Ada runtime for Ocarina

    Language:Ada9884

  • DrHAMDANE/TransformationAADL2timedAutomata

    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 process in two steps : the first is aModel2Model transformation which takes an AADLModel and produces the corresponding timed automata model. The second transformation is a Model2Text transformation which takes a timed automata model and generates a text in ta-format code. This code is accepted by the Uppaal toolbox. The goal of this effort is to insure some properties of AADL models using the Uppaal model checker. A case study has been developed to show the feasibility and validity of the proposed approach.

    Language:Assembly7200

  • sireum/v3-awas

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

    Language:JavaScript7831

  • OpenAADL/ocarina-build

    Build script (and more) for Ocarina

    Language:Shell32475

  • OpenAADL/aadlsheet

    AADLv2 Cheat sheet

    Language:TeX2200

  • angelacpd/UAVGimbal

    AADL project.

    100

  • Anshumaan-Chauhan02/NaturalLanguage-To-AADL

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

    Language:Java1301

  • bisc/IPL

    Integration Property Language

    Language:Xtend1500

  • bisc/IPLProjects

    Language:Shell1400

  • Ehevi/CoffeeMachine

    Coffee Machine System Model

    1100

  • OpenAADL/ocarina-docker

    Dockerfiles to build ocarina

    Language:Dockerfile1220

  • Anshumaan-Chauhan02/NLPtoAADLArch

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

    Language:Java0201

  • kbarszczak/Drinks_vending_machine_aadl

    The implementation of a drinks vending machine in AADL modeling language

    0200

  • sidChouaib/Aadl3-inscription-helper-app

    AADL3 Inscription Helper is an app that aims to automate the registration process of the AADL3 housing program by the Algerian Government.

    Language:C++00

  • IsuruSankhajith/GreenTechGrazers

    This repository hosts the source code and documentation for an architectural project implemented using the Architecture Analysis and Design Language (AADL). AADL is a modeling language used for the analysis, specification, and implementation of real-time embedded systems.

    10

  • 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.

    10

  • 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:Java454

  • virtuald/language-aadl

    AADL language support for Atom

    30