Search

Safer systems : proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

MAP20070029168
Safer systems : proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997 / Felix Redmill and Tom Anderson (Eds). — London : Springer : Felix Redmill, 1997
283 p. ; 24 cm
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 experience
ISBN 3-540-76134-9
1. Seguridad . 2. Seguridad de sistemas . 3. Fiabilidad . 4. Congresos . 5. Casos prácticos . 6. Sistemas informáticos . 7. Prevención de riesgos . 8. Inteligencia artificial . 9. Error humano . 10. Evaluación de riesgos . 11. Programas informáticos . 12. Ingeniería de seguridad . I. Redmill, Felix . II. Anderson, Tom . III. Safety-critical Systems Symposium (5º: 1997: Brighton) . IV. Title.
FUNDACIÓN MAPFRE. Centro de Documentación
FUNDACIÓN MAPFRE. Centro de Documentación — Signature: 80-SAF-SAF — Record number: 024222
Loan: AvailableAvailable