Mario Tokoro, Sony CSL, Japan Challenges to Open Systems Dependability	900 KB
David Powell, LAAS-CNRS, France Connecting your Coffee-Shop Laptop to a Life-Critical System	1.0 MB

Session 2

Neeraj Suri, TU-Darmstadt, Germany On Evaluating OS Dependability: The Fun (& Science) of Experimental Approaches	1.9 MB
Toshinori Takai, Hiroki Takamura, AIST, Japan Dependability Standards and our Challenge to Establish a New Standard for Open Systems	1.1 MB

Session 3

Gilles Muller, LIP6, INRIA, France Improving OS Safety using the Coccinelle Program Matching and Transformation Tool	750 KB
Yasuhiko Yokote, JST Dependable Embedded OS Center and Sony, Japan Evidence-Based Computing for Dependability	8.9 MB
Kumio Kuramitsu, Yokohama National University, Japan Evidence-Based Computing for Dependability (Demo)	4.4 MB
Ravishankar Iyer, Univ. of Illinois at Urbana-Champaign, US Data on Kernel Failures and Security Incidents	1.7 MB

Session 4

Hermann Kopetz, TU-Vienna, Austria The Elimination of a Monolithic Operating Systems in the GENESYS MPSoC Architecture	1.2 MB
Yutaka Ishikawa, University of Tokyo, Japan P-Bus and DEOS Verification Tools: Safe Extension Infrastructure in the Linux Kernel	800 KB

Session 5

Gernot Heiser, Univ of New South Wales and NICTA, Australia Formally-Verified OS Kernel: A Basis for Reliable Systems?	3.5 MB
Toshiaki Aoki, JAIST, Japan Verification of Real Time Operating System with Model Checking	8.3 MB

Session 6

Tatsuo Nakajima, Waseda University, Japan A Composition Kernel for Multi-core Dependable Embedded Systems	2.9 MB
Jin Nakazawa, Keio University, Japan, Yutaka Matsuno, AIST, Japan Dependability Cases and Metrics for Open Systems Lifecyle	4.5 MB 4.1 MB

Session 7 -- Workshop Wrapup

Jean Arlat, LAAS-CNRS, France
John Rushby, SRI International, US
Paulo Veríssimo, University of Lisbon, Portugal

950 KB
30 KB
60 KB

Business Meeting

Rick Schlichting, AT&T Labs, US
Overall Presentation and News

Research Reports

January 25, 2010 (Monday)

Xavier Défago, JAIST, Japan Just a Couple of Things ....	700 KB
John Rushby, SRI International, US What Does Verification Achieve?	70 KB
Haruo Yokota, Tokyo Institute of Technology, Japan The Orchestration of Security, Performance, and Reliability for Stored Data	400 KB
Paulo Veríssimo, University of Lisbon, Portugal Designing Modular and Redundant Cyber Architectures for Process Control: Lessons Learned from the CRUTIAL Project	1.0 MB
Hiroshi Nakamura, University of Tokyo, Japan Ultra Low-Power VLSI with Fine Grain Runtime Power Gating	1.1 MB
Felicita Di Giandomenico, ISTI-CNR, Italy An Introduction to CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems	1.0 MB
Gernot Heiser, Univ of New South Wales and NICTA, Australia Improving the Dependabilty of Device Drivers	1.5 MB

Names and Contact Information