Safety of computer control systems 1988 (SAFECOMP '88) : safety related computers in an expanding market : proceedings of the IFAC symposium, Fulda, FRG, 9-11 November 1988

著者

書誌事項

Safety of computer control systems 1988 (SAFECOMP '88) : safety related computers in an expanding market : proceedings of the IFAC symposium, Fulda, FRG, 9-11 November 1988

edited by W.D. Ehrenberger

（IFAC proceedings series, 1988, no. 16）

Published for the International Federation of Automatic Control by Pergamon Press, 1988

1st ed

大学図書館所蔵 件 / 全6件

この図書・雑誌をさがす

注記

Includes bibliographies and indexes

内容説明・目次

内容説明

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.

目次

  • (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.

「Nielsen BookData」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ