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

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<rdf:Description>
<dc:creator>Redmill, Felix</dc:creator>
<dc:creator>Anderson, Tom</dc:creator>
<dc:creator>Safety-critical Systems Symposium (5º: 1997: Brighton)</dc:creator>
<dc:date>1997</dc:date>
<dc:description xml:lang="es">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</dc:description>
<dc:identifier>https://documentacion.fundacionmapfre.org/documentacion/publico/es/bib/17060.do</dc:identifier>
<dc:language>eng</dc:language>
<dc:publisher>Springer</dc:publisher>
<dc:rights xml:lang="es">InC - http://rightsstatements.org/vocab/InC/1.0/</dc:rights>
<dc:subject xml:lang="es">Seguridad</dc:subject>
<dc:subject xml:lang="es">Seguridad de sistemas</dc:subject>
<dc:subject xml:lang="es">Fiabilidad</dc:subject>
<dc:subject xml:lang="es">Congresos</dc:subject>
<dc:subject xml:lang="es">Casos prácticos</dc:subject>
<dc:subject xml:lang="es">Sistemas informáticos</dc:subject>
<dc:subject xml:lang="es">Prevención de riesgos</dc:subject>
<dc:subject xml:lang="es">Inteligencia artificial</dc:subject>
<dc:subject xml:lang="es">Error humano</dc:subject>
<dc:subject xml:lang="es">Evaluación de riesgos</dc:subject>
<dc:subject xml:lang="es">Programas informáticos</dc:subject>
<dc:subject xml:lang="es">Ingeniería de seguridad</dc:subject>
<dc:type xml:lang="es">Books</dc:type>
<dc:title xml:lang="es">Safer systems : proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997</dc:title>
<dc:format xml:lang="es">283 p. ; 24 cm</dc:format>
</rdf:Description>
</rdf:RDF>