Assurance in high-integrity software

This book is concerned with the production and assessment of software for high-integrity systems. Many of these systems, for example nuclear reactor and flight control systems, are subject to public enquiries or certification before they can be deployed. In general it is necessary to provide assurance to non-technical personnel of the safety or security of a system containing computers and software, and possibly involving sophisticated human-computer interaction. Thus we require techniques and measures which can be used to achieve and to demonstrate the security, integrity or safety of such systems; the measures must be accessible and convincing to laymen including the systems’ operators.