DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Rodos (operating system)
Rodos (operating system)
Mull It Over: Mutation Testing Based on LLVM
A Comparative Survey on Flight Software Frameworks for 'New Space'
Integrated Solution for Rapid Development of Complex Gnc Software
Source Code Verification for Embedded Systems Using Prolog
Software Evolution from TET-1 to Eu:CROPIS
Performance Optimization Strategies for Transactional Memory Applications
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
Design and Implementation of Multi-Core Support for an Embedded Real-Time Operating System for Space Applications
RODOS Real Time Kernel Design for Dependability
Luna Gräfje – Embedded Software Engineer
Event-Driven Multithreading Execution Platform for Real-Time On-Board Software Systems
Jrodos User Guide
RODOS Porting Guide
Unified Monitoring of Spacecrafts
Space and Time Partitioning with Hardware Support for Space Applications
Proceedings of OSPERT 2017
Embedded Logging Framework for Spacecrafts
Bruce R. Childers
Top View
Networkcentric Core Avionics RODOS
Proceedings 20 International Parallel and Distributed Processing
OBC-NG Concept and Implementation
Integrated Solution for Rapid Development of Complex Gnc Software
Implementing RTOS in Self-Leveling Stewart Platform Intermediate Project
Department of Informatics
E-LETTER on Systems, Control, and Signal Processing Issue 358 June 2018
Mull It Over: Mutation Testing Based on LLVM
Diss Baetz.Pdf
Code Generation from On-Board Software Models Conforming to the On-Board Software Reference Architecture (OSRA) Using DLR Software Technologies
Design and Implementation of Multi-Core Support for an Embedded Real-Time Operating System for Space Applications