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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
DO-178B/ED-12B, Software Considerations in Airborne Systems and Equipment Certification, Radio Technical Commission for Aeronautics / EUROCAE (1992)
Bosch, J.: Design and use of software architectures: adopting and evolving a product-line approach. Addison-Wesley, Reading (2000)
Czarnecki, K., Eisenecker, U.W.: Generative Programming–Methods, Tools, and Applications, vol. 26, p. 832. Addison Wesley, Boston (2000)
Voelter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: 11th International Software Product Line Conference (2007)
pure::variants integration for IBM Rational Rhapsody [cited 21 March 2010], http://www.pure-systems.com/pure_variants_for_Rhapsody.162.0.html
Barnes, J.: High Integrity Software, The SPARK Approach to Safety and Security. Addison-Wesley, London (2003)
Amey, P., White, N.: High-Integrity Ada in a UML and C World. In: LlamosÃ, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 225–236. Springer, Heidelberg (2004)
Hutchesson, S.: An Architecture-Centric Approach To FADEC Software Development. In: SPARK User Group 2006, Praxis High-Integrity Systems, Bath, UK (2006)
Mathworks. Simulink - Simulation and Model-Based Design, http://www.mathworks.com/products/simulink/ [cited]
Yoshimura, K., et al.: Model-Based Design of Product Line Components in the Automotive Domain. In: 12th International Software Product Line Conference (2008)
ESTEREL. SCADE Suite, http://www.esterel-technologies.com/products/scade-suite/ [cited]
Muller-Glaser, K.D., et al.: Multiparadigm modeling in embedded systems design. Control Systems Technology, IEEE Transactions on 12(2), 279–292 (2004)
Schmid, K., John, I.: A customizable approach to full lifecycle variability management. Science of Computer Programming 53(3), 259–284 (2004)
ArtisanSoftware. Artisan Studio, http://www.artisansoftwaretools.com/products/artisan-studio/ [cited]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hutchesson, S., McDermid, J. (2010). Development of High-Integrity Software Product Lines Using Model Transformation. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)