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
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
TL;DR: Model Checking Sequential Software Programs Via Mixed Symbolic Analysis via Mixed Symbolics via Algorithmic Verification and Debugging.
Proceedings ArticleDOI
Object-oriented real-time systems using a hybrid distributed model of Ada 95's built-in DSA capability (distributed systems annex-E) and CORBA
TL;DR: This 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)[2] and extended with CORBA (Common Object Request Broker Architecture) capabilities.
Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo
TL;DR: The thesis tackles two aspects of the RTS life cycle: the modelling and the implementation, or code generation, and proposes the decentralized implementation technique and Time Petri Net based models for the real time Ada-95 statements.
Erfahrungen bei der systematischen Entwicklung kleiner eingebetteter Systeme mit der COMET-Methode.
TL;DR: Der Einsatz objektorientierter Entwicklungsmethoden im Bereich eingebetteter Systeme ist zwar seit einigen Jahren Gegenstand intensiver Forschung, but nach wie vor liegen aber nur wenige Erfahrungen uber deren Einschat aus der industriellen Praxis vor.
Proceedings ArticleDOI
Can real-time software engineering be taught to Java programmers?
TL;DR: It is argued that it is still possible to demonstrate the issues of software development for real-time systems whilst also offering realistic and rewarding practical work.
Related Papers (5)
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more