Mathematics of dependable systems
Author(s)
Bibliographic Information
Mathematics of dependable systems
（The Institute of Mathematics and its Applications conference series, new ser.,
Clarendon Press, 1995-
- [1]
- 2
Available at 12 libraries
Note
[1]:based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and Its Applications and held at Royal Holloway, University of London, in September 1993
2:based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on mathematics of dependable systems, and held at the University of York, in August 1995
2, edited by V. Stavridou
Description and Table of Contents
- Volume
-
2 ISBN 9780198523826
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.
Table of Contents
- 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.
- Volume
-
[1] ISBN 9780198534914
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.
Table of Contents
- 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.
by "Nielsen BookData"