Verifying architectural design rules of the flight software product line

Authors:
Dharmalingam Ganesan;Mikael Lindvall;Chris Ackermann;David McComas;Maureen Bartholomew
Affiliations:
Fraunhofer Center for Experimental Software Engineering, Maryland;Fraunhofer Center for Experimental Software Engineering, Maryland;Fraunhofer Center for Experimental Software Engineering, Maryland;NASA Goddard Space Flight Center, Greenbelt, Maryland;NASA Goddard Space Flight Center, Greenbelt, Maryland
Venue:
Proceedings of the 13th International Software Product Line Conference
Year:
2009

Citing 11
Cited 7

Software architecture in industrial applications

Proceedings of the 17th international conference on Software engineering
A relational approach to support software architecture analysis

Software—Practice & Experience
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
Documenting Software Architectures: Views and Beyond

Documenting Software Architectures: Views and Beyond
Avoiding Repetition

IEEE Software
From problem to solution with quality attributes and design aspects

Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Practice Patterns for Architecture Reconstruction

WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Predicting Return-on-Investment for Product Line Generations

SPLC '06 Proceedings of the 10th International on Software Product Line Conference
Designing Software for Ease of Extension and Contraction

IEEE Transactions on Software Engineering
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion

SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop
Calculating ROI for Software Product Lines

IEEE Software

TypeChef: toward type checking #ifdef variability in C

FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Architecture-based unit testing of the flight software product line

SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Variability-aware parsing in the presence of lexical macros and conditional compilation

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Type checking annotation-based product lines

ACM Transactions on Software Engineering and Methodology (TOSEM)
ADAM: External dependency-driven architecture discovery and analysis of quality attributes

ACM Transactions on Software Engineering and Methodology (TOSEM)
An analysis of unit tests of a flight software product line

Science of Computer Programming
An analysis of unit tests of a flight software product line

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents experiences of verifying architectural design rules of the NASA Core Flight Software (CFS) product line implementation. The goal is to check whether the implementation is consistent with the CFS' architectural rules derived from the developer's guide. The results indicate that consistency checking helps a) identifying architecturally significant deviations that were eluded during code reviews, b) clarifying the design rules to the team, and c) assessing the overall implementation quality. Furthermore, it helps connecting business goals to architectural principles, and to the implementation. This paper is the first step in the definition of a method for analyzing and evaluating product line implementations from an architecture-centric perspective.