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
Management of QoS in Distributed MPEG Video Systems
TL;DR: This work proposes a QoS-sensitive approach that is using the technique of imprecise computation and is based on the principle of tuning to provide the best possible QoS to the clients in the current available network capacity.
Journal Article
Building the Reliability Prediction Model of Component-Based Software Architectures
TL;DR: The reliability prediction model of component-based software architectures is proposed and the value of the model is shown through the experimental evaluation on a web server system.
Dissertation
Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos
TL;DR: In this article, a tesis doctoral for the verificación formal de business process models is presented, in which the authors present a model-based approach for the verification of business process modelling notation.
Journal ArticleDOI
Real-time application mapping for many-cores using a limited migrative model
TL;DR: This work formulated the problem of real-time application mapping on a many-core platform using $$ LMM $$LMM, and proposed a three-stage method to solve it, and extended version of the existing analysis is used to assure that derived mappings guarantee the fulfilment of timing constraints posed on worst-case communication delays of individual applications.
Journal ArticleDOI
Timing analysis and validation with UML: the case of the embedded MARS bus manager
TL;DR: The purpose is to show how automata-based timing analysis and verification tools can be used by field engineers for solving isolated hard points in a complex real-time design, even if the press-button verification of entire systems remains a remote goal.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more