Sciweavers

Share
ISSRE
2005
IEEE

Safety Analysis of Software Product Lines Using State-Based Modeling

9 years 23 days ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. The work described here contributes to a solution by integrating product-line safety analysis with model-based development. This approach provides a structured way to construct state-based models of a product line having significant, safety-related variations and to systematically explore the relationships between behavioral variations and potential hazardous states through scenario-guided executions of the state model over the variations. The paper uses a product line of safety-critical medical devices to demonstrate and evaluate the technique and results. Ó 2007 Elsevier Inc. All rights reserved.
Jing Liu, Josh Dehlinger, Robyn R. Lutz
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where ISSRE
Authors Jing Liu, Josh Dehlinger, Robyn R. Lutz
Comments (0)
books