Invited Talk |
Software Reliability Engineering in Industry / J. D. Musa |
Assessment and Certification |
A Systematic Approach to Safety Case Maintenance / T. P. Kelly ; J. A. McDermid |
SQUALE Dependability Assessment Criteria / Y. Deswarte ; M. Kaâniche ; P. Corneillie ; J. Goodson |
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project / G. Sonneck ; E. Schoitsch |
Safety Assessment and Human Factors (Poster Session) |
Safety Evaluation of a Train Leader Telephone System / G. Dahll |
Safety Analysis Techniques for Validating Formal Models During Verification / R. de Lemos ; A. Saeed |
Evaluating the Contribution of DesktopVR for Safety-Critical Applications / C. Johnson |
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces / L. V. L. Filgueiras |
The Impact of Different Media on Safety and Usability of Interactive ATC Applications / F. Paternò ; C. Santoro ; S. Tahmassebi |
Human Factors |
Patterns for Safer Human-Computer Interfaces / A. Hussey |
Impact of Communication on Systems Dependability: Human Factors Perspectives / L. Rognin ; J.-P. Blanquart |
A Method for Operator Error Detection Based on Plan Recognition / J. Mo ; Y. Crouzet |
Safety Assessment |
Hierarchically Performed Hazard Origin and Propagation Studies / Y. Papadopoulos |
Hardware Redundant Vital Computer - Demonstration of Safety on the Basis of Current Standards / H. Krebs ; S. Mitra |
Design for Safety (Poster Session) |
System and Software Safety Analysis for the ERA Control Computer / P.G. Beerthuizen ; W. Kruidhof |
Safety Markup Language: Concept and Application / C.-F. Fan ; S. Yih |
Extendable Ground-to-Air Communication Architecture for CoDySa / A. Pakstas ; I. Shagaev |
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems / J. C. Campelo ; P. Yuste ; F. Rodríguez ; P. J. Gil ; J. J. Serrano |
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTÖ Story / T. Clement ; I. Cottam ; P. Froome ; C. Jones |
Verification and Testing |
Safety Verification of Ada 95 Programs Using Software Fault Trees / S.-Y. Min ; Y.-K. Jang ; S.-D. Cha ; Y.-R. Kwon ; D.-H. Bae |
Programming Rule Static Verification for Reliable Software / P. Robert |
Automated Black-Box Testing with Abstract VDM Oracles / B. K. Aichernig |
Towards Statistical Control of an Industrial Test Process / G. Lombardi ; E. Peciola ; R. Mirandola ; A. Bertolino ; E. Marchetti |
Design for Safety |
Choosing Effective Methods for Diversity - How to Progress from Intuition to Science / P. Popov ; L. Strigini ; A. Romanovsky |
A First Step Towards the Integration of Accident Reports and Constructive Design Documents |
A Holistic Design Concept to Improve Safety Related Control Systems / M. Wimmer ; A. Rizzo ; M. Sujan |
Dependability Analysis and Evaluation |
Comparing Fault Trees and Bayesian Networks for Dependability Analysis / A. Bobbio ; L. Portinale ; M. Minichino ; E. Ciancamerla |
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems / A. Benso ; M. Rebaudengo ; M. Sonza Reorda |
Structural Software Reliability Estimation / S. Kuball ; J. May ; G. Hughes |
Formal Methods and Security (Poster Session) |
Hazard Analysis in Formal Specification / K. Sere ; E. Troubitsyna |
Modeling Safety-Critical Systems with Z and Petri Nets / M. Heiner ; M. Heisel |
On Formal Languages for Sequences of Authorization Transformations / Y. Bai ; V. Varadharajan |
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability / I. Czarnowski ; P. Jedrzejowicz ; E. Ratajczak |
Formal Methods |
Formal Design of Distributed Control Systems with Lustre / P. Caspi ; C. Mazuet ; R. Salem ; D. Weber |
Formal Specification and Development of a Safety-Critical Train Management System / A. Chiappini ; A. Cimatti ; C. Porzia ; G. Rotondo ; R. Sebastaini ; P. Traverso ; A. Villafiorita |
Formal Validation of the GUARDS Inter-Consistency Mechanism / C. Bernardeschi ; A. Fantechi ; S. Gnesi |
A Graphical Environment for the Specification and Verification of Reactive Systems / A. K. Bhattacharjee ; S. D. Dhodapkar ; S. Seshia ; R. K. Shyamasundar |
Security |
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector / G. Trouessin |
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature / S.-M. Lee ; T.-Y. Kim |
The Integration of Safety and Security Requirements / D. P. Eames ; J. Moffett |
Author Index |
Invited Talk |
Software Reliability Engineering in Industry / J. D. Musa |
Assessment and Certification |