Advertisement

Developing fault tolerant software in Ada for real-time dependable systems

  • P. David
  • T. Planche
  • A. Correge
  • J. F. Chane
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1031)

Key-words

Ada for dependable software Software Implemented Fault Tolerance Techniques Defensive Programming On-Board Computer System Software Error Confinement area Error propagation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    C. Beounes, Y. Deswartes, J.-C. Fabre, P. Thevenod-Fosse, “Coexistence of Software Programs with Different Levels of Criticality”, LAAS Report no. 94-515, 1994. (In French)Google Scholar
  2. [2]
    K.J. Biba, “Integrity Consideration for Secure Computer Systems”, Tech. Rept. no. MTR-3153, The MITRE Corp., 1975.Google Scholar
  3. [3]
    C. Guidal, P. David, P. Humbert, “A Highly Dependable Fault-Tolerant Computer System for European Manned Space Transportation Vehicles3, Proc. 45th Int. Astronautical Fed. Congress, Jerusalem, Israel, 1994.Google Scholar
  4. [4]
    J.-C. Laprie (Ed.), Dependability: Basic Concepts and Terminology, Springer-Verlag, Vienna, 1992.Google Scholar
  5. [5]
    T. Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, J. Arlat, “On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection”, Proc. FTCS-25, pp. 510–515, IEEE, Pasadena, California, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • P. David
    • 1
  • T. Planche
    • 1
  • A. Correge
    • 1
  • J. F. Chane
    • 1
  1. 1.Matra Marconi Space ToulouseFrance

Personalised recommendations