Real-time system development: The programming model of MARS
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The systematic development of fault-tolerant realtimesystems with guaranteed timeliness requires anappropriate system architecture and a rigorous designmethodology. The first part of this paper describesthose services of the architecture that help to simplifythe work of the real-time programmer, taking MARSas an example. The second part deals with the `programmingin the large" activities, i.e., the systematicderivation of task timing parameters from the requirementsspecification. The...Keywords
This publication has 19 references indexed in Scilit:
- Fault tolerant parallel processor architecture overviewPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Sparse time versus dense time in distributed real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Preventing state divergence in replicated distributed programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Tolerating transient faults in MARSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Developing real-time tasks with predictable timingIEEE Software, 1992
- Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time SystemPublished by Springer Nature ,1991
- Debugging concurrent programsACM Computing Surveys, 1989
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989
- Clock Synchronization in Distributed Real-Time SystemsIEEE Transactions on Computers, 1987