search menu icon-carat-right cmu-wordmark

An Analysis of Input/Output Paradigms for Real-Time Systems

Technical Report
This paper illustrates how to build a mathematical model of the schedulability of a real-time system, taking into consideration such factors as preemption, synchronization, non-preemptibility, interrupts, and process idle time.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-90-TR-019

Abstract

The correctness of a real-time system with hard deadline requirements depends both on the logical correctness and on the timing correctness of the system. The principles of rate monotonic scheduling have proven to be very useful in providing a framework for designing, analyzing, and modifying the timing and concurrency aspects of real-time systems. This paper illustrates how to build a mathematical model of the schedulability of a real-time system, taking into consideration such factors as preemption, synchronization, non-preemptibility, interrupts, and process idle time. In particular, this paper illustrates how these principles can be applied to input/output interfaces (e.g., to devices or local area networks) to predict the timing behavior of various design alternatives.

Cite This Technical Report

Klein, M., & Ralya, T. (1990, July 1). An Analysis of Input/Output Paradigms for Real-Time Systems. (Technical Report CMU/SEI-90-TR-019). Retrieved April 13, 2024, from https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/.

@techreport{klein_1990,
author={Klein, Mark and Ralya, Thomas},
title={An Analysis of Input/Output Paradigms for Real-Time Systems},
month={Jul},
year={1990},
number={CMU/SEI-90-TR-019},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/},
note={Accessed: 2024-Apr-13}
}

Klein, Mark, and Thomas Ralya. "An Analysis of Input/Output Paradigms for Real-Time Systems." (CMU/SEI-90-TR-019). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, July 1, 1990. https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/.

M. Klein, and T. Ralya, "An Analysis of Input/Output Paradigms for Real-Time Systems," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-90-TR-019, 1-Jul-1990 [Online]. Available: https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/. [Accessed: 13-Apr-2024].

Klein, Mark, and Thomas Ralya. "An Analysis of Input/Output Paradigms for Real-Time Systems." (Technical Report CMU/SEI-90-TR-019). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jul. 1990. https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/. Accessed 13 Apr. 2024.

Klein, Mark; & Ralya, Thomas. An Analysis of Input/Output Paradigms for Real-Time Systems. CMU/SEI-90-TR-019. Software Engineering Institute. 1990. https://insights.sei.cmu.edu/library/an-analysis-of-inputoutput-paradigms-for-real-time-systems/