|
" SAFECOMP '93 : "
the 12th International Conference on Computer Safety, Reliability and Security. Organ. by Franco-Polsh School of New Information and Communication Technologies. Ed. by Janusz Górski.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745451
|
| Doc. No
|
:
|
b565400
|
| Main Entry
|
:
|
the 12th International Conference on Computer Safety, Reliability and Security. Organ. by Franco-Polsh School of New Information and Communication Technologies. Ed. by Janusz Górski.
|
| Title & Author
|
:
|
SAFECOMP '93 : : Poznań-Kierkrz, Poland, 27-29 Oct. 1993\ the 12th International Conference on Computer Safety, Reliability and Security. Organ. by Franco-Polsh School of New Information and Communication Technologies. Ed. by Janusz Górski.
|
| Publication Statement
|
:
|
London ; Berlin ; Heidelberg : Springer, 1993
|
| Page. NO
|
:
|
XV, 388 Seiten : Diagramme
|
| ISBN
|
:
|
0387198385
|
|
|
:
|
: 3540198385
|
|
|
:
|
: 9780387198385
|
|
|
:
|
: 9783540198383
|
| Contents
|
:
|
Invited paper.- Safety-Status and Perspectives.- Session 1: Formal Methods and Models.- Data Flow Control Systems: an Example of Safety Validation.- Validating Safety Models with Fault Trees.- Composition and Refinement of Probabilistic Real-Time Systems.- The Application of Formal Methods for the Redevelopment of a Laboratory Information Managment System.- Session 2: Applications.- PLC-Implementation of Emergency Shut-Down Systems.- The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application.- Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations.- Session 3: Safety Assessment.- Programmable Electronic System Analysis Technique in Safety Critical Applications.- Safety Assessment-The Critical System Suppliers View.- Hazard Analysis Using HAZOP: A Case Study.- Session 4: Safety Analysis.- Safety Analysis of Clinical Laboratory Systems.- The Benefits of SUSI: Safety Analysis of User System Interaction.- Panel Session: Technology Transfer Between Academia and Industry.- Issues Affecting Technology Transfer and Experience with a Community Club.- Subsidiaries and Start-up Spin-off Companies of Inria.- Human Medium in Technology Transfer.- Technology Transfer-from Purpose to Practice.- Invited Paper.- Dependability: from Concepts to Limits.- Session 5: Verification and Validation.- The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software.- A Safety Critical Computer System in a Railway Application.- Session 6: Testing.- Confidently Assessing a Zero Probability of Software Failure.- A Knowledge-Based Approach to Program Testing and Analysis.- Session 7: Dependable Software.- Robust Requirements Specifications for Safety-Critical Systems.- Software Failure Data Analysis of two Successive Generations of a Switching System.- Software validation with CASE-TOOLS.- Session 8: Reliability Issues.- Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes.- Real-Time Detection of Failures of Reactive Systems.- Reliability and Safety Analysis of Hierarchical Voting Schemes.- Session 9: Languages.- Designing a High-level Language for Safety Systems.- Oreste: a Reliable Reactive Real-Time Language.- Invited Paper.- How Far Can You Trust a Computer?.- Session 10: Security.- Security Audit Trail Analysis Using Genetic Algorithms.- MRSA-a New Public Key Encription Method.- A Virus-Resistant Network Interface.- Session 11: Reactive Systems.- CIP - Communicating Interacting Processes: A Formal Method for the Development of Reactive Systems.- Exception Handling and Predictability in Hard Real-Time Systems.- Development of a Fail-Safe Data Transmission System for Use in Life-Critical Applications.- Author Index.
|
| Added Entry
|
:
|
Franco-Polish School of New Information and Communication Technologies. Poznán.
|
|
|
:
|
Janusz Górski
|
|
|
:
|
SAFECOMP. 12, 1993, Poznań.
|
| |