Open AccessBook
Real-Time Systems and Programming Languages
Alan Burns,Andy Wellings +1 more
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
Improving the Verification of Real-Time Systems Using Time Petri Nets
TL;DR: This paper presents an alternative algorithm—based on reachability—to treat the real-time verification of discrete systems, based on an enumerative technique to generate the complete state space that leads to better results when compared to other available techniques.
Dissertation
Integración de un modelo de tiempo real en middleware configurable para sistemas distribuidos.
TL;DR: In this paper, the authors describe the integration of the end-to-end flow real-time model, which is defined in the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard, into distribution middleware, as it can facilitate the development process of distributed realtime systems based on the Model-Driven Engineering (MDE) paradigm.
Proceedings ArticleDOI
Load balancing real-time periodic task scheduling algorithm for multiprocessor enviornment
Divya Jain,Sushil Chandra Jain +1 more
TL;DR: The proposed LBPSA (Load Balanced Partitioning and Scheduling Algorithm) uses an upper threshold, a lower threshold and average utilization of processors for load balancing and offers good and almost stable load mean square error under all load conditions.
Dissertation
Design and Implementation of a Reliable Transport Layer Protocol for NUTS
TL;DR: The protocol, named NUTS reliable protocol (NRP), features segmentation of large payloads, error detection, and error correction through retransmission of corrupt data, and has been tested and the results have been discussed, concluding a successful design and implementation of a transport layer protocol for the NUTs CubeSat mission.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more