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.
Technical Note
CMU/SEI-2004-TN-018
April 2004
SEI:
Ivers, James; & Sharygina, Natasha. Overview of ComFoRT: A Model Checking Reasoning Framework (CMU/SEI-2004-TN-018). Software Engineering Institute, Carnegie Mellon University, 2004. http://www.sei.cmu.edu/library/abstracts/reports/04tn018.cfm
IEEE:
J. Ivers, and N. Sharygina, "Overview of ComFoRT: A Model Checking Reasoning Framework," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2004-TN-018, 2004. http://www.sei.cmu.edu/library/abstracts/reports/04tn018.cfm
APA:
Ivers, J., & Sharygina, N. (2004). Overview of ComFoRT: A Model Checking Reasoning Framework (CMU/SEI-2004-TN-018). Retrieved May 22, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/04tn018.cfm
CHI:
Ivers, James, and Natasha Sharygina. Overview of ComFoRT: A Model Checking Reasoning Framework (CMU/SEI-2004-TN-018). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2004. http://www.sei.cmu.edu/library/abstracts/reports/04tn018.cfm
MLA:
Ivers, J., & Sharygina, N. 2004. Overview of ComFoRT: A Model Checking Reasoning Framework (Technical Report CMU/SEI-2004-TN-018). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/04tn018.cfm
For more information