Skip to main content
Springer Nature Link
Log in

Information Management for Dependability

  • Conference paper
Advances in Information Technology (IAIT 2010)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 114))

Included in the following conference series:

  • 618 Accesses

Abstract

Dependability of a computing system is the ability to deliver service(s) that can confidently be trusted. The term embraces three parts: the attributes of, the means of attaining and threats to dependability. Owing to the severity of failure of such systems, their development is normally carefully controlled by a raft of standards and hurdles standing between the original concept and an operational system. Dependable systems are typically well understood, based around established specification techniques, fault tolerant architectures and implementation language subsets that afford dependability means. Analysis techniques that help identify dependability threats are similarly well understood. This paper considers dependability as an information management (IM) problem and proposes one possible solution.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Laprie, J.C.: Dependable Computing and Fault Tolerance: Concepts and Terminology. In: Proc. 15th IEEE Int. Symp. on Fault-Tolerant Computing (1985)

    Google Scholar 

  2. Reliability and Requirements. In: Procs. Eastern Joint Computer Conference (December 1953)

    Google Scholar 

  3. von Neumann, J.: Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Annals of Math Studies 34 (1956)

    Google Scholar 

  4. Moore, E.F., Shannon, C.E.: Reliable Circuits Using Less Reliable Relays. J. Franklin Institute 262, 191–208, 281–297 (1956)

    Article  MathSciNet  MATH  Google Scholar 

  5. Pierce, W.H.: Failure-Tolerant Computer Design. Academic Press, London (1965)

    Google Scholar 

  6. Randell, B.: System Structure for Software Fault Tolerance. IEEE Trans. on Software Engineering, SE 1, 1220–1232 (1975)

    Google Scholar 

  7. Avizienis, A., Chen, L.: On the Implementation of N-version Programming for software Fault Tolerance. In: Proc. IEEE COMPSAC 1977, pp. 149–155 (November 1977)

    Google Scholar 

  8. Chemical Industries Association, A Guide to Hazard and Operability Studies (1977)

    Google Scholar 

  9. Vesely, W.E.: Fault Tree Handbook, NUREG–0492 (1992)

    Google Scholar 

  10. Kelly, T., Weaver, R.: The Goal Structuring Notation, A Safety Argument Notation. In: Proc. of Dependable Systems and Networks (2004)

    Google Scholar 

  11. Liu, S., McDermid, J.A.: A Model-Oriented Approach to Safety Analysis Using Fault Trees and a Support System. Journal of Systems and Software 35(2), 151–164 (1996)

    Article  Google Scholar 

  12. Knudsen, J., Smith, C.: Common Cause Modeling in SAPHIRE. In: Procs. 17th International System Safety Conference, Florida, August 16-21 (1999)

    Google Scholar 

  13. Relex Reliability Studio, Demonstration Version (2009), http://www.relex.com/

  14. Mason, P.: An Axiomatic and Object-based Approach to Tracing Safety Properties in the Context of ARP 4754. In: Papasratorn, B., et al. (eds.) IAIT 2009. CCIS, vol. 55, pp. 81–95. Springer, Heidelberg (2009)

    Google Scholar 

  15. Certification Considerations For Highly-Integrated or Complex Aircraft Systems, ARP 4754 (1996)

    Google Scholar 

  16. Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, ARP 4761 (1996)

    Google Scholar 

  17. Bussolini, J.: High Reliability Design Techniques applied to the Lunar Module, London. Lecture Series Avionics Systems, vol. 47 (September 1971)

    Google Scholar 

  18. Jarke, M., Gallersdorfer, R., Jeusfeld, M., Staudt, M., Eherer, S.: ConceptBase: A Deductive Object Base for Meta Data. Journal of Intelligent Info. Sys., Mar., 167–192 (1995)

    Google Scholar 

  19. Mason, P.: Managing Complexity in ICT Systems Development. Int. Journal of Information Technology and Management 7(3), 264–282 (2008)

    Article  Google Scholar 

  20. Wilson, S., et al.: Safety Case Development: Current Practice, Future Prospects. In: Proc. 1st ENCRESS Conf., Bruges, Belgium (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SIU International, Bangtoey, Samkhok, Thailand, 12160

    Paul Mason

Authors
  1. Paul Mason
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Technology, King Mongkut’s University of Technology, Thonburi, 126 Pracha-U-Thit Rd., Bangmod, Thungkru, 10140, Bangkok, Thailand

    Borworn Papasratorn , Kittichai Lavangnananda , Wichian Chutimaskul  & Vajirasak Vanijja , ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mason, P. (2010). Information Management for Dependability. In: Papasratorn, B., Lavangnananda, K., Chutimaskul, W., Vanijja, V. (eds) Advances in Information Technology. IAIT 2010. Communications in Computer and Information Science, vol 114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16699-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16699-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16698-3

  • Online ISBN: 978-3-642-16699-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics