Communicating sequential processes
Communicating sequential processes
Defining families: the commonality analysis (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Software architecture in practice
Software architecture in practice
A reusable architecture for federated client/server systems
SSR '99 Proceedings of the 1999 symposium on Software reusability
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
An approach to architectural analysis of product lines
Proceedings of the 22nd international conference on 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
Scenario-Based Analysis of Software Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Software Architecture in Practice
Software Architecture in Practice
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Tool-Supported Verification of Product Line Requirements
Automated Software Engineering
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
Rigorous engineering of product-line requirements: A case study in failure management
Information and Software Technology
An Iterative Framework for Software Architecture Recovery: An Experience Report
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Gathering current knowledge about quality evaluation in software product lines
Proceedings of the 13th International Software Product Line Conference
Towards feature-oriented specification and development with event-B
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Hi-index | 0.00 |
This paper describes experiences with the architectural specification and tool-assisted architectural analysis of a mission-critical, high-performance software product line. The approach used defines a "good" product line architecture in terms of those quality attributes required by the particular product line under development. Architectures are analyzed against several criteria by both manual and tool-supported methods. The approach described in this paper provides a structured analysis of an existing product line architecture using (1) architecture recovery and specification, (2) architecture evaluation, and (3) model checking of behavior to determine the level of robustness and fault tolerance at the architectural level that are required for all systems in the product line. Results of an application to a software product line of spaceborne telescopes are used to explain the approach and describe lessons learned.