Safe Comp 97 -

. .

Résumé :
..

Sommaire:
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.