Overview of the Lambda-* Performance Reasoning Frameworks
• SEI Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2008-TR-020DOI (Digital Object Identifier)
10.1184/R1/6575981.v1Abstract
The Predictable Assembly from Certifiable Code (PACC) Initiative at the Carnegie Mellon Software Engineering Institute is developing methods and technologies to enable the production of software with predictable behavior by making the application of analytic methods accessible to software engineering practitioners. The use of reasoning frameworks is a means to achieving this goal. A reasoning framework is a packaging of an analysis theory along with other important elements that are needed for its application, such as methods for creating analysis models and evaluating them. Lambda-* is a suite of performance reasoning frameworks founded on the principles of Generalized Rate Monotonic Analysis (GRMA) for predicting the average and worst-case latency of periodic and stochastic tasks in real-time systems.
Lambda-* can be applied to many different, uniprocessor, real-time systems having a mix of tasks with hard and soft deadlines with periodic and stochastic event interarrivals. Some examples include embedded control systems (e.g., avionic, automotive, robotic) and multimedia systems (e.g., audio mixing).
This report provides an overview of the Lambda-* performance reasoning frameworks, their current capabilities, and ongoing research. The Lambda-* reasoning frameworks have been implemented as a part of the PACC Starter Kit (PSK), a development environment that integrates a collection of technologies to enable the development of software with predictable runtime behavior.
Cite This SEI Report
Moreno, G., & Hansen, J. (2009, February 1). Overview of the Lambda-* Performance Reasoning Frameworks. (SEI Report CMU/SEI-2008-TR-020). Retrieved February 18, 2026, from https://doi.org/10.1184/R1/6575981.v1.
@techreport{moreno_2009,
author={Moreno, Gabriel and Hansen, Jeffrey},
title={Overview of the Lambda-* Performance Reasoning Frameworks},
month={{Feb},
year={{2009},
number={{CMU/SEI-2008-TR-020},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6575981.v1},
note={Accessed: 2026-Feb-18}
}
Moreno, Gabriel, and Jeffrey Hansen. "Overview of the Lambda-* Performance Reasoning Frameworks." (CMU/SEI-2008-TR-020). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, February 1, 2009. https://doi.org/10.1184/R1/6575981.v1.
G. Moreno, and J. Hansen, "Overview of the Lambda-* Performance Reasoning Frameworks," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, SEI Report CMU/SEI-2008-TR-020, 1-Feb-2009 [Online]. Available: https://doi.org/10.1184/R1/6575981.v1. [Accessed: 18-Feb-2026].
Moreno, Gabriel, and Jeffrey Hansen. "Overview of the Lambda-* Performance Reasoning Frameworks." (SEI Report CMU/SEI-2008-TR-020). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Feb. 2009. https://doi.org/10.1184/R1/6575981.v1. Accessed 18 Feb. 2026.
Moreno, Gabriel; & Hansen, Jeffrey. Overview of the Lambda-* Performance Reasoning Frameworks. CMU/SEI-2008-TR-020. Software Engineering Institute. 2009. https://doi.org/10.1184/R1/6575981.v1