Sciweavers

3 search results - page 1 / 1
» DECIMAL and PLFaultCAT: From Product-Line Requirements to Pr...
Sort
View
ICSE
2007
IEEE-ACM
14 years 4 months ago
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
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...
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, P...
ASE
2006
148views more  ASE 2006»
13 years 4 months ago
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Industry currently employs a product line approach to software development and deployment as a means to enhance quality while reducing development cost and time. This effort has cr...
Josh Dehlinger, Robyn R. Lutz
HASE
2007
IEEE
13 years 10 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz