Overview of ComFoRT: A Model Checking Reasoning Framework
• Technical Note
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2004-TN-018DOI (Digital Object Identifier)
10.1184/R1/6575960.v1Abstract
Component technologies are gaining acceptance in the software community as effective tools for quickly assembling increasingly complex systems from components. Most of the current component technologies, however, fail to help developers predict important software qualities like performance, safety, and reliability. A prediction-enabled component technology (PECT) augments the capabilities of a component technology with one or more reasoning frameworks that package quality specific analyses and the means to apply them to component-based systems. Model checking is an automated approach for exhaustively analyzing whether systems satisfy specific behavioral claims that can be used to characterize safety and reliability requirements. This technical note describes ComFoRT, a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to apply the analysis technique without being experts in its use, and its incorporation in a PECT.
Cite This Technical Note
Ivers, J., & Sharygina, N. (2004, April 1). Overview of ComFoRT: A Model Checking Reasoning Framework. (Technical Note CMU/SEI-2004-TN-018). Retrieved December 5, 2024, from https://doi.org/10.1184/R1/6575960.v1.
@techreport{ivers_2004,
author={Ivers, James and Sharygina, Natasha},
title={Overview of ComFoRT: A Model Checking Reasoning Framework},
month={{Apr},
year={{2004},
number={{CMU/SEI-2004-TN-018},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6575960.v1},
note={Accessed: 2024-Dec-5}
}
Ivers, James, and Natasha Sharygina. "Overview of ComFoRT: A Model Checking Reasoning Framework." (CMU/SEI-2004-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, April 1, 2004. https://doi.org/10.1184/R1/6575960.v1.
J. Ivers, and N. Sharygina, "Overview of ComFoRT: A Model Checking Reasoning Framework," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2004-TN-018, 1-Apr-2004 [Online]. Available: https://doi.org/10.1184/R1/6575960.v1. [Accessed: 5-Dec-2024].
Ivers, James, and Natasha Sharygina. "Overview of ComFoRT: A Model Checking Reasoning Framework." (Technical Note CMU/SEI-2004-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Apr. 2004. https://doi.org/10.1184/R1/6575960.v1. Accessed 5 Dec. 2024.
Ivers, James; & Sharygina, Natasha. Overview of ComFoRT: A Model Checking Reasoning Framework. CMU/SEI-2004-TN-018. Software Engineering Institute. 2004. https://doi.org/10.1184/R1/6575960.v1