scispace - formally typeset
Open AccessBook

Real-Time Systems and Programming Languages

Alan Burns, +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 Ada

read more

Content maybe subject to copyright    Report

Citations
More filters

Supporting the migration between 'event triggered' and 'time triggered' software architectures: A small pattern collection intended for use by the developers of reliable embedded systems

TL;DR: This most recent version of the report replaces the older version, 2011-09-01 previously available in the LRA.

Finding strategies for executing Ada-code in real-time on Linux using an embedded computer.

TL;DR: A combination of Ada, real-time Linux and an embedded computer is a costeective solution that accommodates most of the demands of embedded systems development or prototyping.
Book ChapterDOI

Two Generalisations of Roşu and Chen’s Trace Slicing Algorithm A

TL;DR: The Rosu and Chen trace analysis algorithm identifies activity streams in a monitored application based on data and groups events accordingly into slices, and can be generalised to assign several such activity streams to the same slice, even if data is unrelated.
Book ChapterDOI

Programming Embedded Systems: Interacting with the Embedded Platform

TL;DR: This chapter focuses on how real-time Java programs can access the platform’s physical memory so that it can maximize performance, and how it can interface with external devices.

Resilient Computing Curriculum

TL;DR: Baldoni, Cinzia Bernardeschi, Robin Bloomfield, Andrea Bondavalli, Christian Cachin, Miguel Correia, Marc Dacier, Felicita Di Giandomenico, Jean-Charles Fabre Michael Harrison, Mohamed Kaâniche, Karama Kanoun, Chidung Lac, Giuseppe Lami, JeanClaude Laprie Istvan Majzik, Paolo Masci, Philippe Palanque, Andras Pataricza Holger Pfeifer, Michel Raynal, Luca Simonc
Related Papers (5)