Title: 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
Abstract: (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.
Publication Year: 1988
Publication Date: 1988-01-01
Language: en
Type: book
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot