Developing Real-Time Tasks With Predictable Timing

Authors:
Gustav Pospischil;Peter Puschner;Alexander Vrchoticky;Ralph Zainlinger
Affiliations:
-;-;-;-
Venue:
IEEE Software
Year:
1992

Citing 6
Cited 5

Real-time Euclid: a language for reliable real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Clock synchronization in distributed real-time systems

IEEE Transactions on Computers - Special Issue on Real-Time Systems
Reasoning About Time in Higher-Level Language Software

IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs

Real-Time Systems
Distributed Fault-Tolerant Real-Time Systems: The Mars Approach

IEEE Micro
An Engineering Approach to Hard Real-Time System Design

ESEC '91 Proceedings of the 3rd European Software Engineering Conference

A real-time systems context for the framework for information systems architecture

IBM Systems Journal
Computing Maximum Task Execution Times — A Graph-BasedApproach

Real-Time Systems
Guest Editorial: A Review of Worst-Case Execution-TimeAnalysis

Real-Time Systems - Special issue on worst-case execution-time analysis
A Formal Method for Building Concurrent Real-Time Software

IEEE Software
Satisfying real-time constraints with custom instructions

CODES+ISSS '05 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Quantified Score

Hi-index	0.00

Visualization

Abstract

A prototype development environment for the Mars maintainable real-time system is described. The Mars design environment supports the implementation of critical real-time tasks with time editing. It uses an experimental real-time language, Modula-R, which is based on Modula-2. The Mars real-time architecture, which is the target architecture of the Mars environment, is described. To illustrate the environment, the development of a simple real-time algorithm that implements insertion sort for an array is presented.