Defining families: the commonality analysis (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Doing hard time: developing real-time systems with UML, objects, frameworks, and patterns
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Extending the product family approach to support safe reuse
Journal of Systems and Software
Component-based product line engineering with UML
Component-based product line engineering with UML
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
Automated Integrative Analysis of State-based Requirements
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
A taxonomy of variability realization techniques: Research Articles
Software—Practice & Experience
Tool-Supported Verification of Product Line Requirements
Automated Software Engineering
A product-line requirements approach to safe reuse in multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Mapping concern space to software architecture: a connector-based approach
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Experience with the architectural design of a modest product family
Software—Practice & Experience
Bi-directional safety analysis of product lines
Journal of Systems and Software
Safety Analysis of Software Product Lines Using State-Based Modeling
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Architectural-Level Risk Analysis Using UML
IEEE Transactions on Software Engineering
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Handling Safety-Related Feature Interaction in Safety-Critical Product Lines
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Safety-assured development of the GPCA infusion pump software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A safety case approach to assuring configurable architectures of safety-critical product lines
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Research Review: A Systematic Literature Review on the Quality of UML Models
Journal of Database Management
An abstract representation of variational graphs
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
| Hi-index | 0.00 |
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.