Open AccessBook
Real-Time Systems and Programming Languages
Alan Burns,Andy Wellings +1 more
Reads0
Chats0
TLDR
An introduction to Real-Time System Design and real-Time system programming in the Smal Programmin and the Larg Reliability and Fault Toleranc Exceptions and Exception Handlin Concurrent Programmin.Abstract:
Introduction to Real-Time System Designing Real-Time System Programming in the Smal Programmin gin the Larg Reliability and Fault Toleranc Exceptions and Exception Handlin Concurrent Programmin Shared Variable-Based Synchronization and Communication Message-Based Synchronization and Communicatio Atomic Actions, Concurrent Processes and Reliabilit Resource Contro Real-Time Facilitie Schedulin Distributed System Low-Level Programmin The Execution Environmen A Case Study in Adaread more
Citations
More filters
Journal ArticleDOI
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler
TL;DR: A novel approach based on bounded model checking for the deterministic scheduler based cooperative software is described and developed and experimental results indicate that the approach is a scalable and efficient technique for this type of cooperative software.
Journal ArticleDOI
Exceptions in a Programmable Logic Controller implementation based on ADA
Inmaculada Plaza,Carlos Medrano +1 more
TL;DR: It is concluded that ADA is a suitable target language for PLC by proposing ADA-like exception statements in IEC languages and showing an implementation of the error tasks that are explained in part 8 of IEC 61131 standard.
Model Based Fault Isolation for Object-Oriented Control Systems
TL;DR: Algorithms and methods are outlined that use the explanation model and the error condition taxonomy together with a structural system model to form a cause-effect relation on the error messages, that can be used to find the most significant error message(s) in a fault scenario.
Dissertation
A flight software development and simulation framework for advanced space systems
John Enright,David W. Miller +1 more
TL;DR: This thesis presents the development and validation of a middleware system tailored to spacecraft flight software development, called the GFLOPS Rapid Real-time Development Environment (GRRDE), which provides publish-subscribe communication services between software components.
Proceedings ArticleDOI
Combining EDF Scheduling with occam using the Toc Programming Language
Martin Korsgaard,Sverre Hendseth +1 more
TL;DR: Toc is an experimental programming language that builds on occam, keeping occam's concurrency mechanisms, while fundamentally changing its concept of time, to create a scheduling effect similar to priority inheritance.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more