search menu icon-carat-right cmu-wordmark

Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

Technical Report
This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2004-TR-017
DOI (Digital Object Identifier)
10.1184/R1/6581996.v1

Abstract

This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server. The report applies this theory to a model problem drawn in the domain of industrial robot control. In this model problem, a controller with hard periodic deadlines is "open" to third-party plug-in extensions. The sporadic server is used to limit the invasiveness of aperiodic tasks on the controller's hard deadlines. The theory developed in this report is used to predict the average-case latency of a plug-in managed by a sporadic server.

Cite This Technical Report

Hissam, S., Klein, M., Merson, P., Moreno, G., Wallnau, K., & Lehoczky, J. (2004, September 1). Performance Property Theories for Predictable Assembly from Certifiable Components (PACC). (Technical Report CMU/SEI-2004-TR-017). Retrieved April 18, 2024, from https://doi.org/10.1184/R1/6581996.v1.

@techreport{hissam_2004,
author={Hissam, Scott and Klein, Mark and Merson, Paulo and Moreno, Gabriel and Wallnau, Kurt and Lehoczky, John},
title={Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)},
month={Sep},
year={2004},
number={CMU/SEI-2004-TR-017},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6581996.v1},
note={Accessed: 2024-Apr-18}
}

Hissam, Scott, Mark Klein, Paulo Merson, Gabriel Moreno, Kurt Wallnau, and John Lehoczky. "Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)." (CMU/SEI-2004-TR-017). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, September 1, 2004. https://doi.org/10.1184/R1/6581996.v1.

S. Hissam, M. Klein, P. Merson, G. Moreno, K. Wallnau, and J. Lehoczky, "Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2004-TR-017, 1-Sep-2004 [Online]. Available: https://doi.org/10.1184/R1/6581996.v1. [Accessed: 18-Apr-2024].

Hissam, Scott, Mark Klein, Paulo Merson, Gabriel Moreno, Kurt Wallnau, and John Lehoczky. "Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)." (Technical Report CMU/SEI-2004-TR-017). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Sep. 2004. https://doi.org/10.1184/R1/6581996.v1. Accessed 18 Apr. 2024.

Hissam, Scott; Klein, Mark; Merson, Paulo; Moreno, Gabriel; Wallnau, Kurt; & Lehoczky, John. Performance Property Theories for Predictable Assembly from Certifiable Components (PACC). CMU/SEI-2004-TR-017. Software Engineering Institute. 2004. https://doi.org/10.1184/R1/6581996.v1