Safety of Computer Control Systems 1988
Published on 30. November 1988
Book
Hardback
200 pages
978-0-08-036389-9 (ISBN)
Description
This volume provides a comprehensive overview of the many aspects and developments of safety-related applications of industrial computer systems. The book contains 21 papers covering such topics as the specification and design of safety systems, their testing and licensing, safety related documentation and management technqiues and their uses and limitations in industry, with examples in such diverse areas as nuclear power plants, the chemical industry and applications in traffic control.
More details
Series
Language
English
Place of publication
Amsterdam
Netherlands
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 290 mm
Width: 220 mm
ISBN-13
978-0-08-036389-9 (9780080363899)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
(partial) Tools: Tools for the standardised software safety assessment (the SOSAT project), G Dhall et al . An environment for requirements specification and analysis of real-time software based on timed petri nets, S Bologna et al . SAGA - a software development environment for dependability automatic controls, J L Bergerand & E Pilaud.;Standardization aspects: a generic standard for safety related computers, H Rzehak. Software measures for quality and safety, B Runge & S L Hanse;. The maintenance of computer based safety systems, I C Smith. Applications in railways and telecommunication: Possibilities and limitations of error detection by white-box testing methods, including the Domain Borders method, J-T Gayen & D Kuchta.;The introduction, use and improvement of guidelines, F J Redmill. Distributed processes and multiprocessors: implementing reliable conversation in concurrent software systems, A Clematis & V Gianuzz;. Documentation and experience: information and decision support systems for risk analysis, K Fedra. Reducing the risks from systems documentation errors, J R Taylor. Qualification methodology refinements after real world feedback, F A Monaco. Fault tolerance and probabilistics: fault tolerant computer design - the hardware implemented fault tolerant approach, C J Goring. An empirical exploration of five software fault detection methods, T J Shimeall & N G Leves;n. Panel discussions: thinking traps in programming - a systematic collection of examples, T Grams. Software safety: principles for design for safety, W J Quirk. The licensing and assessment of computer safety systems, R E Bloomfield & P K D Fro;me.