Tools for Patching the Rasbian kernel with RT-Preempt.
-
Updated
Aug 26, 2019 - Jupyter Notebook
Tools for Patching the Rasbian kernel with RT-Preempt.
Coursera Development of Real-Time Systems Course Assignments
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
Real-Time Gang Scheduling in Linux
Tracking conferences in Real-time Systems, Embedded Systems, Design Automation, Cyber-Pyhsical Systems, and Robotics
sync2brain's bossdevice RESEARCH Application Programmable Interface (API) for MATLAB
🌀 Microkernel Real-Time Operating System in Rust
EfficientNet-Absolute Zero for Continuous Speech Keyword Spotting
Constant-time dynamic memory allocator in Rust
Tools & data: Performance Tests on Raspberry PI 3B, 3B+ and 4B
Discrete-time PID controllers in Julia
Sources and documents for KIV/OS (Operating Systems) course - development of Raspberry Pi Zero W (BCM2835) operating system.
SkyPulseUAV is a groundbreaking real-time embedded system project, specifically designed to enhance the capabilities of unmanned aerial vehicles (UAVs) in critical scenarios such as fire detection, earthquake rescue, and terrain exploration.
Implementation of light baking system for ray tracing
Implementation of the reduced CPU energy scheduling model proposed by Yao, Demers and Shenker
Take control of liquid tanks with our intuitive tank simulator game!
Elevator lab assignment in course TTK4145 Real-time Programming at NTNU.
A simple SMT-based schedule generator for cyclic executives of real-time tasks
SmartPark - IoT-based intelligent garage system for real-time parking management and enhanced security with Spring Boot, Flutter and PostgreSQL(Cloud)
Assignments of coursera course: https://www.coursera.org/learn/real-time-systems
Add a description, image, and links to the real-time-systems topic page so that developers can more easily learn about it.
To associate your repository with the real-time-systems topic, visit your repo's landing page and select "manage topics."