Skip to main content
SpringerLink
Log in

Transparent Environment for Replicated Ravenscar Applications

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe 2002 (Ada-Europe 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2361))

Included in the following conference series:

  • 311 Accesses

Abstract

This paper proposes an environment intended for the development of fault-tolerant real-time Ada 95 applications conforming to the Ravenscar profile. This environment is based on the transparent replication of application components, and it provides a set of generic task interaction objects, which are used as the basic building blocks of the supported applications. These objects provide the usual task interaction mechanisms used in hard real-time applications, and allow applications to be developed without considering replication and distribution issues.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burns, A. (1997). Session Summary: Tasking Profiles. In Proc. of the 8 International Real-Time Ada Workshop th, Ravenscar, England, April 1997. Ada Letters, XVII(5):5–7, ACM Press.

    Article  MathSciNet  Google Scholar 

  2. Wellings, A. (2000). Session Summary: Status and Future of the Ravenscar Profile. In Proc. of the 10th International Real-Time Ada Workshop, Avila, Spain, September 2000. Ada Letters, XXI(1):4–8, ACM Press.

    Google Scholar 

  3. Audsley, A. and Wellings, A. (2000). Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems. In Proc. of the 10th International Real-Time Ada Workshop, Avila, Spain, September 2000. Ada Letters, XXI(1):33–39, ACM Press.

    Google Scholar 

  4. Powell, D. (Ed.). (1991). Delta-4-A Generic Architecture for Dependable Distributed Computing. ESPRIT Research Reports. Springer Verlag.

    Google Scholar 

  5. Kopetz, H., Damm, A., Koza, C., Mulazzani, M., Schwabl, W., Senft, C., and Zainlinger, R. (1989). Distributed Fault-Tolerant Real-Time Systems: The Mars Approach. In IEEE Micro, 9(1):25–41.

    Article  Google Scholar 

  6. Schneider, F. (1990). Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial. In ACM Computing Surveys, 22(4):299–319.

    Article  Google Scholar 

  7. Melliar-Smith, P. M., and Schwartz, R. L. (1982). Formal Specification and Mechanical Verification of SIFT: a Fault-Tolerance Flight Control System. In IEEE Transactions on Computers, 31(7):616–630.

    Article  Google Scholar 

  8. Keickhafer, R. M., Walter, C. J., Finn, A. M., and Thambidurai, P. M. (1988). The MAFT Architecture for Distributed Fault Tolerance. In IEEE Transactions on Computers, 37(4):398–404.

    Article  Google Scholar 

  9. Pradhan, D. K. (1996). Fault-Tolerant Computer System Design. Prentice Hall.

    Google Scholar 

  10. Poledna, S., Burns, A., Wellings, A., and Barret, P. (2000). Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. In IEEE Transactions on Computers, 49(2):100–111.

    Article  Google Scholar 

  11. Powell, D. (Ed.). (2001). A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems. Kluwer Academic Publishers.

    Google Scholar 

  12. Audsley, A., Burns, A., Richardson, M., Tindell, K., and Wellings, A. (1993). Applying new scheduling theory to static priority pre-emptive scheduling. In Software Engineering Journal, 8(5):285–292.

    Article  Google Scholar 

  13. Yeh, Y. (1995). Dependability of the 777 Primary Flight Control System. In Proc. Dependable Computing for Critical Applications 5, USA, pp. 1–13.

    Google Scholar 

  14. Pinho, L. and Vasques F. (2001a). Reliable Communication in Distributed Computer-Controlled Systems. In Proc. of Ada-Europe 2001. Leuven, Belgium, May 2001, Lecture Notes on Computer Science 2043, Springer, pp. 136–147.

    Google Scholar 

  15. Pinho, L. and Vasques, F. (2001b). Timing Analysis of Reliable Real-Time Communication in CAN Networks. In Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001, pp. 103–112.

    Google Scholar 

  16. Pinho, L. M. (2001). A Framework for the Transparent Replication of Real-Time Applications. PhD Thesis. School of Engineering of the University of Porto. Available at http://www.hurray.isep.ipp.pt

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, ISEP, Polytechnic Institute of Porto, Rua Dr. António Bernardino Almeida, 431, 4200-072, Porto, Portugal

    Luís Miguel Pinho

  2. Department of Mechanical Engineering, FEUP, University of Porto, Rua Dr. Roberto Frias, 4200-465, Porto, Portugal

    Francisco Vasques

Authors
  1. Luís Miguel Pinho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francisco Vasques
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer-Aided Automation, Technical University Vienna, Treitlstraße 1-3, 1040, Vienna, Austria

    Johann Blieberger

  2. Swiss Federal Institute of Technology Lausanne (EPFL), 1015, Lausanne, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pinho, L.M., Vasques, F. (2002). Transparent Environment for Replicated Ravenscar Applications. In: Blieberger, J., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2002. Ada-Europe 2002. Lecture Notes in Computer Science, vol 2361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48046-3_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-48046-3_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43784-0

  • Online ISBN: 978-3-540-48046-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation