Mathematics of Dependable Systems
Published on 1. June 1995
Book
Hardback
308 pages
978-0-19-853491-4 (ISBN)
Description
Dependable computerized systems are controlling bodies that ensure maximum security, reliability and safety in engineering and technology. The subject has become of increasing importance with the increased use of computerized control in, for example, airliners, manufacturing plant and nuclear power stations. This volume focuses on the underlying mathematical methods used by all branches of the subject.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
College/higher education
Professional and scholarly
Illustrations
line figures, tables
ISBN-13
978-0-19-853491-4 (9780198534914)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
A.W. Andrews and R.J. Cole: Simulated data experiment to test a software reliability growth model based on exercise frequencies; J.P. Bowen, H. Jifeng, R.W.S. Hale and J.M.J. Herbert: Towards verified systems: the SAFEMOS project; S.K. Das: Formalizing safety in decision support systems; R. de Lemos, A. Saeed and T. Anderson: Formal techniques for requirements analysis for safety-critical systems; D. Gollmann: Proving authentication protocols - what do authentication protocols prove?; M. Ingleby: A Galois theory of local reasoning in control systems with compositionality; Z. Liu and M. Joseph: A formal framework for fault-tolerant programs; Z. Liu, J. Nordahl and E.V. Sorensen: Composition and refinement of probabilistic real-time systems; J. May et al; Fault prediction for software development processes; P. Mukerjee and B.A. Wichmann: single transferable vote: a case study of the use of VDM-SL; D.L. Parnas: Mathematics of computation for (software and other) engineers; F.J. Pavey and L.A. Winsborrow: Formal demonstration of equivalence of source code and PROM contents: an industrial example; C.P. Pfleeger: Uses and misuses of formal methods in computer security; C. Pulley and G.V. Coroy: Logical methods in the formal verification of safety-critical software; H. Zhu, P.A.V. Hall and J.H.R. May: Understanding software test adequacy - an axiomatic and measurement theory approach.