Nicht aus der Schweiz? Besuchen Sie lehmanns.de
SAFECOMP ’93 -

SAFECOMP ’93

The 12th International Conference on Computer Safety, Reliability and Security

Janusz Gorski (Herausgeber)

Buch | Softcover
XV, 389 Seiten
1993 | 1. Softcover reprint of the original 1st ed. 1993
Springer Berlin (Verlag)
978-3-540-19838-3 (ISBN)
CHF 74,85 inkl. MwSt
The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences 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'93 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 International Program Com mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.

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?
Mehr entdecken
aus dem Bereich

von Chaos Computer Club

Buch | Softcover (2024)
KATAPULT Verlag
CHF 39,20