The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive system.
☆11Mar 18, 2022Updated 4 years ago
Alternatives and similar repositories for mobstr-dataset
Users that are interested in mobstr-dataset are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is accompanying data for the paper "A Functional Safety Assessment Method for Cooperative Automotive Architecture" - https://arxiv.o…☆14May 2, 2021Updated 5 years ago
- Eclipse Pullpiri provides efficient vehicle service orchestrator framework to realize the potential benefits of cloud native technologies…☆14Oct 21, 2026Updated 2 weeks ago
- MATLAB Simulink Based Fault Tree Analyzer☆10Mar 12, 2024Updated 2 years ago
- ☆11Apr 23, 2021Updated 5 years ago
- ☆14Apr 23, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Using OpenAI API with Google Gemini Flash 2.0☆12Mar 10, 2025Updated last year
- A repository containing a collection of Java practice problems focused on the usage of the Collections framework in Java 8. These problem…☆19Jul 23, 2024Updated 2 years ago
- The EMFText Syntax Zoo contains a collection of more than 100 text syntaxes defined with EMFText's CS language.☆10Sep 16, 2013Updated 13 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆29Updated this week
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Apr 3, 2024Updated 2 years ago
- LLVM assembly syntax highlighting and snippets☆15Jan 24, 2026Updated 9 months ago
- Repository to store the code developed in the context of the Safety Architecture WG☆23Jul 17, 2026Updated 3 months ago
- An unofficial Yale-University-branded theme for LaTeX Beamer.☆10Jun 16, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An extension for VS Code supporting the Alloy modelling language☆11Dec 8, 2022Updated 3 years ago
- Workflows for Hardware in the Loop (HIL) testing using Zephyr's Twister framework☆25Dec 13, 2024Updated last year
- Golang Product App For "Golang In One Video" on "Yazılım Bilimi" Youtube Channel☆17Dec 2, 2023Updated 2 years ago
- ☆18Jun 14, 2025Updated last year
- 人脸识别SDK 采用C++编写，支持两张照片进行比对1:1，以及1：N 人脸搜索☆12Nov 23, 2014Updated 11 years ago
- ☆10Jan 26, 2014Updated 12 years ago
- Automated Question-Answering Over Knowledge Graphs in O&M of Wind Turbines☆14Aug 16, 2022Updated 4 years ago
- conversation telegram bot☆10Dec 26, 2019Updated 6 years ago
- Adding trace to DesignStart for easier side-channel analysis on the CW305 target. Also supports PhyWhisperer.☆18Feb 19, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Multi module project using Maven and Java Spring Boot☆17Oct 9, 2023Updated 3 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- 利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket☆11Jul 17, 2020Updated 6 years ago
- Code for CHI'23 - DeepLens☆10Sep 22, 2023Updated 3 years ago
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 8 months ago
- 南航（南京航空航天大学）即选即中抢课程序☆12Jul 9, 2021Updated 5 years ago
- A C++ RDP implement, base RDPY☆17Jun 2, 2024Updated 2 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- NUAA操作系统实验课☆10Jun 23, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Credit finance application☆23Aug 8, 2024Updated 2 years ago
- The OpenCAESAR website☆13Sep 28, 2026Updated last month
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- clock_plot provides a simple way to visualize timeseries data, mapping 24 hours onto the 360 degrees of a polar plot☆15Apr 5, 2022Updated 4 years ago
- Performance-optimized container images for building Nordic nRF Connect SDK applications.☆14Aug 26, 2026Updated 2 months ago
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆11Jun 12, 2020Updated 6 years ago
- ☆19Updated this week