Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Publications and References: Reasoning Frameworks

Reasoning Frameworks (2005)
Len Bass, James Ivers, Mark Klein, & Paulo Merson

This report describes a vehicle for encapsulating the quality attribute knowledge needed to understand a system's quality behavior as a reasoning framework that can be used by nonexperts. After defining the elements of a reasoning framework, the report goes on to describe several reasoning frameworks.

The ComFoRT Reasoning Framework (2005)
Sagar Chaki, James Ivers, Natasha Sharygina, & Kurt Wallnau

This paper provides a short description of the ComFoRT reasoning framework. It identifies the tools and techniques used to generate models from design specifications and to formally verify the models with temporal logic model checking.

Performance Property Theories for Predictable Assembly from Certifiable Components (PACC) (2004)
Scott Hissam, Mark Klein, John Lehoczky, Paulo Merson, Gabriel Moreno, & Kurt Wallnau

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. This theory is then applied to a model problem drawn in the domain of industrial robot control.

Overview of ComFoRT: A Model Checking Reasoning Framework (2004)
James Ivers & Natasha Sharygina

ComFoRT is a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to perform formal verification without becoming a model checking expert. This report describes the techniques used to automate verification of design specifications and the model checking algorithms used within ComFoRT.

Measuring Component Reliability (2003)
John D. McGregor, Judith Stafford A., & Il-Hyung Cho

A follow-on to Issues in Predicting the Reliability of Components, this also describes a technique for using Pin-like constructs to aggregate reliability measures for several operations in a single component.

Predictability by Construction (2005)
Paulo Merson & Scott Hissam

This two page paper was presented along with a poster in the poster sessions at OOPSLA 2005. It gives an overview of how PACC uses reasoning frameworks to achieve predictability.

Issues in Predicting the Reliability of Components (2002)
Judith Stafford & John D. McGregor

Describes various definitions of, and (empirically-based) computational models of, software reliability, and outlines an experiment in compositional (empirical) reliability.