Alternatives and similar repositories for aadl-book:

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

• 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 4 months ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 5 months ago
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆41Updated 3 months ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 2 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
• Elektrobit / eb-guide-examples
  Code examples for EB GUIDE
  ☆11Updated 3 years ago
• lu-w / auto
  The Automotive Urban Traffic Ontology
  ☆12Updated 7 months ago
• tungminhphan / traffic-intersection
  This is an example of the design-by-contract method
  ☆14Updated 2 years ago
• JaRei / sinadra
  ☆22Updated 3 years ago
• ptroja / spark-navigation
  Robot navigation algorithms implemented in SPARK
  ☆11Updated 10 years ago
• cmu-sei / emfta
  EMF-based Fault-Tree Analysis Tool
  ☆57Updated 7 years ago
• Luxoft / Safe-Renderer
  Luxoft Automotive HMI Safe Renderer
  ☆26Updated 4 years ago
• ezapridou / carla-acc
  Runtime Verification of Autonomous Driving Systems in CARLA
  ☆27Updated 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 last year
• OpenAADL / AADLib
  Library of AADL models
  ☆43Updated 4 months ago
• steventen / Simulink-Model-Parsing-Tools
  read and write simulink model in python
  ☆46Updated 8 months ago
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 2 months ago
• DLR-TS / tsc
  coupling TAPAS and SUMO
  ☆9Updated 2 months ago
• cmu-rss-lab / rosdiscover
  ☆16Updated last year
• rdmpage / graph-template-library
  GTL (Graph Template Library) is a STL based library, which provides necessary classes and algorithms for the work with graphs.
  ☆20Updated 2 years ago
• ttsiodras / DataModellingTools
  The Data Modelling Tools of the European Space Agency's TASTE toolchain
  ☆18Updated 3 years ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated last year
• COVESA / franca_ara_integration
  Franca to ARA interface integration and demo code
  ☆26Updated 5 years ago
• ErwindeGelder / ScenarioDomainModel
  ☆26Updated 2 years ago
• ErwindeGelder / ScenarioRiskQuantification
  ☆10Updated 2 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 11 months ago
• ika-rwth-aachen / SimDriver
  A responsive driver model for traffic simulations to create exact and closed-loop microscopic traffic scenarios.
  ☆14Updated last year
• 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
• insooth / autosar-adaptive
  Implementation of the AUTOSAR Adaptive Platform specifications
  ☆33Updated 4 years ago
• cogu / amber
  Simulated AUTOSAR OS runtime for Linux and Windows
  ☆14Updated 2 years ago