Associated material and further reading

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

Assessment

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