RT Journal Article
JF Software Product Line Conference, International
YR 2008
VO 00
SP 35
TI Enabling Verifiable Conformance for Product Lines
A1 Robyn Lutz,
K1 software product line
K1 application engineering
K1 verifying conformance
K1 experience
AB NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it is the verifiable conformance of each system to the product-line specifications that makes or breaks the product-line practice. Verification that the software for each project satisfies its intended product-line constraints is thus essential. This paper reports early results from aneffort to assemble from previous, industrial experience a set of enablers of verifiable conformance for use in the application engineering of NASA product lines. Lessons learned may be useful for developers of safety-critical, long-lived, or highly autonomous productlines, as well as for companies that integrate product line subsystems developed by multiple contractors.
PB IEEE Computer Society, [URL:http://www.computer.org]
LA English
DO 10.1109/SPLC.2008.12
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2008.12