Safety of Computer Control Systems 1990 (SAFECOMP'90) - 1st Edition - ISBN: 9780080409535, 9781483298351

Safety of Computer Control Systems 1990 (SAFECOMP'90)

1st Edition

Proceedings of the IFAC/EWICS/SARS Symposium Gatwick, UK, 30 October - 2 November 1990

Editors: B.K. Daniels
Hardcover ISBN: 9780080409535
eBook ISBN: 9781483298351
Imprint: Pergamon
Published Date: 18th October 1990
Page Count: 185
Tax/VAT will be calculated at check-out
72.95
43.99
54.95
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Table of Contents

Section headings and selected papers: Mathematical Formalisms. Formal approach to faults in safety related applications, J Gorski. Correctness. Logical foundations of a probabilistic theory of software correctness, T Grams. Issues of Security. The need for a standard method for computer security requirements analysis, R J Talbot. Just Testing! The testing of real-time embedded software by dynamic analysis techniques, D Hedley. Software Metrics. Quality measurement of mission critical systems, J B Wright et al. Reliability and Dependability. Assessing software reliability in a changing environment, T Stalhane. Assessment and Validation. Methodological aspects of critics during safety validation, G List. Static Analysis and Symbolic Execution. A comparison of static and dynamic conformance analysis, M A Hennell & E Fergus. Safe Operation. Qualitative knowledge in a diagnostic expert system for nuclear power plant safety, I Obreja. Case Studies in Industry Practice. The history and development of computer based safety systems for offshore oil and gas production platforms from the 60's to the present day, C J Goring. Keynote Address. Skills and technologies for the development and evaluation of safety critical systems, J A McDermid. Author index. Keyword index.


Description

Section headings and selected papers: Mathematical Formalisms. Formal approach to faults in safety related applications, J Gorski. Correctness. Logical foundations of a probabilistic theory of software correctness, T Grams. Issues of Security. The need for a standard method for computer security requirements analysis, R J Talbot. Just Testing! The testing of real-time embedded software by dynamic analysis techniques, D Hedley. Software Metrics. Quality measurement of mission critical systems, J B Wright et al. Reliability and Dependability. Assessing software reliability in a changing environment, T Stalhane. Assessment and Validation. Methodological aspects of critics during safety validation, G List. Static Analysis and Symbolic Execution. A comparison of static and dynamic conformance analysis, M A Hennell & E Fergus. Safe Operation. Qualitative knowledge in a diagnostic expert system for nuclear power plant safety, I Obreja. Case Studies in Industry Practice. The history and development of computer based safety systems for offshore oil and gas production platforms from the 60's to the present day, C J Goring. Keynote Address. Skills and technologies for the development and evaluation of safety critical systems, J A McDermid. Author index. Keyword index.

Readership

For computer scientists, systems technologists, legislators and reliability engineers.


Details

No. of pages:
185
Language:
English
Copyright:
© Pergamon 1990
Published:
Imprint:
Pergamon
eBook ISBN:
9781483298351

About the Editors

B.K. Daniels Editor

Affiliations and Expertise

National Computing Centre Ltd., Manchester, UK