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
A multiprocessor real-time scheduling simulation tool
TL;DR: RealtssMP is introduced, a tool to perform scheduling analysis and simulation of multiprocessor real-time scheduling algorithms and has shown to be helpful in the evaluation of the performance of existing and new scheduling algorithms.
Adaptive Real-time Anomaly Detection for Safeguarding Critical Networks
TL;DR: This thesis presents ADWICE (Anomaly Detection With fast Incremental Clustering) and applies it to publicly available network data to compare the approach to related works with similar approaches and results in a high detection rate at reasonable false positives rate.
Proceedings ArticleDOI
Asynchronous event handling and safety critical Java
Andy Wellings,MinSeong Kim +1 more
TL;DR: By basing the SCJ classes on the RTSJ's BoundAsyncEvent class, some inconsistencies exist, and some of the optimization that are possible when mapping handlers to server threads are inhibited, even though the programming restrictions necessary for these optimization are imposed by theSCJ specification.
Proceedings ArticleDOI
Techniques for reducing read latency of core bus wrappers
TL;DR: This paper introduces a technique for automatically designing a pre-fetch unit that satisfies user-imposed register-access constraints, and extends the technique to allow user-specified register interdependencies, using a Petri net model, resulting in even more efficient pre-Fetch schedules.
Dissertation
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation
TL;DR: This thesis presents a novel approach to model checking ASMs that directly supports them by utilizing their notion of run and enables the approach to present counterexamples and witnesses directly as sequences of ASM states, to be easily extendable, and at the same time supports the whole CoreASM syntax.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more