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
Proceedings ArticleDOI
Mixed criticality systems with weakly-hard constraints
TL;DR: A new scheduling policy is presented, Adaptive Mixed Criticality - Weakly Hard, which provides a guaranteed minimum quality of service for low criticality tasks in the event of a criticality mode change and derives response time based schedulability tests for this model.
Proceedings ArticleDOI
A profile for high-integrity real-time Java programs
Peter Puschner,A. Wellings +1 more
TL;DR: A simple subset of tasking and object oriented features of the Real-Time Specification for Java that support high-integrity real time applications that facilitate the development of efficient applications whose temporal behavior needs to be exactly predictable.
Proceedings ArticleDOI
A logical analysis of aliasing in imperative higher-order functions
TL;DR: The program logic extends earlier logic for alias-free imperative higher-order functions with new modal operators which serve as building blocks for clean structural reasoning about programs and data structures in the presence of aliasing.
Proceedings ArticleDOI
Model-based schedulability analysis of safety critical hard real-time Java programs
TL;DR: Experiments show that model-based schedulability analysis can result in a more accurate analysis than possible with traditional approaches, thus systems deemed non-schedulable by traditional approaches may in fact be schedulable, as detected by the analysis.
Proceedings ArticleDOI
Task scheduling for heterogeneous reconfigurable computers
TL;DR: An implementation of a placer module as well as investigations on task preemption are presented in this work, part of an operating system for reconfigurable system currently under development.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more