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
Power efficient rate monotonic scheduling for multi-core systems
TL;DR: A technique to find the lowest core speed to schedule individual tasks and guarantees that all the tasks fulfill their deadlines and the overall system energy consumption is reduced.
Proceedings Article
gCSP: A Graphical Tool for Designing CSP systems
TL;DR: Certain issues of developing a design environment for building systems based on CSP depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview.
Proceedings ArticleDOI
Implementing time-predictable load and store operations
Jack Whitham,Neil Audsley +1 more
TL;DR: The SMMU implements an alternative solution to the pointer aliasing and pointer invalidation problems which does not require whole-program pointer analysis and makes every memory access operation time-predictable.
Journal ArticleDOI
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study
TL;DR: The modeling aspects were found to be straightforward, but to accomplish the necessary model checking required some knowledge of the underlying process, Nevertheless, the conclusion of the study is that these techniques are generally applicable and be can be undertaken in an engineering context without detailed domainknowledge of the model checking technique.
Proceedings ArticleDOI
Hardware Objects for Java
TL;DR: This work investigates a safe and efficient mechanism to represent I/O devices as first class Java objects, where device registers are represented by object fields, and implements hardware objects, which provide an object-oriented abstraction of low-level hardware devices.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more