skip to content
The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007 Preview this item
ClosePreview this item
Checking...

The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007

Author: Felix Redmill; Tom Anderson
Publisher: London : Springer, 2007.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. This work covers a broad spectrum of safety issues. It offers a  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: 9781846288050 1846288053
OCLC Number: 80332661
Description: x, 261 pages : illustrations ; 24 cm
Contents: Interdependence of Safety and Security.- Achieving Safety through Security Management.- Towards a Unified Approach to Safety and Security in Automotive Systems.- Dependability-by-Contract.- Demonstrating Safety.- Achieving Integrated Process and Product Safety Arguments.- The Benefits of Electronic Safety Cases.- Safety Management.- A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).- A Proactive Approach to Enhancing Safety Culture.- Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.- Trends in Safety Case Development.- Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.- The Sum of its Parts.- Lessons in Safety Assessment.- Independently Assessing Legacy Safety Systems.- Safety Assessments of Air Traffic Systems.- CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture.- High Integrity from Specification to Code.- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.- Formalising C and C++ for Use in High Integrity Systems.
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/80332661> # The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "80332661" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://dewey.info/class/363.11/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh2008104566> ; # Industrial safety--Management
   schema:about <http://id.worldcat.org/fast/822715> ; # Automatic control--Reliability
   schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
   schema:about <http://experiment.worldcat.org/entity/work/data/900891549#Topic/automatic_control_reliability> ; # Automatic control--Reliability
   schema:about <http://id.worldcat.org/fast/971698> ; # Industrial safety--Management
   schema:about <http://experiment.worldcat.org/entity/work/data/900891549#Thing/safety_critical_systems> ; # Safety critical systems
   schema:about <http://experiment.worldcat.org/entity/work/data/900891549#Topic/computer_software_reliability> ; # Computer software--Reliability
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900891549#Person/anderson_tom_1947> ; # Tom Anderson
   schema:contributor <http://experiment.worldcat.org/entity/work/data/900891549#Person/redmill_felix> ; # Felix Redmill
   schema:creator <http://experiment.worldcat.org/entity/work/data/900891549#Meeting/safety_critical_systems_symposium_15th_2007_bristol_england> ; # Safety-Critical Systems Symposium (15th : 2007 : Bristol, England)
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/900891549> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007"@en ;
   schema:productID "80332661" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/80332661#PublicationEvent/london_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/900891549#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/toc/fy0713/2007390525.html> ;
   schema:workExample <http://worldcat.org/isbn/9781846288050> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA707018> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/80332661> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/900891549#Meeting/safety_critical_systems_symposium_15th_2007_bristol_england> # Safety-Critical Systems Symposium (15th : 2007 : Bristol, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/900891549#Place/bristol_england> ; # Bristol, England)
   schema:name "Safety-Critical Systems Symposium (15th : 2007 : Bristol, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900891549#Person/anderson_tom_1947> # Tom Anderson
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Anderson" ;
   schema:givenName "Tom" ;
   schema:name "Tom Anderson" ;
    .

<http://experiment.worldcat.org/entity/work/data/900891549#Person/redmill_felix> # Felix Redmill
    a schema:Person ;
   schema:familyName "Redmill" ;
   schema:givenName "Felix" ;
   schema:name "Felix Redmill" ;
    .

<http://experiment.worldcat.org/entity/work/data/900891549#Place/bristol_england> # Bristol, England)
    a schema:Place ;
   schema:name "Bristol, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/900891549#Thing/safety_critical_systems> # Safety critical systems
    a schema:Thing ;
   schema:name "Safety critical systems" ;
    .

<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://worldcat.org/isbn/9781846288050>
    a schema:ProductModel ;
   schema:isbn "1846288053" ;
   schema:isbn "9781846288050" ;
    .

<http://www.worldcat.org/title/-/oclc/80332661>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/80332661> ; # The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
   schema:dateModified "2016-05-09" ;
   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.