Centro de Documentacion de Fundación MAPFRE - Safer systems : proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

Publication: London : Springer : Felix Redmill, 1997Physical description: 283 p. ; 24 cmNotes: Sumario: Safety-critical systems -- Designing for safety -- Using a layered functional model to determine safety requirements -- Formal methods -- Artficial intelligence-Genuine hazards? -- How to improve safety critical systems standards -- Engineering cognitive diversity -- The PRICES Approach to human error -- The StAR Risk Adviser: physchological arguments for qualitative risk assessment -- Is there a role for third party software assessment in the automotive industry? -- Initial safety considerations for an advanced transport system -- Safer systems architectures for autonomous robots -- Increasing software integrity using functionally dissimilar monitoring -- Timing aspects of fault tree analysis of safety critical systems -- SACRES-Formalism for real projects -- Product monitoring for integrity and safety enhancement -- Multidisciplinary projects and technology exchange-The SEMSPLC experienceMateria / lugar / evento: Seguridad Seguridad de sistemas Fiabilidad Congresos Casos prácticos Sistemas informáticos Prevención de riesgos Inteligencia artificial Error humano Evaluación de riesgos Programas informáticos Ingeniería de seguridad Otros autores: Redmill, Felix
Anderson, Tom
Safety-critical Systems Symposium (5º: 1997: Brighton)
Other categories: 80Standard numbers: ISBN 3-540-76134-9

Rights: In Copyright (InC)

Referencias externas:

Holdings:

FUNDACIÓN MAPFRE. Centro de Documentación

FUNDACIÓN MAPFRE. Centro de Documentación — Signature: 80-SAF-SAF — Record number: 024222

Loan:

Available