IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

57th Meeting

Ishigaki, Japan

January 21-25, 2010

Previous Page

Meeting Host
  Takashi Nanya, University of Tokyo, Japan

Program-at-a-Glance and Contents

Workshop on Dependable Operating Systems

Xavier Défago, JAIST, Japan
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7

Business Meeting

Research Reports

List of Attendees

Workshop  on Dependable Operating Systems 

January 22-23, 2010 (Friday/Saturday)

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

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

Session 3

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

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

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

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

Session 7  --  Workshop Wrapup
Jean Arlat, LAAS-CNRS, France
John Rushby, SRI International, US
Paulo Veríssimo, University of Lisbon, Portugal
.pdf icon  950 KB
.pdf icon   30 KB
.pdf icon   60 KB


Business Meeting

Rick Schlichting, AT&T Labs, US
Overall Presentation and News
.pdf icon  1.8 MB


Research Reports

January 25, 2010 (Monday)

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

List of Attendees

Names and Contact Information
.pdf icon  80 KB