Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach

  • Conference paper

Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 4498))

Included in the following conference series:

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.

This is a preview of subscription content,log in via an institution to check access.

Access this chapter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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

    Google Scholar 

  2. Czarnecki, K., Eisenecker, U.W.: Generative programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000)

    Google Scholar 

  3. OMG: MDA Guide Version 1.0.1, available atwww.omg.org/mda

  4. Ward, M.: Language Oriented Programming. Software - Concepts and Tools 15, 147–161 (1994)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, Amsterdam (1995)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Raistrick, C., Francis, P., Wright, J., Carter, C., Wilkie, I.: Model-driven architecture with executable UML. Cambridge University Press, Cambridge (2004)

    Google Scholar 

  13. OMG: Unified Modeling Language: Superstrucutre – version 2.0

    Google Scholar 

  14. The Open Ravenscar Kernel, cf.http://polaris.dit.upm.es/~ork/

  15. Annotated Ada Reference Manual. ISO/IEC 8652:2007(E)

    Google Scholar 

  16. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Pure and Applied Mathematics, University of Padua, via Trieste 63, 35121 Padova, Italy

    Matteo Bordin & Tullio Vardanega

Authors
  1. Matteo Bordin

    You can also search for this author inPubMed Google Scholar

  2. Tullio Vardanega

    You can also search for this author inPubMed Google Scholar

Editor information

Editors and Affiliations

  1. HES.SO, École d’ingénieurs de Genéve, University of Applied Sciences Western Switzerland, Rue de la Prairie 4, 1201, Geneva, Switzerland

    Nabil Abdennadher

  2. Laboratoire d’Informatique de Paris 6, Université Pierre et Marie Curie, 104 Avenue du Président Kennedy, 75016, Paris, France

    Fabrice Kordon

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

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp