This module introduces students to the engineering of software for highly dependable information systems. Such engineering is necessary when the cost of failure of the system is prohibitive.
Students will learn the concepts behind high integrity requirements and will spend time applying techniques of fault analysis to information systems, with particular reference to the Internet and World Wide Web.
The module will proceed roughly according to the software development lifecycle, so that discussion of design issues will be followed by study of high integrity implementations, etc. Project management will be referred to during the first half of the module.
Throughout the module there will be reference to case studies, with examples taken from the world wide web and Internet. In the second half of the module students will critique developments in high integrity programming for information systems and learn how to analyse systems-level support for high-bandwidth media.
Finally, there will be a discussion of fault tolerance principles, followed by specific application to the World Wide Web.
On successful completion of this module, the student will be able to
Assessment is by examination.
This module requires a pre-requisite of either Visual Programming 2, C++ Programming 2 or Java Programming 2.