Alternatives and similar repositories for aadl-book

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

• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 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 last month
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated this week
• 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
• steventen / Simulink-Model-Parsing-Tools
  read and write simulink model in python
  ☆47Updated 10 months ago
• eProsima / xtypes
  Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)
  ☆21Updated last year
• rticommunity / rticonnextdds-connector-py
  RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.
  ☆34Updated last week
• 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
• robotology / blockfactory
  A tiny framework to wrap algorithms for dataflow programming
  ☆41Updated 5 months ago
• intel / dps-for-iot
  ☆62Updated 2 years ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆12Updated this week
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆19Updated last year
• etas / ascet-workflows-demo
  Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.
  ☆11Updated 5 months ago
• chalmers-revere / opendlv
  OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.
  ☆80Updated last year
• Elektrobit / eb-guide-examples
  Code examples for EB GUIDE
  ☆11Updated 3 years ago
• eclipse / cloe
  Cloe
  ☆48Updated 7 months ago
• ErwindeGelder / ScenarioDomainModel
  ☆26Updated last week
• 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
• eProsima / Micro-CDR
  ☆42Updated 7 months ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆34Updated last year
• ErwindeGelder / ScenarioRiskQuantification
  ☆10Updated 2 years ago
• atolab / zhe
  Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking
  ☆51Updated 4 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
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆30Updated 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 this week
• Wind-River / vxworks7-layer-for-ros2
  ROS2 for VxWorks
  ☆20Updated 2 months ago
• usdot-fhwa-stol / carma-1-tenth
  Coming Soon. CARMA 1Tenth will operate CARMA Platform on a scaled down vehicle that utilizes open source software (OSS) to enable develop…
  ☆12Updated 7 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
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆108Updated last year
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last week