![]() |
|
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 |
Lorenzo Strigini, City University, London, UK |
![]() |
John Penny, Civil Aviation Authority, UK The Regulation of Air Navigation Services: Some Current Issues |
|
Natasha Neogi, Univ. of Illinois at Urbana-Champaign, USA Assuring Emergent Properties Under Composition: A Case Study of Aerospace Systems |
Nicholas Multari, Boeing, Washington, USA LANs in Aircraft, Including Safety and Security Issues |
Paul Caseley, Defence Science and Technology Laboratory, Malvern, UK Problems and Holy Grails in Dependability |
|
George Cleland, Adelard LLP, London, UK Safety Cases: Challenges of Complexity and Traceability |
Stefan Poledna, TTTech, Vienna, Austria Experience and Issues in Aerospace Certification |
|
Johan Karlsson, Chalmers University, Göteborg, Sweden Program-level Soft Error Derating in a Brake-by-Wire System |
Yuji Hirao, Nagoaka University of Technology, Japan Functional Safety Experience on Railway Signalling in Japan |
|
Jean-Claude Laprie, LAAS-CNRS, Toulouse, France Safety Demonstration and Software Development |
Tim Kelly, University of York, UK Evidence Based Certification |
|
Bev Littlewood, City University, London, UK Panel on "Evidence and Arguments" |
|
Lorenzo Strigini, City University, London, UK Observations: To Common Issues Underlying the Presentations Today |
![]() |
Rick Schlichting, AT&T Labs, New Jersey, USA Overall Presentation and News |
![]() |
Jacob Abraham, University of Texas at Austin, USA Manufacturing Test of RF Systems |
![]() |
Mario Dal Cin, University of Erlangen - Nurenberg FAUmachine |
![]() |
Hermann Kopetz, TU Wien, Austria Fault Isolation and Error Containment in the TT-SoC |
![]() |
Haruo Yokota, Tokyo Institute of Technology, Japan An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Parallel Storage System |
![]() |
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 |
![]() |
Vicraj Thomas, Honeywell Laboratories, Minnesota, USA Assessing the Dependability of Sensor Network Information |
![]() |
Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign, USA Application-Aware Security |
![]() |
Saurabh Bagchi, Purdue University, USA Leaking Information through Covert Timing Channel |
![]() |
Aad van Moorsel, Newcastle University, UK Trust and Pricing |
![]() |
Eliane Martins, State University of Campinas, Brazil System Testing from UML Diagrams |
![]() |
Dan Siewiorek, Carnegie-Mellon University, ISA Radar Overview: A Cognitive Assistant that Learns to Help a Human User Handle Information Overload |
![]() |
Robin Bloomfield, City University, London, UK Dependability Analysis of Critical Infrastructures |
![]() |
Lorenzo Strigini, City University, London, UK The INDEED Project: Inderdisciplinary Design and Evaluation of Dependability |
![]() |
Names and Contact Information |