Summary
This chapter addresses challenges for model-driven development of embedded systems in industrial practice. These are rooted in the necessity of flexible development of new functionality at low development cost. Where a dependability requirement is added, e.g. support for assurance of safety requirements, then extending functionality by plugging in a new component, or modifying an existing component, without extensive safety-related and fault tolerance tests, is far from today’s industrial practice.
The chapter highlights lessons learnt from three applications of model-driven development for high-assurance software components. The components were embedded in vehicular safety restraints, aerospace, and secure radio communication systems respectively. While our experiences in these three fields of application are compared and contrasted, the emphasis will be placed on the specific requirements of safety-critical software in aerospace systems with the following three characteristics: long life, high level of assurance, and forthcoming demands on efficient upgrades of assemblies of components. We discuss the need for relating intent specifications to formally verified design models from which safety-critical code is generated.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Elmqvist, J., Nadjm-Tehrani, S. (2005). Intents and Upgrades in Component-Based High-Assurance Systems. In: Beydeda, S., Book, M., Gruhn, V. (eds) Model-Driven Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-28554-7_13
Download citation
DOI: https://doi.org/10.1007/3-540-28554-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25613-7
Online ISBN: 978-3-540-28554-0
eBook Packages: Computer ScienceComputer Science (R0)