loading...
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
Minneapolis, Minnesota May 20-May 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.2929th International Conference on Soft ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn Lutz, "DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees," International Conference on Software Engineering Companion, pp. 49-50, 29th International Conference on Software Engineering (ICSE'07 Companion), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICSECOMPANION.2007.29,
author = {Josh Dehlinger and Meredith Humphrey and Lada Suvorov and Prasanna Padmanabhan and Robyn Lutz},
title = {DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees},
journal ={International Conference on Software Engineering Companion},
volume = {0},
year = {2007},
isbn = {0-7695-2892-9},
pages = {49-50},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.29},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - International Conference on Software Engineering Companion
TI - DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
SN - 0-7695-2892-9
SP49
EP50
A1 - Josh Dehlinger,
A1 - Meredith Humphrey,
A1 - Lada Suvorov,
A1 - Prasanna Padmanabhan,
A1 - Robyn Lutz,
PY - 2007
KW - null
VL - 0
JA - International Conference on Software Engineering Companion
ER -
 
Josh Dehlinger, Iowa State University, USA
Meredith Humphrey, Iowa State University, USA
Lada Suvorov, Iowa State University, USA
Prasanna Padmanabhan, Citrix Systems Inc.
Robyn Lutz, Iowa State University, USA; Caltech
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced version of PLFaultCAT provides traceability between productline requirements and SFTA hazards as well as semi-automated derivation of the SFTA for each new product-line system previously verified by DECIMAL. The combined tool reduces the effort needed to safely reuse requirements and customize the product-line SFTA as each new system is constructed.
Citation:
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, Prasanna Padmanabhan, Robyn Lutz, "DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees," icsecompanion, pp.49-50, 29th International Conference on Software Engineering (ICSE'07 Companion), 2007
Usage of this product signifies your acceptance of the Terms of Use.