Abstract
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business applications. Unfortunately, model-driven approaches as they presently stand focus more on attaining greater extents of automation than on warranting absolute end-to-end correctness for the target development process. This paper presents some elements of a novel approach that centres on a correctness-by-construction philosophy rooted on a domain-specific metamodel designed to formally define and constrain the design space and prove the allowable model transformations down to automated code generation.
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
Chapman, R.: Correctness by construction: a manifesto for high integrity software. In: Proceedings of the 10th Australian workshop on Safety critical Systems and Software, vol. 55. Sydney, Australia
Czarnecki, K., Eisenecker, U.W.: Generative programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000)
OMG: MDA Guide Version 1.0.1, available at www.omg.org/mda
Ward, M.: Language Oriented Programming. Software - Concepts and Tools 15, 147–161 (1994)
Cechticky, V., Egli, M., Pasetti, A., Rohlik, O., Vardanega, T.: A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. In: Morisio, M., et al. (eds.) ICSR 2006. LNCS, vol. 4039, pp. 312–325. Springer, Heidelberg (2006)
Bordin, M., Vardanega, T.: Automated Model-based Generation of Ravenscar-compliant Source Code. In: Proceedings of the 17th Euromicro Conference on Real-Time Systems, July 2005, pp. 69–77. IEEE Computer Society Press, Los Alamitos (2005)
Bini, E., Di Natale, M., Buttazzo, G.: Sensitivity Analysis for Fixed-Priority Real-Time Systems. In: Proceedings of the 18th Euromicro Conference on Real-Time Systems, Dresden, Germany (July 2006)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK) (2003) Approved as ISO/IEC JTC1/SC22 TR 42718
Vardanega, T.: A Property-Preserving Reuse-Geared Approach to Model-Driven Development (invited paper). In: The 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 223–230. IEEE Press, Los Alamitos (2006)
Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, Amsterdam (1995)
Sha, L., Rajkumar, R., Lehoczky, J.P.: Real-time synchronization protocol for multiprocessors. In: Proceedings of the IEEE Real-time Systems Symposium, IEEE Computer Society Press, Los Alamitos (1988)
Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model-driven architecture with executable UML. Cambridge University Press, Cambridge (2004)
OMG: Unified Modeling Language: Superstrucutre – version 2.0
The Open Ravenscar Kernel, cf. http://polaris.dit.upm.es/~ork/
Annotated Ada Reference Manual. ISO/IEC 8652:2007(E)
Panunzio, M., Vardanega, T.: A Metamodel-driven Process Featuring Advanced Model-based Timing Analysis. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 128–141. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordin, M., Vardanega, T. (2007). Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. In: Abdennadher, N., Kordon, F. (eds) Reliable Software Technologies – Ada Europe 2007. Ada-Europe 2007. Lecture Notes in Computer Science, vol 4498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73230-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-73230-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73229-7
Online ISBN: 978-3-540-73230-3
eBook Packages: Computer ScienceComputer Science (R0)