juli1 / aadl-book
Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for aadl-book
- C++ FMUs☆15Updated 2 years ago
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆10Updated last year
- read and write simulink model in python☆42Updated 4 months ago
- SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…☆16Updated 8 months ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆10Updated last week
- ☆12Updated 3 years ago
- EMF-based Fault-Tree Analysis Tool☆55Updated 6 years ago
- Eclipse ADORe is a ROS based modular software library and toolkit for decision making, planning, control and simulation of automated vehi…☆50Updated 7 months ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆16Updated 2 weeks ago
- A Java library for Publish/Subscribe messaging over DDS using Fast-DDS (https://github.com/eProsima/Fast-DDS)☆17Updated 2 weeks ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated last month
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆50Updated 3 years ago
- ROS2 for VxWorks☆19Updated this week
- Library to simulate the Precision Time Protocol (PTP, IEEE 1588) in OMNeT++☆29Updated 3 years ago
- OpenTrafficLab is a MATLAB environment capable of simulating simple traffic scenarios with modular vehicle and junction controllers.☆27Updated 2 years ago
- Now available! Cloud-based open source software (OSS) that enables infrastructure cooperation with automated driving technology through T…☆24Updated last month
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆11Updated 2 years ago
- Prototyping of an SSP Traceability Layered Standard☆11Updated last week
- This is accompanying data for the paper "A Functional Safety Assessment Method for Cooperative Automotive Architecture" - https://arxiv.o…☆10Updated 3 years ago
- This is an example project to demonstrate how one can easily scale simulation runs with docker containers☆10Updated 10 months ago
- PACMod Board Rev 3 Driver☆25Updated last year
- OpenDLV - A modern microservice-based software ecosystem powered by libcluon to make vehicles autonomous.☆80Updated 6 months ago
- ROS-Industrial docker and cloud tools☆22Updated 3 years ago
- Code examples for EB GUIDE☆11Updated 2 years ago
- The Automotive Urban Traffic Ontology☆12Updated 3 months ago
- Linux kernel modules for secure sharing of memory buffers☆30Updated last year
- Coming Soon. CARMA 1Tenth will operate CARMA Platform on a scaled down vehicle that utilizes open source software (OSS) to enable develop…☆12Updated last month
- Tool to test the performance of pub/sub based communication frameworks.☆13Updated 2 months ago