Skip to main content

Analyse de quelques pannes d'un systeme d'exploitation

  • Conference paper
  • First Online:
Operating Systems (OS 1974)

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

Included in the following conference series:

  • 2310 Accesses

Résumé

On s'intéresse dans cet article aux erreurs dans les programmes, et plus particulièrement dans les systèmes d'exploitation. Après avoir introduit quelques définitions touchant la production et la propagation des erreurs, on analyse les symptÔmes et les causes de trois pannes survenues au cours du fonctionnement d'un système d'exploitation. Cette analyse sert de base à un essai de classification des erreurs dans les systèmes. En conclusion, on tente de tirer de cette expérience quelques enseignements pratiques.

Ce travail a été réalisé quand cet auteur était à l'IRIA.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. -BETOURNE C., BOULENGER J., FERRIE J., KAISER C., KRAKOWIAK S., MOSSIERE J. Le système ESOPE, Congrès AFCET, Paris (1970).

    Google Scholar 

  2. -DIJKSTRA E.W. Goto statements considered harmful, letter to the Editor, CACM 11, 3 (1968)

    Google Scholar 

  3. -FLOYD R.W. Assigning meanings to programs, Proc. Symp. Appl. Math.,Amer. Math. Soc., Vol. 19 (1967)

    Google Scholar 

  4. -HENDERSON P., SNOWDON R., An experiment in structured programming, BIT 12, 1 (1972)

    Article  Google Scholar 

  5. -HOARE C.A.R. Towards a theory of parallel programming, in Operating Systems Techniques, (Hoare & Perrott, editors), Academic Press (1972)

    Google Scholar 

  6. -KAISER C. Conception et réalisation de systèmes à accès multiples: gestion du parallélisme. Thèse d'Etat, Paris (1973)

    Google Scholar 

  7. -NEEDHAM R.M. Handling difficult faults in operating systems, Third ACM Symposium on Operating Systems Principles, Stanford (1971)

    Google Scholar 

  8. -PARNAS D. L. Response to detected errors in well-structured programs, Carnegie-Mellon University (1972)

    Google Scholar 

  9. -PARNAS D. L. A technique for software module specification with examples, CACM 15, 5 (1972)

    Google Scholar 

  10. -PYLE I.C., Mc LATCHIE R.C.F., GRANDAGE B. A second-order bug with delayed effect, Software-Practice & Experience 1, 3 (1972)

    Google Scholar 

  11. -SCHWARTZ J.T. An overview of bugs, in Debugging techniques in large systems (R. Rustin, editor), Prentice-Hall (1971)

    Google Scholar 

  12. -WIRTH N. On multiprogramming, machine coding, and computer organization, CACM 12, 9 (1969)

    Google Scholar 

  13. -WIRTH N. Systematic programming, an introduction, Prentice Hall (1973)

    Google Scholar 

  14. -WULF W., SHAW M. Global variables considered harmful, ACM SIGPLAN Notices (feb. 1973)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

E. Gelenbe C. Kaiser

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kaiser, C., Krakowiak, S. (1974). Analyse de quelques pannes d'un systeme d'exploitation. In: Gelenbe, E., Kaiser, C. (eds) Operating Systems. OS 1974. Lecture Notes in Computer Science, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029360

Download citation

  • DOI: https://doi.org/10.1007/BFb0029360

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06849-5

  • Online ISBN: 978-3-540-37805-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics