skip to content
Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004 Preview this item
ClosePreview this item
Checking...

Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004

Author: Felix Redmill; Tom Anderson
Publisher: London ; New York : Springer, ©2004.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Papers contain industrial experience, as well as academic research, and are presented under the headings of: Mature and Practical Formality, Managing Risk in the Railway Industry, Safety Integrity  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Felix Redmill; Tom Anderson
ISBN: 1852338008 9781852338008
OCLC Number: 53932665
Notes: "Safety-Critical Systems Club."
Description: x, 241 pages : illustrations ; 24 cm
Contents: Dear Sir, Yours faithfully : an everyday story of formality / Peter Amey --
Safe object-oriented software : the verified design-by-contract paradigm / David Crocker --
A rigorous specification technique for high quality software / John Warren and Robin Oldman --
Development and use of the UK Railway Network's safety risk model / Colin Dennis --
Safety decision making for the railway / Andrew Sharpe --
Methods of determining safety integrity level (SIL) requirements --
pros and cons / Bill Gulland --
An Examination of the IEC 61508 approach towards safety integrity levels and modes of operation of safety functions / Simon Brown --
Chasing shadows : science journalism and the politics of risk / Stuart Allan --
Completing the human safety jigsaw / Richard Scaife --
Evidence gathering using static code analysis / Chris Sampson --
Estimating PLC logic program reliability / Peter Bishop --
A systematic framework for the assessment of operating systems / Philippa Conmy and Steven Crook-Dawkins --
The changing face of UK safety legislation / Julian Hubbard --
Turning up the HEAT on safety case construction / Paul Chinneck, David Pumfrey and Tim Kelly.
Responsibility: Felix Redmill and Tom Anderson (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/53932665> # Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "53932665" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.loc.gov/authorities/subjects/sh2008104566> ; # Industrial safety--Management
   schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/145611731#Topic/computer_software_reliability> ; # Computer software--Reliability
   schema:about <http://id.worldcat.org/fast/971698> ; # Industrial safety--Management
   schema:about <http://experiment.worldcat.org/entity/work/data/145611731#Topic/automatic_control_reliability> ; # Automatic control--Reliability
   schema:about <http://id.worldcat.org/fast/822715> ; # Automatic control--Reliability
   schema:about <http://dewey.info/class/363.11/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/145611731#Topic/securite_du_travail_gestion> ; # Sécurité du travail--Gestion
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/93727943> ; # Tom Anderson
   schema:contributor <http://viaf.org/viaf/8126252> ; # Felix Redmill
   schema:copyrightYear "2004" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/145611731#Meeting/safety_critical_systems_symposium_12th_2004_birmingham_england> ; # Safety-Critical Systems Symposium (12th : 2004 : Birmingham, England)
   schema:datePublished "2004" ;
   schema:description "Dear Sir, Yours faithfully : an everyday story of formality / Peter Amey -- Safe object-oriented software : the verified design-by-contract paradigm / David Crocker -- A rigorous specification technique for high quality software / John Warren and Robin Oldman -- Development and use of the UK Railway Network's safety risk model / Colin Dennis -- Safety decision making for the railway / Andrew Sharpe -- Methods of determining safety integrity level (SIL) requirements -- pros and cons / Bill Gulland -- An Examination of the IEC 61508 approach towards safety integrity levels and modes of operation of safety functions / Simon Brown -- Chasing shadows : science journalism and the politics of risk / Stuart Allan -- Completing the human safety jigsaw / Richard Scaife -- Evidence gathering using static code analysis / Chris Sampson -- Estimating PLC logic program reliability / Peter Bishop -- A systematic framework for the assessment of operating systems / Philippa Conmy and Steven Crook-Dawkins -- The changing face of UK safety legislation / Julian Hubbard -- Turning up the HEAT on safety case construction / Paul Chinneck, David Pumfrey and Tim Kelly."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/145611731> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004"@en ;
   schema:productID "53932665" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/53932665#PublicationEvent/london_new_york_springer_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/145611731#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0818/2003067387-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9781852338008> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA3T4823> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/53932665> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/145611731#Meeting/safety_critical_systems_symposium_12th_2004_birmingham_england> # Safety-Critical Systems Symposium (12th : 2004 : Birmingham, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/145611731#Place/birmingham_england> ; # Birmingham, England)
   schema:name "Safety-Critical Systems Symposium (12th : 2004 : Birmingham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/145611731#Place/birmingham_england> # Birmingham, England)
    a schema:Place ;
   schema:name "Birmingham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/145611731#Topic/securite_du_travail_gestion> # Sécurité du travail--Gestion
    a schema:Intangible ;
   schema:name "Sécurité du travail--Gestion"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh2008104566> # Industrial safety--Management
    a schema:Intangible ;
   schema:name "Industrial safety--Management"@en ;
    .

<http://id.worldcat.org/fast/822715> # Automatic control--Reliability
    a schema:Intangible ;
   schema:name "Automatic control--Reliability"@en ;
    .

<http://id.worldcat.org/fast/872585> # Computer software--Reliability
    a schema:Intangible ;
   schema:name "Computer software--Reliability"@en ;
    .

<http://id.worldcat.org/fast/971698> # Industrial safety--Management
    a schema:Intangible ;
   schema:name "Industrial safety--Management"@en ;
    .

<http://viaf.org/viaf/8126252> # Felix Redmill
    a schema:Person ;
   schema:familyName "Redmill" ;
   schema:givenName "Felix" ;
   schema:name "Felix Redmill" ;
    .

<http://viaf.org/viaf/93727943> # Tom Anderson
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Anderson" ;
   schema:givenName "Tom" ;
   schema:name "Tom Anderson" ;
    .

<http://worldcat.org/isbn/9781852338008>
    a schema:ProductModel ;
   schema:isbn "1852338008" ;
   schema:isbn "9781852338008" ;
    .

<http://www.worldcat.org/title/-/oclc/53932665>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/53932665> ; # Practical elements of safety : proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, 17-19 February 2004
   schema:dateModified "2017-12-25" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.