Alternatives and similar repositories for aadl-book

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

• osate / osate2
  Open Source AADL2 Tool Environment
  ☆49Updated this week
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• eclipse / cloe
  Cloe
  ☆48Updated 11 months ago
• mathworks / OpenTrafficLab
  OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.
  ☆36Updated 2 weeks ago
• MOBATSim / MOBATSim
  MOBATSim (Model-based Autonomous Traffic Simulation Framework)
  ☆78Updated 7 months 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
• chalmers-revere / opendlv
  OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.
  ☆82Updated last year
• eclipse-adore / adore_ROS1
  Eclipse ADORe is a ROS 1 based modular software library and toolkit for decision making, planning, control and simulation of automated ve…
  ☆53Updated 2 weeks ago
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆40Updated 10 months ago
• cmu-sei / emfta
  EMF-based Fault-Tree Analysis Tool
  ☆61Updated 7 years ago
• JaRei / sinadra
  ☆22Updated 4 years ago
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆20Updated last year
• cmu-rss-lab / rosdiscover
  ☆17Updated last year
• atolab / zhe
  Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking
  ☆51Updated 4 years ago
• ErwindeGelder / ScenarioDomainModel
  ☆27Updated 4 months ago
• tulip-control / tulip-control
  Temporal Logic Planning toolbox
  ☆120Updated 5 months ago
• se-research / OpenDaVINCI
  OpenDaVINCI
  ☆50Updated 7 years ago
• eProsima / xtypes
  Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)
  ☆22Updated last year
• 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
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 2 months ago
• ros-industrial / docker
  ROS-Industrial docker and cloud tools
  ☆22Updated 4 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• usdot-fhwa-stol / carma-cloud
  Now available! Cloud-based open source software (OSS) that enables infrastructure cooperation with automated driving technology through T…
  ☆25Updated last month
• OpenSimulationInterface / osi-sensor-model-packaging
  This document specifies the ways in which sensor models are to be packaged for use in simulation environments with FMI 2.0
  ☆43Updated 2 weeks ago
• marioney / hybrid_simulation
  ☆10Updated 5 years ago
• bogaotory / docker-sumo
  Containerised SUMO. Use sumo, sumo-gui and TraCI with Docker.
  ☆58Updated 7 years ago
• rtv / Stage
  Mobile robot simulator
  ☆416Updated 4 years ago
• andresmendes / openvd
  Open source simulation package for Octave/Matlab
  ☆71Updated 3 years ago