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 Simulation Environment for Nuclear Power Plants
Manuel Díaz,Daniel Garrido +1 more
TL;DR: A simulation environment composed by a simulation kernel and supported by a set of tools and simulation models that allow the real-time simulation of the control room of nuclear power plants and the lessons learned from the utilization of CORBA and Real-time CORBA are shown.
Journal ArticleDOI
Building high-integrity distributed systems with Ravenscar restrictions
Santiago Urueña,Juan Zamorano +1 more
TL;DR: The restrictions and additions to the language needed to certify and obtain the required predictability and timeliness in a high-integrity hard real-time Ada distributed application.
Proceedings ArticleDOI
Real-time education in a control engineering curriculum
TL;DR: In the control engineering curriculum at the Universidad Politecnica de Valencia there is a strong interaction between control and real-time courses as discussed by the authors, and the laboratory provides a novel structure in order to show to the students the capabilities of the new technologies.
Journal ArticleDOI
Analysis and optimisation of heterogeneous real-time embedded systems
Paul Pop,Petru Eles,Zebo Peng +2 more
TL;DR: The authors present a schedulability analysis for safety-critical applications distributed on multi-cluster systems and briefly highlight characteristic design optimisation problems: the partitioning and mapping of functionality, and the packing of application messages to frames.
Journal ArticleDOI
Variable strength combinatorial testing of concurrent programs
TL;DR: This paper proposes a merging algorithm that implements the variable strength combinatorial testing strategy, which can keep the same capability of fault detection as exhaustive reachability testing while substantially reducing the number of synchronization sequences and decreasing the execution time in most cases.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more