18. SAFECOMP 1999: Toulouse, France

Invited Talk

• John D. Musa:
  Software Reliability Engineering in Industry. 1-12
  

Assessment and Certification

• Tim P. Kelly, John A. McDermid:
  A Systematic Approach to Safety Case Maintenance. 13-26
  
• Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson:
  SQUALE Dependability Assessment Criteria. 27-38
  
• Gerald Sonneck, Erwin Schoitsch:
  Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. 39-45
  

Safety Assessment and Human Factors (Poster Session)

• Gustav Dahll:
  Safety Evaluation of a Train Leader Telephone System. 46-57
  
• Rogério de Lemos, Amer Saeed:
  Safety Analysis Techniques for Validating Formal Models During Verification. 58-66
  
• Chris Johnson:
  Evaluating the Contribution of DesktopVR for Safety-Critical Applications. 67-78
  
• Lucia Vilela Leite Filgueiras:
  Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces. 79-88
  
• Fabio Paternò, Carmen Santoro, Sophie Tahmassebi:
  The Impact of Different Media on Safety and Usability of Interactive ATC Applications. 89-102
  

Human Factors

• Andrew Hussey:
  Patterns for Safer Human-Computer Interfaces. 103-112
  
• Laurence Rognin, Jean-Paul Blanquart:
  Impact of Communication on Systems Dependability: Human Factors Perspectives. 113-124
  
• Jin Mo, Yves Crouzet:
  A Method for Operator Error Detection Based on Plan Recognition. 125-138
  

Safety Assessment

• Yiannis Papadopoulos, John A. McDermid:
  Hierarchically Performed Hazard Origin and Propagation Studies. 139-152
  
• Heinrich Krebs, Swapan Mitra:
  Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. 153-162
  

Design for Safety (Poster Session)

• P. G. Beerthuizen, W. Kruidhof:
  System and Software Safety Analysis for the ERA Control Computer. 163-176
  
• Chin-Feng Fan, Swu Yih:
  Safety Markup Language: Concept and Application. 177-186
  
• Algirdas Pakstas, Igor Shagaev:
  Extendable Ground-to-Air Communication Architecture for CoDySa. 187-201
  
• José Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano:
  Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems. 202-215
  
• Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones:
  The Development of a Commercial ``Shrink-Wrapped Application'' to Safety Integrity Level 2: The DUST-EXPERT^TM Story. 216-225
  

Verification and Testing

• Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae:
  Safety Verification of Ada95 Programs Using Software Fault Trees. 226-238
  
• Philippe Robert:
  Programming Rule Static Verification for Reliable Software. 239-249
  
• Bernhard K. Aichernig:
  Automated Black-Box Testing with Abstract VDM Oracles. 250-259
  
• Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti:
  Towards Statistical Control of an Industrial Test Process. 260-271
  

Design for Safety

• Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky:
  Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. 272-285
  
• Chris Johnson:
  A First Step Towards the Integration of Accident Reports and Constructive Design Documents. 286-296
  
• Maria Wimmer, Antonio Rizzo, Mark-Alexander Sujan:
  A Holistic Design Concept to Improve Safety Related Control Systems. 297-309
  

Dependability Analysis and Evaluation

• Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla:
  Comparing Fault Trees and Bayesian Networks for Dependability Analysis. 310-322
  
• Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda:
  FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. 323-335
  
• Silke Kuball, John H. R. May, Gordon Hughes:
  Structural Software Reliability Estimation. 336-349
  

Formal Methods and Security (Poster Session)

• Kaisa Sere, Elena Troubitsyna:
  Hazard Analysis in Formal Specification. 350-360
  
• Monika Heiner, Maritta Heisel:
  Modeling Safety-Critical Systems with Z and Petri Nets. 361-374
  
• Yun Bai, Vijay Varadharajan:
  On Formal Languages for Sequences of Authorization Transformations. 375-384
  
• Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak:
  Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability. 385-395
  

Formal Methods

• Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber:
  Formal Design of Distributed Control Systems with Lustre. 396-409
  
• Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
  Formal Specification and Development of a Safety-Critical Train Management System. 410-419
  
• Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
  Formal Validation of the GUARDS Inter-Consistency Mechanism. 420-430
  
• A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar:
  A Graphical Environment for the Specification and Verification of Reactive Systems. 431-444
  

Security

• Gilles Trouessin:
  Dependability Requirements and Security Architectures for the Healthcare/Medical Sector. 445-458
  
• Sung-Min Lee, Tai-Yun Kim:
  Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature. 459-467
  
• David Peter Eames, Jonathan D. Moffett:
  The Integration of Safety and Security Requirements. 468-480
  

Last update Sat May 25 19:00:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page