Associated material and further reading

January 2014: I am not maintaining or updating this page but it will remain available indefinitely. 


For the assessment for this course, you need to read the following documents:

It is recommended that you look at the introductory chapters of this book

Case studies

    A motorway charging system (textual description). 

Further reading

        The SEI report on ultra-large-scale systems

        Requirements specification

        A paper describing concerns as a means of supporting the derivation of dependability requirements