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:
- SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…☆16Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆70Updated 3 years ago
- C++ FMUs☆16Updated 3 years ago
- Open Source AADL2 Tool Environment☆46Updated this week
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆109Updated last year
- RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with Python.☆35Updated last month
- Library of AADL models☆45Updated 8 months ago
- Cloe☆48Updated 8 months ago
- A tiny framework to wrap algorithms for dataflow programming☆41Updated 7 months ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆10Updated this week
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated 2 months ago
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆51Updated 4 years ago
- ☆62Updated 2 years ago
- Sireum: A High Assurance System Engineering Platform☆12Updated this week
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆16Updated 3 weeks ago
- OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.☆82Updated last year
- Eclipse ADORe is a ROS based modular software library and toolkit for decision making, planning, control and simulation of automated vehi…☆53Updated last year
- ☆53Updated 2 years ago
- ☆17Updated last year
- The Automotive Urban Traffic Ontology☆13Updated 10 months ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆35Updated last week
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆11Updated last year
- Robot navigation algorithms implemented in SPARK☆12Updated 10 years ago
- read and write simulink model in python☆47Updated last year
- Examples and case-study that use OSATE☆57Updated 3 months ago
- OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.☆29Updated 3 years ago
- Library to simulate the Precision Time Protocol (PTP, IEEE 1588) in OMNeT++☆34Updated 3 years ago
- This document specifies the ways in which sensor models are to be packaged for use in simulation environments with FMI 2.0☆43Updated 8 months ago
- Temporal Logic Planning toolbox☆120Updated 2 months ago
- Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)☆20Updated this week