Skip to main content
  • 190 Accesses

8 Summary

Any development aimed at producing a dependable system should pay careful attention to issues of structuring. Any old structuring will not do — poor structuring can harm system performance, and impede system maintenance and evolution. But weak structuring can directly impair dependability. Structuring is in fact not an option — it would seem that the only way that humans can recognise entities and attempt to cope with complexity is by presuming — and then relying on — structure. The problem is to ensure that there is an effective reality to back up such presumptions, and that this reality can survive and evolve as needed for the successful continued deployment of the system.

We have attempted to maximize the use of notions from technical systems on whole (computer-based) systems; this is in no way intended to deny or ignore the differences between the ways in which human “components” and technical components contribute to the dependability problems, and solutions, of computer-based systems. However it does, we believe, allow a number of useful general issues to be identified and addressed.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp 11–33

    Article  Google Scholar 

  2. Rt Hon Lord Cullen QC (2000) The Ladbroke Grove Rail Enquiry, HSE Books, see http://www.pixunlimited.co.uk/pdf/news/transport/ladbrokegrove.pdf

    Google Scholar 

  3. Jones Cliff B, A Formal Basis for some Dependability Notions (2003) Formal Methods at the Crossroads: from Panacea to Foundational Support. In: Aichernig Bernhard K, Maibaum Tom (eds) Springer Verlag, Lecture Notes in Computer Science, vol. 2757 pp191–206

    Google Scholar 

  4. Lehman M, Belady LA, (1985) (eds) Program evolution: processes of software change, Academic Press, APIC Studies in Data Processing No. 27, ISBN 012442441-4

    Google Scholar 

  5. Randell B (1975) System Structure for Software Fault Tolerance, IEEE Trans. on Software Engineering, vol. SE-1, no. 2, pp.220–232

    Google Scholar 

  6. J. Reason (1990) Human Error. Cambridge University Press, ISBN 0521314194

    Google Scholar 

  7. Dame Janet Smith QC (2005) Sixth Report: Shipman — The Final Report, HSE Books, see http://www.the-shipman-inquiry.org.uk/finalreport.asp

    Google Scholar 

  8. US Department of Transportation (1998) Audit Report: Advance Automation System, Report No. AV-1998-113, US Department of Transportation, Office of Inspector General

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag London Limited

About this chapter

Cite this chapter

Jones, C.B., Randell, B. (2006). The role of structure: a dependability perspective. In: Besnard, D., Gacek, C., Jones, C.B. (eds) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer, London. https://doi.org/10.1007/1-84628-111-3_1

Download citation

  • DOI: https://doi.org/10.1007/1-84628-111-3_1

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84628-110-5

  • Online ISBN: 978-1-84628-111-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics