Model-Based Verification: A Technology for Dependable System Upgrade
This is a preliminary report on the technological foundations of model-based verification for engineering software system upgrades. It describes the historical background and technical foundations for the approach and begins to provide a basis for the transition of model-based verification into practice. Critical technical and procedural issues that have been or are being addressed to ensure successful transition are examined. The report is aimed at providing technical insight and understanding for software management and engineering personnel on this emerging technology for verification of software system upgrades.
This report is related to the following area(s) of work:
Performance and DependabilityTechnical Report
CMU/SEI-98-TR-009
September 1998
Cite This Report
SEI:
Gluch, David; & Weinstock, Charles. Model-Based Verification: A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009). Software Engineering Institute, Carnegie Mellon University, 1998. http://www.sei.cmu.edu/library/abstracts/reports/98tr009.cfm
IEEE:
D. Gluch, and C. Weinstock, "Model-Based Verification: A Technology for Dependable System Upgrade," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-98-TR-009, 1998. http://www.sei.cmu.edu/library/abstracts/reports/98tr009.cfm
APA:
Gluch, D., & Weinstock, C. (1998). Model-Based Verification: A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009). Retrieved May 18, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/98tr009.cfm
CHI:
Gluch, David, and Charles Weinstock. Model-Based Verification: A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1998. http://www.sei.cmu.edu/library/abstracts/reports/98tr009.cfm
MLA:
Gluch, D., & Weinstock, C. 1998. Model-Based Verification: A Technology for Dependable System Upgrade (Technical Report CMU/SEI-98-TR-009). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/98tr009.cfm
Find Us Here
Share This Page
For more information
