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

<?xml version="1.0" encoding="UTF-8"?><modsCollection xmlns="http://www.loc.gov/mods/v3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-8.xsd">
<mods version="3.8">
<titleInfo>
<title>Safer systems</title>
<subTitle>: proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997</subTitle>
</titleInfo>
<name type="personal" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080113223">
<namePart>Redmill, Felix</namePart>
<nameIdentifier>MAPA20080113223</nameIdentifier>
</name>
<name type="personal" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080060725">
<namePart>Anderson, Tom</namePart>
<nameIdentifier>MAPA20080060725</nameIdentifier>
</name>
<name type="conference" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080488499">
<namePart>Safety-critical Systems Symposium 5º 1997 Brighton</namePart>
<nameIdentifier>MAPA20080488499</nameIdentifier>
</name>
<typeOfResource>text</typeOfResource>
<originInfo>
<place>
<placeTerm type="code" authority="marccountry">gbr</placeTerm>
</place>
<issuance>monographic</issuance>
<place>
<placeTerm type="text">London</placeTerm>
</place>
<publisher>Springer</publisher>
<publisher>Felix Redmill</publisher>
<dateIssued>1997</dateIssued>
</originInfo>
<language>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription>
<form authority="marcform">print</form>
<extent>283 p. 24 cm</extent>
</physicalDescription>
<abstract displayLabel="Summary">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</abstract>
<note type="statement of responsibility">Felix Redmill and Tom Anderson (Eds)</note>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080552619">
<topic>Seguridad</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080603700">
<topic>Seguridad de sistemas</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080554378">
<topic>Fiabilidad</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080550233">
<topic>Congresos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080571566">
<topic>Casos prácticos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080604035">
<topic>Sistemas informáticos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080603038">
<topic>Prevención de riesgos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080611200">
<topic>Inteligencia artificial</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080562250">
<topic>Error humano</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080601522">
<topic>Evaluación de riesgos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080608118">
<topic>Programas informáticos</topic>
</subject>
<subject authority="lcshac" xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="MAPA20080611088">
<topic>Ingeniería de seguridad</topic>
</subject>
<classification authority="">80</classification>
<location>
<url displayLabel="MÁS INFORMACIÓN" usage="primary display">mailto:centrodocumentacion@fundacionmapfre.org?subject=Consulta%20de%20una%20publicaci%C3%B3n%20&body=Necesito%20m%C3%A1s%20informaci%C3%B3n%20sobre%20este%20documento%3A%20%0A%0A%5Banote%20aqu%C3%AD%20el%20titulo%20completo%20del%20documento%20del%20que%20desea%20informaci%C3%B3n%20y%20nos%20pondremos%20en%20contacto%20con%20usted%5D%20%0A%0AGracias%20%0A</url>
</location>
<identifier type="isbn">3-540-76134-9</identifier>
<recordInfo>
<recordContentSource authority="marcorg">MAP</recordContentSource>
<recordCreationDate encoding="marc">971215</recordCreationDate>
<recordChangeDate encoding="iso8601">20220911193101.0</recordChangeDate>
<recordIdentifier source="MAP">MAP20070029168</recordIdentifier>
<languageOfCataloging>
<languageTerm type="code" authority="iso639-2b">spa</languageTerm>
</languageOfCataloging>
</recordInfo>
</mods>
</modsCollection>