Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
☆16Jul 9, 2017Updated 9 years ago
Alternatives and similar repositories for aadl-book
Users that are interested in aadl-book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simulated AUTOSAR OS runtime for Linux and Windows☆16Jul 12, 2022Updated 4 years ago
- BDI agent codes for autonomous vehicle platooning☆10Aug 29, 2018Updated 8 years ago
- This is a collection of modifactions for GTA5 to transform the game into a driving simulator. Find more information in the poster-paper a…☆12Feb 21, 2017Updated 9 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- A responsive driver model for traffic simulations to create exact and closed-loop microscopic traffic scenarios.☆15Aug 4, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A oversampling approach☆11Nov 21, 2018Updated 7 years ago
- ROS2 based platform for coordinating tests of automated vehicles and their surrounding systems.☆19Oct 15, 2026Updated 3 weeks ago
- The Automotive Urban Traffic Ontology☆14Aug 20, 2024Updated 2 years ago
- SMIRK is an experimental pedestrian emergency breaking ADAS facilitating research on quality assurance of critical components that rely o…☆19Feb 26, 2024Updated 2 years ago
- The repository provides a template ontology and scripts to create OpenSCENARIO-compatible corner case scenarios in simulation.☆18Dec 4, 2025Updated 11 months ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆16Sep 3, 2020Updated 6 years ago
- A Python library for reading, writing and visualizing the OMEGA Format, targeted towards storing reference and perception data in the aut…☆22May 6, 2025Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- This repo contains scenarios from different source for training and testing autonomous vehicles.☆28Mar 20, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PythonRoboticsPaper☆18Sep 3, 2018Updated 8 years ago
- Complete* list of autonomous driving related datasets☆26May 21, 2024Updated 2 years ago
- Cybertron is a key system originally maintained by baidu CarOS team and continuously merged into apollo.auto code base. This repo is made…☆28Sep 16, 2022Updated 4 years ago
- A driving simulator, using SUMO generated data of actual roads and cars rendered in Unity.☆30Jan 24, 2017Updated 9 years ago
- Integration of CarMaker with project ASLAN, open-source autonomous software for low-speed applications.☆36Sep 24, 2021Updated 5 years ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Oct 5, 2026Updated last month
- This is an example parser written in flex and bison☆12May 7, 2012Updated 14 years ago
- jStar is a verification tool based on separation logic.☆10Apr 11, 2016Updated 10 years ago
- ReviveIT (revit) is a proof of concept file recovery tool (carver)☆13Dec 3, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Julia package for handling the Next Generation Simulation (NGSIM) traffic dataset☆40Nov 7, 2019Updated 7 years ago
- Sample app demoing using Cloudstate to build a chat application in Node.js☆11Mar 11, 2022Updated 4 years ago
- Using Canny edge detector, Hough transform and RANSAC to locate the vanishing point in images☆11Jan 1, 2022Updated 4 years ago
- Scenario Gym: a scenario-centric lightweight simulator☆47May 19, 2025Updated last year
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆49Aug 22, 2024Updated 2 years ago
- Repository for the model used in the paper "Collaborative Model-Based Systems Engineering using Dataspaces and SysML v2"☆12Jul 4, 2025Updated last year
- The main source code of RCE, a distributed, workflow-driven integration environment☆12Oct 15, 2026Updated 3 weeks ago
- Slides of Italian C++ Conference 2021☆11Jul 13, 2021Updated 5 years ago
- qmake project highlighting support for the Vim editor☆17Dec 2, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CACC VISSIM 2.0 Algorithm is designed to simulate close-spaced CACC platoons in VISSIM using the COM interface and VISSIM API. This appli…☆12Oct 13, 2020Updated 6 years ago
- A website dedicated to alternatives to npmjs.com☆14Dec 20, 2019Updated 6 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Oct 30, 2026Updated last week
- Modified Mälardalen WCET benchmarks, annoted with instruction timing☆10Jun 12, 2019Updated 7 years ago
- Conversion tools for grub's awful PFF2/pf2 font format.☆11May 28, 2023Updated 3 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆15Aug 4, 2026Updated 3 months ago
- Open Source bits of the core utilities used in PyVmMonitor (http://www.pyvmmonitor.com/)☆12Aug 26, 2024Updated 2 years ago