Open AccessBook
Real-Time Systems and Programming Languages
Alan Burns,Andy Wellings +1 more
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
Towards formally verifiable WCET analysis for a functional programming language
Kevin Hammond,Christian Ferdinand,Reinhold Heckmann,Roy Dyckhoff,Martin Hofmann,Steffen Jost,Hans-Wolfgang Loidl,Greg Michaelson,Robert F. Pointon,Norman Scaife,Jocelyn Serot,Andrew M. Wallace +11 more
TL;DR: An approach in which high-level information derived from source-code analysis can be combined with worst-case execution time information obtained from high quality abstract interpretation of low-level binary code is outlined.
Journal ArticleDOI
Real Time Fault Detection and Isolation: A Comparative Study
Shahrzad Hekmat,Reza Ravanmehr +1 more
TL;DR: Different methods of fault detention and isolation in real-time system are studied and evaluated and type and content of this information has a main role to monitor and control real- time system and must be selected in such a way to determine the overall system status in normal and abnormal conditions.
Dynamic QoS Management in Distributed Real-Time Embedded Systems.
TL;DR: In this paper, the authors present a distributed real-time embedded (DRE) system that combines the stringent quality of service (QoS) requirements of traditional closed embedded systems with the challenges of the dynamic conditions associated with being widely distributed across an often volatile network environment.
Integrating Real-Time UML Models with Schedulability Analysis
TL;DR: An overview of UML with its real-time extensions and the Rate Monotonic Analysis is provided and how to perform schedulability analysis of a UML model is shown and the implications of having timing analysis applied to UML designs are discussed.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more