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
Book ChapterDOI
Introduction to real-time systems
TL;DR: This chapter outlines the source of some of the problems which programmers and engineers are likely to encounter and provides a set of guidelines for identifying potential real-time systems by looking at a number of their characteristics.
Book ChapterDOI
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
TL;DR: A system model is presented in which a relatively small number of high-integrity tasks are scheduled by FP, with the rest of the tasks being handled via an EDF domain of lower priority.
Proceedings ArticleDOI
Inter-task communication and synchronization in the hard real-time compact kernel HARETICK
TL;DR: This paper focuses on the inter-task communication and synchronization techniques involving the two types of tasks previously mentioned, and a highly predictable synchronous serial communication interface implemented on an ARM7-based HARETICK platform is presented and discussed.
Modelo para Tiempos de Arribo de Tareas en Tiempo real Concurrentes
TL;DR: A MATHEMATICAL MODEL for the representation of Arrival times of CONCURRENT REAL-TIME TASKS is treated and an instability analysis is proposed.
Dissertation
Principled tuning and structuring methods for sensornets
TL;DR: It is argued that properties of sensornet behaviour can be measured and quantified such that objective evaluation and comparison among the set of candidate configurations is feasible, and significant improvements in measurable attributes of sensORNet behaviourCan be obtained through appropriate design decisions in network protocol selection and logical configuration.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more