juli1 / aadl-bookLinks
Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
☆13Updated 8 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:
- OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.☆81Updated last year
- C++ FMUs☆16Updated 3 years ago
- A tiny framework to wrap algorithms for dataflow programming☆40Updated last year
- Library of AADL models☆45Updated last year
- SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…☆16Updated last year
- Cloe☆49Updated last year
- 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
- ☆11Updated 3 months ago
- ROS-Industrial docker and cloud tools☆22Updated 4 years ago
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.☆35Updated 6 months ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- Eclipse ADORe is a ROS 1 based modular software library and toolkit for decision making, planning, control and simulation of automated ve…☆54Updated 2 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆123Updated last week
- Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)☆22Updated last year
- Compositional Performance Analysis in Python☆21Updated 4 years ago
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆52Updated 4 years ago
- OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.☆40Updated 2 months ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆17Updated last week
- ☆10Updated 5 years ago
- Temporal Logic Planning toolbox☆122Updated last week
- ☆18Updated 2 years ago
- Scripts for Lectures on Network Systems - Francesco Bullo☆16Updated 2 years ago
- This is an example of the design-by-contract method☆14Updated 2 years ago
- Project for multi-UAV cooperative decision making☆58Updated this week
- read and write simulink model in python☆50Updated last year
- Learn how to develop a plugin for PlotJuggler, by example.☆16Updated 2 years ago
- This is a C++ repository containing various algorithms implemented by me for solving robotics problems☆15Updated 4 years ago
- Python interfacing for multiprocess software - A Python blanket for ROS to hide inside☆26Updated 7 years ago
- Repository with windows libraries used in SUMO project☆26Updated last month