Skip to content

@OpenAADL OpenAADL

Change the repository type filter

All

    Repositories list

    12 repositories

    • AADLib

      Public
      Library of AADL models
      aadl
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •17•43•0•0•Updated Nov 6, 2024Nov 6, 2024

    • polyorb-hi-c

      Public
      PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
      aadlc
      C
      •
      Other
      •48•13•1•0•Updated Sep 22, 2022Sep 22, 2022

    • ocarina

      Public
      AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
      aadlada
      Ada
      •
      Other
      •29•67•33•0•Updated Mar 23, 2022Mar 23, 2022

    • polyorb-hi-ada

      Public
      PolyORB-HI/Ada runtime for Ocarina
      aadlada
      Ada
      •
      Other
      •4•9•1•0•Updated Sep 5, 2021Sep 5, 2021

    • ocarina-build

      Public
      Build script (and more) for Ocarina
      aadlocarina
      Shell
      •
      MIT License
      •5•3•0•0•Updated Feb 9, 2021Feb 9, 2021

    • osate2-ocarina-update-site

      Public
      Update site for the OSATE2 Ocarina plugin
      0•0•0•0•Updated Nov 29, 2020Nov 29, 2020

    • osate2-ocarina

      Public
      Ocarina Plugin for OSATE2
      Java
      •
      Eclipse Public License 2.0
      •3•7•1•0•Updated Nov 29, 2020Nov 29, 2020

    • ocarina-docker

      Public
      Dockerfiles to build ocarina
      aadlocarina
      Dockerfile
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Nov 29, 2020Nov 29, 2020

    • fmu2aadl

      Public
      FMI to AADL conversion toolchain
      C
      •
      Eclipse Public License 1.0
      •2•1•0•0•Updated Nov 12, 2020Nov 12, 2020

    • Crazyflie

      Public
      AADL models for the Crazyflie UAV -- OMSCS Class CS7639
      Makefile
      •18•11•0•0•Updated Mar 22, 2020Mar 22, 2020

    • aadlsheet

      Public
      AADLv2 Cheat sheet
      aadl
      TeX
      •0•2•0•0•Updated Apr 17, 2018Apr 17, 2018

    • AADL-pygments-lexer

      Public
      Pygments lexer for AADL
      Python
      •
      Other
      •2•1•1•0•Updated Apr 3, 2018Apr 3, 2018