عنوان

SAFECOMP '93 :

شابک

0387198385

شابک

3540198385

شابک

9780387198385

شابک

9783540198383

شماره

b565400

عنوان اصلي

SAFECOMP '93 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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.

محل نشرو پخش و غیره

London ; Berlin ; Heidelberg

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1993

نام خاص و کميت اثر

XV, 388 Seiten : Diagramme

متن يادداشت

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.

مستند نام اشخاص تاييد نشده

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.

مستند نام اشخاص تاييد نشده

Franco-Polish School of New Information and Communication Technologies. Poznán.

مستند نام اشخاص تاييد نشده

Janusz Górski

مستند نام اشخاص تاييد نشده

SAFECOMP. 12, 1993, Poznań.

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y