Skip to main content
SpringerLink
Log in

Software-based critical systems

  • Conference paper
Book cover Safe Comp 96

Abstract

Computerization of critical systems has given rise to much debate. This paper is aimed at giving recommendations and directions in order to undertake the design of software-based critical systems in an effective and cohesive way.

The current situation is portrayed in the first section, based on statistics on system failures and on the procurement cost of critical software.

This current situation, together with technological trends lead to identify three driving forces which are commented upon the second section: i) cost-effective highly dependable systems via re-use, ii) evolution towards integration (vs. federation), iii) fault evolution.

The discussion of the driving forces lead to state four recommendations and directions in the third section: i) supplement off-line validation with on-line protection via fault tolerance, ii) extend the applicability of dependability measures for dependability prediction, iii) establish a theory of composability of dependability properties, iv) build dependability-explicit development processes.

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. M. Abadi, L. Lamport, “Composing specifications”, Tech. Report 66, Digital Equipment Corp. Systems Research Center, Palo Alto, California, Oct. 1990, 90p.

    Google Scholar 

  2. D. Andrews, A. Mahmood, E.J. McCluskey, “Executable assertions and flight software”, in Proc. AIAA/IEE 6th Digital Avionics Systems Conf., Dec. 1984, pp. 346–351.

    Google Scholar 

  3. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins and D. Powell, “Fault Injection for Dependability Validation - A Methodology and Some Applications”, IEEE Trans. on Software Engineering, 16 (2), pp. 166–182, February 1990.

    Article  Google Scholar 

  4. T.F. Arnold, “The Concept of Coverage and its Effect on the Reliability Model of Repairable Systems”, IEEE Trans. on Computers, vol. C-22, no. 3, pp. 251–254, 1973.

    Article  Google Scholar 

  5. A. Avizienis, J.-C. Laprie, “Dependable computing: from concepts to design diversity”, Proceedings of the IEEE, vol. 74, no. 5, May 1986, pp. 629–638.

    Article  Google Scholar 

  6. A. Avizienis, “Building dependable systems: how to keep up with complexity”, Proc. 25th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-25), Special Issue, Pasadena, California, June 1995, pp. 4–14.

    Google Scholar 

  7. Bouricius, W.C. Carter, P.R. Schneider, “Reliability Modeling Techniques for Self-Repairing Computer Systems”, Proc. 24th. National Conference, pp. 295–309, ACM Press, 1969.

    Google Scholar 

  8. Reliability of Constructed or Manufactured Products, Systems, Equipment and Components, Part 1. Guide to Reliability and Maintenability Programme Management, Report no. BS 5760, British Standard Institution, 1985.

    Google Scholar 

  9. R.W. Butler, G.B. Finelli, “The infeasibility of quantiying the reliability of life-critical real-time software”, IEEE Trans. on Software Engineering, vol. 19, no. 1, Jan. 1993, pp. 3–12.

    Article  Google Scholar 

  10. D. Craigen, S. Gehrart, T. Ralston, “An international survey of industrial applications of formal methods”, report NIST GCR 93/626, National Institute of Standards and Technology, March 1993.

    Google Scholar 

  11. 92 R. Cramp, M.A. Vouk, W. Jones, “On operational availability of a large software-based telecommunications system”, Proc. 3rd Int. Symp. on Software Reliability Engineering (ISSRE’92), Research Triangle Park, North Carolina, Oct. 1992, pp. 358–366.

    Google Scholar 

  12. M. Dacier, Y. Deswarte, M. Kaaniche, “Models and tools for quantitative assessment of operational security”, Proc. 12th International Information Security Conference (IFIP SEC’96), Samos (Grèce), 21–24 Mai 1996, pp.177–186.

    Google Scholar 

  13. E.A. Davis, P.K. Giloth, “No 4 ESS: performance objectives and service experience”, The Bell System Technical Journal, vol. 60, no. 6, July-Aug. 1981, pp. 1203–1224.

    Google Scholar 

  14. Y. Deswarte, L. Blain, J.C. Fabre, “Intrusion tolerance in distributed computing systems”, Proc. 1991 IEEE Symposium on Research in Security and Privacy, Oakland, California, May 1991, pp.110–121

    Google Scholar 

  15. J.B. Dugan, K.S. Trivedi, “Coverage modeling for dependability analysis of fault-tolerant systems”, IEEE Trans, on Computers, vol. 38, no. 6, June 1989, pp. 775–787.

    Article  Google Scholar 

  16. W.R. Elmendorf, “Fault-tolerant progtamming”, in Proc. 2nd IEEE Int. Symp. on Fault Tolerant Computing (FTCS-2), Newton, Massachusetts, June 1972, pp. 79–83.

    Google Scholar 

  17. “The Impact of Online Computer Systems Downtime on American Businesses”, FIND/SVP Survey, 1993.

    Google Scholar 

  18. J.N. Gray, “Why do computers stop and what can be done about it?”, in Proc. 5th Symp. on Reliability in Distributed Software and Database Systems, Los Angeles, Jan. 1986, pp. 3–12.

    Google Scholar 

  19. J. Gray, “A census of Tandem system availability between 1985 and 1990”, IEEE Trans, on Reliability, vol. 39, no. 4, Oct. 1990, pp. 409–418.

    Article  Google Scholar 

  20. G. Hagelin, “ERICSSON safety system for railway control”, ERICSSON Document ENR/TB 6078, Oct. 1986; also in Application of design diversity in computerized control systems, U. Voges, ed., vol. 2 of the Series on Dependable Computing and Fault Tolerance, Vienna: Springer Verlag, pp. 11–21.

    Google Scholar 

  21. 91 N. Ichiyen, P. Joannou, “The CANDU appraoch to diftal safety systems”, Nuclear Engineering International, Sep. 1991, pp. 35–37.

    Google Scholar 

  22. 95 R. K. Iyer, “Experimental evaluation”, Proc. 25th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-25), Special Issue, Pasadena, California, June 1995, pp. 115–132.

    Google Scholar 

  23. M.K. Joseph, A. Avizienis, “A fault tolerance approach to computer viruses”, Proc. 1988 IEEE Symp. on Security and Privacy, Oakland, California, April 1988, pp. 52–58.

    Google Scholar 

  24. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y.S. Kim, Y.K. Song, “Developing an object-oriented software testing and maintenance environment”, Communications of the ACM, October 1995, pp. 75–87.

    Google Scholar 

  25. J.C. Laprie (Ed.), Dependability: Basic Concepts and Terminology, Springer-Verlag, Vienna, 1992.

    MATH  Google Scholar 

  26. J.C. Laprie, J. Arlat, J.P. Blanquart, A. Costes, Y. Crouzet, Y. Deswarte, J.C. Fabre, H. Guillermain, M. Kaâniche, K. Kanoun, C. Mazet, D. Powell, C. Rabéjac, P. Thévenod, Guide de la Sûreté de Fonctionnement (Dependability Handbook), Cépaduès Editions, 1995; in French

    Google Scholar 

  27. A. Laryd, “Operating experioence of software in programmable equipment used in ABB atom nuclear I&C applications”, IAEA TCM, Helsinki, Finland, June 1994.

    Google Scholar 

  28. N. Leveson, Safeware - System Safety and Computers, Addison Wesley, 1995

    Google Scholar 

  29. J.L. Lions, “Ariane 5 flight 501 failure - Report by the inquiry board”, ESA, July 1996.

    Google Scholar 

  30. R.A. Maxion, “Towards fault-tolerant user interfaces”, Proc. 5th IFAC Workshop on Safety of Computer Control Systems (SAFECOMP’86), Sarlat, France, Oct. 1986, pp. 117–122.

    Google Scholar 

  31. 96 C. Mazet, H. Guillermain, “Dependable systems: error tolerance and man-machine cooperation”, Proc. 3rd Conf. on Probabilistic Safety Assessment and Management (PSAM-III - ESREL’96), Crete, Greece, June 1996, pp. 406–411.

    Google Scholar 

  32. 94 J. McLean, “A general theory of composition for trace sets closed under selective interleaving functions”, Proc. 1994 IEEE Symp. on Research in Security and Privacy, Oakland, California, May 1994, pp. 79–93.

    Google Scholar 

  33. J. Mo, Y. Crouzet, “Human error tolerant design for air traffic control systems”, Proc. 3rd Conf on Probabilistic Safety Assessment and Management (PSAM-III - ESREL’96), Crete, Greece, June 1996, pp. 400–405.

    Google Scholar 

  34. M. Nicolaidis, S. Noraz, B. Courtois, “A generalized theory of fail-safe systems”, Proc. 19th IEEE Int. Symp. on Fault Tolerant Computing (FTCS- 19), Chicago, USA, June 1989, pp. 398–406.

    Google Scholar 

  35. D.A. Norman, “Design rules based on analyses of human error”, Communications of the ACM, vol. 26, no. 4, April 1983, pp. 254–258.

    Article  MathSciNet  Google Scholar 

  36. French Observatory for Advanced Techniques, ARAGO 15, Fault-Tolerant Computing, Masson, Paris, 1994; in French: Observatoire Français des Techniques Avancées, Informatique Tolérante aux Fautes.

    Google Scholar 

  37. D. Powell, “Failure Mode Assumptions and Assumption Coverage”, Proc. 22nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-22), Boston, July 1992, pp.386–395.

    Google Scholar 

  38. C Rabejac, J.P. Blanquart, J.P. Queille, “Executable assertions and timed traces for on-line software error detection”, Proc. 26th IEEE Int. Symp. on Fault Tolerant Computing (FTCS-26), Sendai, Japan, June 1996, pp. 138–147.

    Google Scholar 

  39. M.O. Rabin, “Efficient dispersal of information for security, load balancing and fault tolerance”, Jounal of the ACM, vol. 36, no. 2, April 1989, pp. 335–348.

    Article  MathSciNet  MATH  Google Scholar 

  40. L. Remus, “Methodology for software development of a digital integrated protection system”, presented at the EWICS TC-7 meeting, Brussels, Jan. 1982, 19 P.

    Google Scholar 

  41. W.B. Rouse, N.M. Morris, “Conceptual design of a human error tolerant interface for complex engineering systems, Automatica, vol. 23, no. 2, 1987, pp. 231–235.

    Article  Google Scholar 

  42. Software Considerations in Airborne Systems and Equipment Certification, RTCA paper no. 591–91/SC167–164, DO-178 B.5, 1991.

    Google Scholar 

  43. B. Ruegger, “Human error in the cockpitö”, Swiss Reinsurance Company, 1990.

    Google Scholar 

  44. T.B. Sheridan, “Allocating functions among humans and machinesö”, in “Improving function allocation for integrated systems design”, Report from NATO Defence Research Group Panel-8/RSG.14, TNO Human Factors Research Institute, Soesteberg, The Netherlands, Nov. 1994, pp. 1–11.

    Google Scholar 

  45. M.L. Shooman, “Avionics software problem occurrence rate”, Proc. 7th Int. Symp. on Software Reliability Engineering (ISSRE’96), White Plains, New York, Oct. 1996, to appear.

    Google Scholar 

  46. D.P. Siewiorek, R.S. Swarz, Reliable Computer Systems, Design and Evaluation, Digital Press, 1992.

    Google Scholar 

  47. R.E. Spradlin, “Boeing 757 and 767 flight management system”, in Proc. RTCA Technical Symp., Washington, Nov. 1980, pp. 107–118.

    Google Scholar 

  48. W.N. Toy, “Fault-tolerant design of local ESS processors”, Proceedings of the IEEE, vol. 66, no. 19, Oct. 1978, pp. 1126–1145.

    Article  Google Scholar 

  49. 88 P. Traverse, “AIRBUS and ATR System Architecture and Specification”, Dependability Computing and Fault-Tolerant Systems, Vol. 2, Software Diversity in Computerized Control Systems, Springer Verlag, 1988, pp. 95–104

    Google Scholar 

  50. 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. 25 th I EE Int. Symp. on Fault-Tolerant Computing (FTCS-25), Pasadena (USA), 27–30 juin 1995, pp.510–515

    Google Scholar 

  51. A. Wood, “NonStop availability in a client/server environment”, Tandem Technical Report 94.1, March 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAAS-CNRS and LIS, Toulouse, France

    Jean-Claude Laprie

Authors
  1. Jean-Claude Laprie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Österreichisches Forschungszentrum Seibersdorf Ges.m.b.H., A-2444, Seibersdorf, Austria

    Erwin Schoitsch

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London Limited

About this paper

Cite this paper

Laprie, JC. (1997). Software-based critical systems. In: Schoitsch, E. (eds) Safe Comp 96. Springer, London. https://doi.org/10.1007/978-1-4471-0937-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0937-2_14

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76070-2

  • Online ISBN: 978-1-4471-0937-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation