Mathematics of Dependable Systems
V. Stavridou(Author)
Clarendon Press
Published on 1. December 1997
Book
Hardback
270 pages
978-0-19-852382-6 (ISBN)
Description
Mathematics, in the guise of formal methods, cryptography and reliability modelling amongst other topics, is increasingly seen as pivotal in the development and assessment of systems on which society depends, such as banking, medical, transport, or defence systems. This book contains the proceedings of a recent conference which aimed to facilitate the harmonization of these mathematical theories for the development of safe, secure, reliable and available computing systems.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
College/higher education
Professional and scholarly
Illustrations
2 halftones, 46 line figures, bibliography
ISBN-13
978-0-19-852382-6 (9780198523826)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
D.L. Parnas, precise description and specification of software; L.E. Moser and P.M. Melliar-Smith, consistent composition and refinement for dependable systems; P. Mukherjee, system specification in VDM-Sl; F. Piper, key management for secure communications; G.M. Musyoka and G. Morgan, formal verification of fault-tolerant processors; C.T. Sennett, formal methods for computer security; R. Chapman, A. Burns and A. Wellings, regular path algebra applied to non-functional properties of critical software; N. Nissanke, safety specification in deontic logic; N.A. Harman and J.V. Tucker, algebraic models of microprocessors - the correctness and verification of a simple computer; P. Chapront, from program proving to formal design - lessons drawn from SACEM; J.C. Knight, limitations of mathematics in software engineering; O. Bridal, a methodology for reliability analysis of fault-tolerant systems with repairable subsystems; C.S. Perkins and A.M. Tyrrell, reliability models for hard real-time systems; S. Haines and T. Longshaw, applying space based modelling techniques to dependable systems; B. Littlewood and D. Wright, a Bayesian model that combines disparate evidence for the quantitative assessment of system dependability.