Abstract
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 language | English |
|---|---|
| Title of host publication | Computer Safety, Reliability and Security |
| Subtitle of host publication | SAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security |
| Place of Publication | Heidelberg |
| Publisher | Springer |
| Pages | 389-401 |
| Number of pages | 13 |
| Volume | 6351 |
| ISBN (Print) | 3-642-15650-9 978-3-642-15650-2 |
| DOIs | |
| Publication status | Published - 2010 |