Alternatives and similar repositories for aadl-book:

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

• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆11Updated 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…
  ☆10Updated last year
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆19Updated 9 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆41Updated 3 months 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…
  ☆51Updated 9 months ago
• eclipse / cloe
  Cloe
  ☆45Updated 3 months ago
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆41Updated last month
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 2 years ago
• ros-industrial / docker
  ROS-Industrial docker and cloud tools
  ☆22Updated 3 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 2 years ago
• lu-w / auto
  The Automotive Urban Traffic Ontology
  ☆12Updated 5 months ago
• michaelwittmann / docker_simulation_pipeline_example
  This is an example project to demonstrate how one can easily scale simulation runs with docker containers
  ☆10Updated last year
• OpenAADL / AADLib
  Library of AADL models
  ☆42Updated 2 months ago
• ros2 / rosidl_typesupport
  Packages which provide the typesupport for ROS messages and services
  ☆14Updated last month
• robust-rosin / robust
  A dataset of 200+ bugs in the Robot Operating System for BugZoo
  ☆31Updated 10 months ago
• eclipse-openmcx / openmcx
  openmcx
  ☆36Updated 4 months ago
• se-research / OpenDaVINCI
  OpenDaVINCI
  ☆50Updated 6 years ago
• sisl / AdversarialDriving.jl
  Adversarial driving simulator for testing safety validation algorithms
  ☆13Updated 3 years ago
• Luxoft / Safe-Renderer
  Luxoft Automotive HMI Safe Renderer
  ☆26Updated 4 years ago
• ModelioOpenSource / ExtensionsForModelio
  Modelio is an extensible tool. The repository contains several modules, the means of defining, implementing and deploying extensions for …
  ☆16Updated 11 months ago
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 3 weeks ago
• atolab / zhe
  Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking
  ☆50Updated 3 years ago
• ErwindeGelder / ScenarioDomainModel
  ☆26Updated 2 years ago
• JuliaMPC / MAVs
  Michigan Autonomous Vehicles
  ☆14Updated 5 years ago
• personalrobotics / chimera
  A CLI tool for generating Boost.Python/pybind11 bindings from C/C++
  ☆14Updated 4 years ago
• cmu-rss-lab / rosdiscover
  ☆16Updated last year
• modelica / Modelica-Compliance
  A semantics compliance suite for the Modelica language
  ☆18Updated this week
• rosmod / webgme-rosmod
  This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…
  ☆15Updated last month
• scpeters / Chrono_Gazebo
  Creating an autonomous vehicle simulation using chrono and gazebo
  ☆15Updated 9 years ago
• ros2 / rcl_logging
  Logging implementations for ROS 2.
  ☆23Updated last month