Sunflower

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

52nd Meeting

Edinburgh, United Kingdom

June 28 - July 2, 2007

Previous Page

Meeting Host
  Tom Anderson, Newcastle University, UK


Program-at-a-Glance and Contents

Workshop on Achieving and Assessing Safety with Computing Systems

Workshop 
Coordinators
Lorenzo Strigini, City University, London, UK
Robin Bloomfield, City University, London, UK
Zbigniew Kalbarczyk, Univ of Illinois at Urbana-Champaign, USA
Introduction to the Workshop
Session 1 Safety and Complexity in Air Traffic Systems
Session 2 Safety and Security
Session 3 Safety, Security, Complexity, Scalability
Session 4 Evidence and Certification: On Board Systems in Transportation
Session 5 Safety and Assurance in Railway Systems
Session 6 Certification and Panel

Business Meeting

Research Reports

List of Attendees


Workshop  on Achieving and Assessing Safety with Computing Systems 

June 29/July 1, 2007 (Friday/Sunday)

Introduction

Lorenzo Strigini, City University, London, UK
Introduction to the Workshop

.pdf icon  28 KB 

Session 1  --   Safety and Complexity in Air Traffic Systems
John Penny, Civil Aviation Authority, UK
The Regulation of Air Navigation Services: Some Current Issues
.pdf icon  0.2 MB
Natasha Neogi,  Univ. of Illinois at Urbana-Champaign, USA
Assuring Emergent Properties Under Composition:  A Case Study of Aerospace Systems

.pdf icon  1.3 MB

Session 2  --  Safety and Security
Nicholas Multari, Boeing, Washington, USA
LANs in Aircraft, Including Safety and Security Issues
.pdf icon  0.3 MB

Session 3  --  Safety, Security, Complexity, Scalability

Paul Caseley, Defence Science and Technology Laboratory, Malvern, UK
Problems and Holy Grails in Dependability
TBD
George Cleland, Adelard LLP, London, UK
Safety Cases: Challenges of Complexity and Traceability
.pdf icon  0.5 MB

Session 4  --  Evidence and Certification: On Board Systems in Transportation
Stefan Poledna, TTTech, Vienna, Austria
Experience and Issues in Aerospace Certification

.pdf icon  0.9 MB
Johan Karlsson, Chalmers University, Göteborg, Sweden
Program-level Soft Error Derating in a Brake-by-Wire System
.pdf icon  0.2 MB

Session 5  --  Safety and Assurance in Railway Systems
Yuji Hirao, Nagoaka University of Technology, Japan
Functional Safety Experience on Railway Signalling in Japan

.pdf icon  0.7 MB
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France
Safety Demonstration and Software Development
.pdf icon  0.1 MB

Session 6  --  Certification and Panel
Tim Kelly, University of York, UK
Evidence Based Certification

.pdf icon  0.4 MB
Bev Littlewood, City University, London, UK
Panel on "Evidence and Arguments"
.pdf icon  20 KB  
Lorenzo Strigini, City University, London, UK
Observations: To Common Issues Underlying the Presentations Today
.pdf icon  16 KB  


 

Business Meeting

Rick Schlichting, AT&T Labs, New Jersey, USA
Overall Presentation and News
.pdf icon  1.5 MB

 

Research Reports - July 2, 2007 (Monday)

Jacob Abraham, University of Texas at Austin, USA
Manufacturing Test of RF Systems
.pdf icon  0.6 MB
Mario Dal Cin, University of Erlangen - Nurenberg
FAUmachine
.pdf icon  0.4 MB
Hermann Kopetz, TU Wien, Austria
Fault Isolation and Error Containment in the TT-SoC
.pdf icon  0.8 MB
Haruo Yokota, Tokyo Institute of Technology, Japan
An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Parallel Storage System
.pdf icon  0.8 MB
Roy Maxion, Carnegie-Mellon University, USA
Timing Keystrokes for Authentication
TBD  
Takashi Nanya, University of Tokyo and Japan Science and Technology Agency (JST), Japan
JST Research Initiative toward Dependability and Security 
  .pdf icon  44 KB
Vicraj Thomas, Honeywell Laboratories, Minnesota, USA
Assessing the Dependability of Sensor Network Information
.pdf icon 0.3 MB
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign, USA
Application-Aware Security
.pdf icon 0.3 MB
Saurabh Bagchi, Purdue University, USA
Leaking Information through Covert Timing Channel
.pdf icon 0.2 MB
Aad van Moorsel, Newcastle University, UK
Trust and Pricing
.pdf icon  60 KB
Eliane Martins, State University of Campinas, Brazil
System Testing from UML Diagrams
.pdf icon 0.2 MB
Dan Siewiorek, Carnegie-Mellon University, ISA
Radar Overview: A Cognitive Assistant that Learns to Help a Human User Handle Information Overload
.pdf icon 0.5 MB
Robin Bloomfield, City University, London, UK
Dependability Analysis of Critical Infrastructures
.pdf icon 2.7 MB
Lorenzo Strigini, City University, London, UK
The INDEED Project: Inderdisciplinary Design and Evaluation of Dependability
.pdf icon  56 KB

List of Attendees

Names and Contact Information
.pdf icon  32 KB