Computer Safety, Reliability and Security, Vol. 151
This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998.\ The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods:...
Search in google:
This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998.The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis3An Agenda for Specifying Software Components with Complex Data Models16Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns32Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems45Linking Hazard Analysis to Formal Specification and Design in B60Controlling your Design through your Software Process77Operator Errors and Their Causes89A Performance Comparison of Group Security Mechanisms103Towards Secure Downloadable Executable Content: The Java Paradigm117Model and Implementation of a Secure SW-Development Process for Mission Critical Software128Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems143'Profit by Safety' or Quackery in Biomedical Information Technology?159Towards Automated Proof of Fail-Safe Behaviour169Verifying a Time-Triggered Protocol in a Multi-language Environment185Methods and Languages for Safety-Related Real-Time Programming196ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation209A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools221Applying Formal Methods in Industry - The UseGat Project231Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture243Fault-Tolerant Communication in Large-Scale Manipulators254Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach267Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System284EURIS, a Specification Method for Distributed Interlockings296Object Oriented Safety Analysis of an Extra High Voltage Substation Bay306Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets319Safety Verification of Software Using Structured Petri Nets329Refinement of Safety-Related Hazards into Verifiable Code Assertions345A Conceptual Comparison of Two Commonly Used Safeguarding Principles359A Holistic View on the Dependability of Software-Intensive Systems369Verifying Integrity of Decision Diagrams380Author Index391
