RT Journal Article
JF Software Product Line Conference, International
YR 2011
VO 00
IS
SP 55
TI Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations
A1 John McDermid,
A1 Stuart Hutchesson,
K1 UML
K1 SPARK
K1 M2M
K1 Safety Critical
K1 High Integrity
K1 Software Product Lines
K1 Verification
K1 Static Analysis
K1 DO-178B/ED-12B
AB Generative programming and model transformation techniques are becoming widely used for the development of software components for product lines. The ability to develop components with identified common and variable parts, and rapidly instantiate product-specific versions is key to many software product line approaches. However if this approach is to be truly cost effective for high assurance applications, the instantiation process must be property-preserving, any verification evidence acquired on the product-line component must be demonstrably applicable to the instantiated component. In this paper we outline an approach that uses static analysis techniques and the SPARK language that can potentially demonstrate the correctness of model transformations.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/SPLC.2011.32
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.32