Paper Info
Title
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations
Abstract
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.
Year
DOI
Venue
2011
10.1109/SPLC.2011.32
SPLC
Keywords
Field
DocType
software component,towards cost-effective high-assurance software,generative programming,instantiated component,model transformation,product line,model transformation technique,high assurance application,spark language,product lines,property-preserving transformations,product-line component,software product line approach,generic programming,static analysis,cost effectiveness,m2m,spark,unified modeling language,uml,verification,programming,software reliability,ignition
Model transformation,Software engineering,Unified Modeling Language,Systems engineering,Computer science,Static analysis,Correctness,Software,Software product line,Component-based software engineering,Software quality
Conference
Citations 
PageRank 
References 
5
0.49
7
Authors
2
Name
Order
Citations
PageRank
Stuart Hutchesson1181.83
John Mcdermid2636.05