juli1 / aadl-bookLinks
Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
☆13Updated 7 years ago
Alternatives and similar repositories for aadl-book
Users that are interested in aadl-book are comparing it to the libraries listed below
Sorting:
- DSL schemas parser and code generators for CommsChampion Ecosystem☆21Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 2 months ago
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Updated 3 years ago
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆51Updated 4 years ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆10Updated last week
- Robot navigation algorithms implemented in SPARK☆12Updated 10 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆16Updated this week
- ☆12Updated 4 years ago
- A tiny framework to wrap algorithms for dataflow programming☆41Updated 6 months ago
- C++ FMUs☆16Updated 2 years ago
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆11Updated last year
- Cross-platform Python based software in the loop simulation for object tracking and general quadcopter simulations using custom pure-Pyth…☆24Updated 3 years ago
- SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…☆16Updated last year
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated 2 months ago
- Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)☆21Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- A docker image with CMake, g++ and clang++☆21Updated 2 months ago
- qpDUNES - an implementation of the DUal NEwton Strategy for quadratic programming☆24Updated 8 years ago
- ☆62Updated 2 years ago
- OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.☆29Updated 2 years ago
- A set of CMake modules that are used by the C++-based Gazebo projects.☆28Updated last month
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated last year
- Cloe☆48Updated 7 months ago
- OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.☆82Updated last year
- Library of AADL models☆45Updated 7 months ago
- This is an example of the design-by-contract method☆14Updated 2 years ago
- ROS-Industrial docker and cloud tools☆22Updated 3 years ago
- ☆17Updated last year
- RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.☆35Updated last month
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 9 years ago