IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

61st Meeting

Sainte-Luce, Martinique, France

January 26-30, 2012

Previous Page

Meeting Host
  David Powell, LAAS-CNRS, FR

Program-at-a-Glance and Contents

Workshop on Dependability and Fault Tolerance

David Powell, LAAS-CNRS, FR
Rick Schlichting, AT&T, US
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7

Business Meeting

List of Attendees

Workshop  on Dependability and Fault Tolerance 

January 27-28 (Saturday/Sunday)

Session 1
Farnam Jahanian, NSF/Univ. of Michigan
Innovating for Society: The Growing Imperative for Dependability Research and Practice
.pdf icon 6.6 MB
Takashi Nanya, Canon
Toward Dependability for Information Society
.pdf icon 2.8 MB
Luca Simoncini, Univ of Pisa, IT
Socio-Technical Complex Systems of Systems: Can we Justifiably Trust their Resilience?
.pdf icon 170 KB

Session 2
António Casimiro, Univ. of Lisbon, PT
A FIT Event Broker for Trustworthy Infrastructure Monitoring and Management
.pdf icon 2.4 MB
Roy Maxion, CMU, US
Behavioral Biometrics for Detecting Insiders
.pdf icon 280 KB
Mohamed Kaâniche, LAAS-CNRS, FR
A Clustering Approach for Web Vulnerabilities Detection
.pdf icon 885 KB

Session 3

Roberto Baldoni, Univ. of Rome, IT
Byzantine Fault Tolerance in Dynamic Distributed Systems
.pdf icon  775 KB
Nuno Neves, Univ. of Lisbon, PT
Resilient SIEM Systems: How to Prevent the Naked Guard Syndrome
.pdf icon  985 KB
Marco Vieira, Univ. of Coimbra, PT
Robustness and Security Testing in SOA
.pdf icon  1.1 MB

Session 4
Gernot Heiser, NICTA/Univ. of New South Wales, AU
Progress Towards a Trustworthy Systems Platform
.pdf icon  4.2 MB
Gille Muller, INRIA/LIP6, FR
Diagnosys: Automatic Generation of a Debugging Kernal Interface for Linux Services
.pdf icon   72 KB
Algirdas Avižienis, UCLA, US/Vytautas Magnus Univ., LT
An Age-Old Question for Tomorrow: Who will Guard the Guardians?
.pdf icon  1.5 MB

Session 5
John Rushby, SRI, US
On Emergent Misbehavior
.pdf icon   47 KB
Brian Randell, Newcastle Univ., UK
Structured Occurrence Nets: Failure Analysis of Complex Evolving Systems
.pdf icon  1.4 MB
Karama Kanoun, LAAS-CNRS, FR
Impact of On-Line Operational Reliability Re-Assessment on Aircraft Maintenance Policy
.pdf icon  775 KB

Session 6
Hermann Kopetz, TU-Vienna, AT
Basic Concepts in Dependable Real-Time Systems
.pdf icon  690 KB
David Powell, LAAS-CNRS, FR
Testing the Timing Robustness of the Functional Software Layer of an Autonomous Robot
.pdf icon  2.3 MB
Andrea Bondavalli, Univ. of Florence, IT
ALARP: A Railway Autonomic Track Warning System based on Distributed Personal Mobile Terminals
.pdf icon  4.6 MB

Session 7
Paulo Verissimo, Univ. of Lisbon, PT
The Navigators Group: A Bird's Eye View of Current International Projects
.pdf icon  3.9 MB
Priya Narasimhan, CMU, US
Failure Diagnosis and Visualization for Cloud Computing
.pdf icon  1.6 MB
Roy Campbell, Univ of Illinois at Urbana-Champaign, US
Assured Cloud Computing
.pdf icon  2.2 MB

Business Meeting

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

List of Attendees

Names and Contact Information
.pdf icon  32 KB