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
Chameneos, a concurrency game for Java, Ada and others
TL;DR: A peer-to-peer cooperation paradigm and several implementations of this concurrency paradigm, expressed as a game, and the concurrent programming structures of Java, Ada and Posix and the coloured Petri nets formalism are summarized.
Journal ArticleDOI
Prefetching for improved bus wrapper performance in cores
Roman Lysecky,Frank Vahid +1 more
TL;DR: The technique is extended to allow user-specified register interdependencies, using a Petri net model, resulting in even more efficient prefetch schedules, and a technique for automatically designing a prefetch unit that satisfies user-imposed register-access constraints.
Journal ArticleDOI
Modeling hard real time systems with UML the OOHARTS approach
Laila Kabous,Wolfgang Nebel +1 more
TL;DR: This paper proposes the approach, which enables the development of hard real time systems using UML and other notations enabling both the analysis of the functional requirements as well as theAnalysis of the non-functional requirements.
Proceedings ArticleDOI
Hardware compilation of sequential ada
Michael R. Ward,Neil Audsley +1 more
TL;DR: This paper describes a compiler for a sequential subset of Ada95, concentrating upon compilation of subprograms and statements, and it is shown how the resulting circuits give simple timing analysis.
Proceedings ArticleDOI
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound
TL;DR: This work study several fundamental problems in multiprocessor scheduling, namely the critical instant, bounded responsiveness, and utilization bound, which are a constantly increasing trend of deploying real-time systems on multi-core platforms.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more