Alternatives and similar repositories for aadl-book

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

• 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…
  ☆54Updated 4 months 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
• mathworks / OpenTrafficLab
  OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.
  ☆40Updated 4 months ago
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆20Updated last year
• marioney / hybrid_simulation
  ☆10Updated 5 years ago
• eclipse-cloe / cloe
  Cloe
  ☆49Updated last year
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆12Updated 11 years ago
• TUMFTM / embes
  The repository embes (embedded energy strategy) contains an algorithm to calculate an energy strategy for an all-electric race car in rea…
  ☆15Updated 4 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 2 years ago
• DLR-FT / ModelBasedSTPA
  ☆11Updated 4 months ago
• RI-SE / ATOS
  ROS2 based platform for coordinating tests of automated vehicles and their surrounding systems.
  ☆18Updated 3 weeks ago
• chalmers-revere / opendlv
  OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.
  ☆81Updated last year
• ErwindeGelder / ScenarioDomainModel
  ☆28Updated 8 months ago
• fzi-forschungszentrum-informatik / corner_case_ontology
  The repository provides a template ontology and scripts to create OpenSCENARIO-compatible corner case scenarios in simulation.
  ☆17Updated last month
• 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…
  ☆11Updated 5 months ago
• atolab / zhe
  Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking
  ☆52Updated 4 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆72Updated 3 years ago
• tungminhphan / traffic-intersection
  This is an example of the design-by-contract method
  ☆14Updated 3 years ago
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆40Updated last year
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆48Updated 3 months ago
• MOBATSim / MOBATSim
  MOBATSim (Model-based Autonomous Traffic Simulation Framework)
  ☆77Updated 10 months ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• ioannismavromatis / DRIVE_Simulator
  DRIVE: A Digital Network Oracle for Cooperative Intelligent Transportation Systems
  ☆15Updated 3 years ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆21Updated 5 years ago
• TUMFTM / AV_Driving_Cycles
  This tool develops driving cycles for specific driving style properties (comfort, consumption, fastness, subjective safety) of AVs.It is …
  ☆13Updated 3 years ago
• AuroAi / learning-to-drive
  A Beginners Guide to Deep RL for Autonomous Vehicles
  ☆21Updated 5 years ago
• cmu-rss-lab / rosdiscover
  ☆18Updated 2 years ago
• eProsima / xtypes
  Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)
  ☆24Updated 2 years ago
• JaRei / sinadra
  ☆22Updated 4 years ago
• andresmendes / openvd
  Open source simulation package for Octave/Matlab
  ☆72Updated 3 years ago