| Formal Methods I - Analysis and Specification |
| CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed |
| An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel |
| Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns / H. Rust |
| Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems / V. David ; J. Delcoigne ; E. Leret ; A. Ourghanlian ; P. Hilsenkopf ; P. Paris |
| Linking Hazard Analysis to Formal Specification and Design in B / K. Lano ; P. Kan ; A. Sanchez |
| Management and Human Factors |
| Controlling Your Design through Your Software Process / N. MartÃn-Vivaldi ; P. Isacsson |
| Operator Errors and Their Causes / T. Grams |
| Security |
| A Performance Comparison of Group Security Mechanisms / A. Hutchison ; M. Wallbaum |
| Towards Secure Downloadable Executable Content: The Java Paradigm / J. Iliadis ; S. Gritzalis ; V. Oikonomou |
| Model and Implementation of a Secure SW-Development Process for |
| Mission Critical Software / F. Dafelmair |
| Impact of Object-Oriented Software Engineering Applied to the Development of |
| Security Systems / S. Jovalekic ; B. Rist |
| Medical Informatics |
| 'Profit by Safety' or Quackery in Biomedical Information Technology? / B.A. de Mol ; F. Koornneef |
| Formal Methods II - Languages and Verification |
| Towards Automated Proof of Fail-safe Behaviour / P. Liggesmeyer ; M. Rothfelder |
| Verifying a Time-Triggered Protocol in a Multi-language Environment / A. Merceron ; M. Müllerburg ; G.M. Pinna |
| Methods and Languages for Safety-Related Real-Time Programming / W.A. Halang ; A.H. Frigeri |
| ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation / A. Lindner |
| Applications |
| A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools / P. Bertoli ; A. Cimatti ; F. Giunchiglia ; P. Traverso |
| Applying Formal Methods in Industry - The UseGat Project / S. Bologna ; R. Bove ; G. Dipoppa ; G. Biondi ; G. Mongardi ; C. Porzia ; B.G. Mortensen ; N. Kirkegaard |
| Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture / Th. Ringler ; J. Steiner ; R. Belschner ; B. Hedenetz |
| Fault-Tolerant Communication in Large-Scale Manipulators / H.-D. Kochs ; W. Geisselhardt ; H. Hilmer ; M. Lenord |
| Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach / E. Dilger ; T. Fuehrer ; B. Müller |
| Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System / D. Romano ; F. Torielli |
| EURIS, a Specification Method for Distributed Interlockings / F.v.Dijk ; W. Fokkink ; G. Kolk ; P.v.d.Ven ; B.v.Vlijmen |
| Object Oriented Safety Analysis of an Extra High Voltage Substation Bay / B. Nowicki ; J. Górski |
| Formal Methods III - Petri Nets |
| Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets / F. Saglietti |
| Safety Verification of Software Using Structured Petri Nets / K. Sacha |
| Reliability |
| Refinement of Safety-Related Hazards into Verifiable Code Assertions / K. Wong ; J. Joyce |
| A Conceptual Comparison of Two Commonly Used Safeguarding Principles / B. Knegtering ; A. Brombacher |
| A Holistic View on the Dependability of Software-Intensive Systems / G. Sonneck ; E. Schoitsch ; L. Strigini |
| Verifying Integrity of Decision Diagrams / R. Drechsler |
| Author Index |
| Formal Methods I - Analysis and Specification |
| CoRSA - A Constraint Based Approach to Requirements and Safety Analysis / K. Hollingworth ; A. Saeed |
| An Agenda for Specifying Software Components with Complex Data Models / K. Winter ; T. Santen ; M. Heisel |
図書
