SAFECOMP ’93
Springer Berlin (Verlag)
978-3-540-19838-3 (ISBN)
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.
Erscheint lt. Verlag | 25.10.1993 |
---|---|
Zusatzinfo | XV, 389 p. |
Verlagsort | London |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 675 g |
Themenwelt | Informatik ► Netzwerke ► Sicherheit / Firewall |
Informatik ► Theorie / Studium ► Kryptologie | |
Technik ► Bauwesen | |
Technik ► Maschinenbau | |
Wirtschaft | |
Schlagworte | Control • Design • Manufacturing • Quality Control, Reliability, Safety and Risk • Reliability • Safety • security • Technology Transfer |
ISBN-10 | 3-540-19838-5 / 3540198385 |
ISBN-13 | 978-3-540-19838-3 / 9783540198383 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich