Development of High Integrity Software Product Lines using Model Transformation

S G Hutchesson, J A McDermid

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution


Academic and commercial approaches to software product line development have concentrated on the rapid instantiation of source code assets to minimise product time to market. Generative programming and model-based software engineering approaches have been suggested as effective ways of achieving this. However, for high-integrity software systems the instantiated product source code has to be accompanied by development process assets that demonstrate and support the product assurance arguments. This paper describes an approach to the model-based development of software product lines that is specifically designed to address the needs of high-integrity software systems. The approach consists of a reference architecture model and component-based development style, supported by model transformations to instantiate the project-specific components and associated development assets.
Original languageEnglish
Title of host publicationComputer Safety, Reliability and Security
Subtitle of host publicationSAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security
Place of PublicationHeidelberg
Number of pages13
ISBN (Print)3-642-15650-9 978-3-642-15650-2
Publication statusPublished - 2010

Bibliographical note

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security

Cite this