rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Directions in Safety-Critical Systems
    sub title: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993
  name:
    name part: Redmill, Felix.
    role:
      role term: creator
  name:
    name part: Anderson, Tom.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1993
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (IX, 286 pages)
  abstract: 0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.
  table of contents: 0 e From the contents: Certification of Safety Critical Systems in Germany -- Safety for European Space Agency Space Programmes -- Swedish State Railways' Experience with n-Version Programmed Systems -- Classification of Programmable Electronic Systems Operation for Testability -- Data Management in Clinical Laboratory Information Systems -- Developing an Environment for Computer-based Automotive Suspension and Steering Systems -- Tool Support for an Application-specific Language - SAM: A Tool to Support the Construction, Review and Evolution of Safety Arguments -- The Need for Evidence from Disparate Sources to Evaluate Software Safety -- A Modified Hazop Methodology for Safety Critical System Assessment -- New Developments in Quality Management as a Pre-requisite to Safety -- An Industrial Approach to Integrity Level Determination and Safety Interlock System Implementation.
  note: edited by Felix Redmill, Tom Anderson.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Computer system performance
  subject:
    topic: Software engineering
  subject:
    topic: Biology
    topic: Data processing
  subject:
    topic: Physics
  subject:
    topic: Engineering
  subject:
    topic: Business planning
  subject:
    topic: Management information systems
  classification: QA76.758
  classification: 005.1
  identifier: 9781447120377 (electronic bk.)
  identifier: 144712037X (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422221559.0
    record identifier: in00003546120
    language of cataloging:
      language term: eng