Alternatives and similar repositories for aadl-book

Users that are interested in aadl-book are comparing it to the libraries listed below

• OpenAADL / AADLib
  Library of AADL models
  ☆44Updated 6 months ago
• eclipse / cloe
  Cloe
  ☆47Updated 6 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 2 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• RI-SE / smirk
  SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…
  ☆16Updated last year
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 10 years ago
• mathworks / Message-De-Serializer-for-ROS
  This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…
  ☆11Updated last year
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 4 months ago
• ttsiodras / DataModellingTools
  The Data Modelling Tools of the European Space Agency's TASTE toolchain
  ☆18Updated 3 years ago
• usdot-fhwa-stol / carma-streets
  CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…
  ☆10Updated 3 weeks ago
• scpeters / Chrono_Gazebo
  Creating an autonomous vehicle simulation using chrono and gazebo
  ☆15Updated 9 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆108Updated last year
• steventen / Simulink-Model-Parsing-Tools
  read and write simulink model in python
  ☆47Updated 10 months ago
• osate / examples
  Examples and case-study that use OSATE
  ☆57Updated last month
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated last year
• chalmers-revere / opendlv
  OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.
  ☆80Updated last year
• ros-industrial / docker
  ROS-Industrial docker and cloud tools
  ☆22Updated 3 years ago
• eclipse-adore / adore
  Eclipse ADORe is a ROS based modular software library and toolkit for decision making, planning, control and simulation of automated vehi…
  ☆52Updated last year
• silverSapphire / Eigen-Malloc-Free-Pseudoinverse
  This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.
  ☆12Updated 2 years ago
• boschresearch / ros2_response_time_analysis
  Supplementary source code for the ECRTS 2019 paper 'Response-Time Analysis of ROS 2 Processing Chains under Reservation-Based Scheduling'
  ☆28Updated 4 years ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆12Updated this week
• christianjann / L4T_PREEMPT_RT
  PREEMPT_RT kernel for the Jetson TK1.
  ☆17Updated 9 years ago
• PlotJuggler / plotjuggler-mqtt
  ☆12Updated 3 years ago
• autowarefoundation / autoware_ai_simulation
  ☆52Updated 2 years ago
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆15Updated 2 weeks ago
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆19Updated last year
• ptp-sim / libPTP
  Library to simulate the Precision Time Protocol (PTP, IEEE 1588) in OMNeT++
  ☆32Updated 3 years ago
• jfrasch / qpDUNES
  qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming
  ☆24Updated 8 years ago
• Luxoft / Safe-Renderer
  Luxoft Automotive HMI Safe Renderer
  ☆28Updated 4 years ago