• SAFECOMP '97: The 16th International Conference on Computer Safety, Reliability and Security, York, 8-10 September 1997 See large image

    SAFECOMP '97: The 16th International Conference on Computer Safety, Reliability and Security, York, 8-10 September 1997 (Paperback) Edited by Peter Daniel

    $92.30 - Save $23.96 20% off - RRP $116.26 Free delivery worldwide Available
    Dispatched in 3 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    DescriptionThe safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).


Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10

 

Reviews | Bibliographic data
  • Full bibliographic data for SAFECOMP '97

    Title
    SAFECOMP '97
    Subtitle
    The 16th International Conference on Computer Safety, Reliability and Security, York, 8-10 September 1997
    Authors and contributors
    Edited by Peter Daniel
    Physical properties
    Format: Paperback
    Number of pages: 400
    Width: 156 mm
    Height: 234 mm
    Thickness: 20 mm
    Weight: 603 g
    Language
    English
    ISBN
    ISBN 13: 9783540761914
    ISBN 10: 3540761918
    Classifications

    BIC E4L: COM
    Nielsen BookScan Product Class 3: S10.2
    B&T Book Type: NF
    LC subject heading:
    B&T General Subject: 710
    Warengruppen-Systematik des deutschen Buchhandels: 16320
    B&T Modifier: Region of Publication: 04
    B&T Modifier: Academic Level: 02
    BIC subject category V2: UM
    DC22: 005.1
    B&T Merchandise Category: COM
    BIC subject category V2: URD
    BISAC V2.8: COM051230
    B&T Modifier: Text Format: 05
    BIC subject category V2: URY
    B&T Approval Code: A93663050
    BISAC V2.8: COM053000
    LC subject heading:
    BISAC V2.8: COM051240
    LC classification: QA76.9.E94, QA76.758
    Ingram Subject Code: XY
    B&T Approval Code: A93606425
    BIC subject category V2: UBH
    LC subject heading: , ,
    DC23: 005.1
    LC classification: QA76.76.R44 I55 1997, QA75.5-76.95
    LC subject heading:
    Thema V1.0: URD, UBH, UM, URY
    Edition statement
    Softcover reprint of the original 1st ed. 1997
    Illustrations note
    18 black & white illustrations, biography
    Publisher
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Imprint name
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Publication date
    01 October 1997
    Publication City/Country
    Berlin
    Table of contents
    Safe Software.- Software-based Safety-critical Systems: a Taxonomy.- Safety Assessment of Software Based Systems.- Safe and Reliable Computer Control Systems: an Overview.- Towards Dependable Software Requirement Specifications.- Safety Cases, Management and Development.- Safety Case Construction and Reuse Using Patterns.- A Systematic Approach to Software Safety Integrity Levels.- Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems.- Managing the Safety Argument using a Memory Prosthesis.- Security and Human Factors.- Safety and Security Requirements for an Advanced Train Control System.- Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools.- Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.- Design, Analysis and Implementation of a New Hash Function Based on Block Cipher.- Biometric Techniques Applied in Security Technology.- Guidelines, Standards and Certification.- High Integrity Ada.- Towards an Automotive 'Safer Subset' of C.- Computer Based Support for Standards and Processes in Safety Critical Systems.- An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers.- Formal Methods and Models.- Refinement and Safety Analysis.- Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.- Consistency Checking by Type Inference and Constraint Satisfaction.- Safe Combinations of Services using B.- An Object-Based Approach to Modelling and Analysis of Failure Properties.- Methodological Support for Formally Specifying Safety-Critical Software.- Applications and Industrial Experience.- Embedded Systems in Avionics and the SACRES Approach.- Towards Safer Industrial Computer Controlled Systems.- Safety Cases for Software-intensive Systems: an Industrial Experience Report.- Testing, Validation and Verification.- Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams.- Practical Assessment of Neural Network Applications.- Software Test Techniques for System Fault-Tree Analysis.- Author Index.