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
Book ChapterDOI
Rigorous component-based system design
TL;DR: This paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework that relies on several, tool-supported, source-to-source transformations allowing to progressively and correctly transform high level application software towards efficient implementations for specific platforms.
Proceedings ArticleDOI
Slicing Concurrent Programs Based on Program Reachability Graphs
TL;DR: A novel representation, thread interaction reachability graph (TIRG), for concurrent programs with shared memory, interleaving semantics and mutual exclusion, based on TIRG is proposed and a new dependence graph (MSDG) is constructed, where each node is a 2-tuple composed of program state and statement.
Proceedings ArticleDOI
Distributed object-oriented real-time systems using a hybrid model of Ada 95's built-in distributed capability and emerging real-time CORBA capabilities
TL;DR: The paper reports on the issues in design and development of object oriented real time distributed systems using Ada 95 including the new technologies present in Ada 95 through DSA (Distributed Systems Annex-E) and extended with CORBA (Common Object Request Broker Architecture) capabilities.
Book ChapterDOI
A qualitative methodology for tailoring SPE activities in embedded platform development
TL;DR: In this article, a qualitative methodology for tailoring process activities to a specific organization is presented, which is used in case study performed in a large company that develops embedded platforms, and a number of suggestions for modification and addition of process activities has been brought forward as a result of the study.
Design and implementation of a real-time embedded application
Thomas Baron,Philippe Jean +1 more
TL;DR: This report implements an industrial case that illustrates the use of an implementation of the Ravenscar-Java Profile and states the steps of the development of a real-time embedded application using the Object-Oriented Analysis & Design method.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more