Program (PDF)

NOTE1: For the details about the Keynotes, please CLICK the name of each Keynote

NOTE2: For the location of conference, please refer to the Venue page

Day 1, Nov 19, 2014 (Executive Classroom)
  • 08:00-8:45:  Registration
  • 8:45-9:00:  PRDC Openning (Jin Song Dong & Liu Yang)
9:00-10:00:Keynote 1. Aditya P Mathur: Quantifying the Security of Cyber Physical Systems. Chair:Takashi Nanya (Executive Classroom)
10:00-10:30: Tea Break
10:30-12:10: Session 1:Fault Tolerant (Executive Classroom), Chair: Nobuyasu Kanekawa
  • A Fault Tolerant Architecture For Data Fusion Targeting Hardware and Software Faults. BADER Kaci, LUSSIER Benjamin, SCHÖN Walter
  • Design of Multi-Threaded Fault-Tolerant Connection-Oriented Communication. Filipe João Boavida Mendonça Machado Araújo, Fernando J. Barros
  • A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
  • Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantin Fault (Fast Abstract and Poster).Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai
12:10-14:00: Lunch Break
14:00-15:30:  Parallel Session 2A: Security Systems (Executive Classroom), Chair: Yang Liu 14:00-15:30:  Parallel Session 2B Hardware (Multipurpose Space), Chair: Takashi Nanya

Automatic Generation of Security Argument Graphs.Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA.Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara

Towards Secure and Dependable Authentication and Authorization Infrastructures. Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha
Protecting RAID Arrays Against Unexpectedly High Disk Failure Rates. Jehan-François Pâris, Thomas Schwarz, S. J., Ahmed Amer, Darrell D. E. Long

Lightweight Bare-metal Stateful Firewall. Yihuan Xing, Ford Long Wong, Akash Kumar
EA-EO: Endurance Aware Erasure Code for SSD-based Storage Systems. Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi
15:30-16:00: Tea Break
16:00-18:00:  Parallel Session 3A Algorithm (Executive Classroom), Chair: Shang-Wei Lin 16:00-18:00:  Parallel Session 3B Safety and Correctness (Multipurpose Space), Chair: David Sanan

A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. Ivano Irrera, Marco Vieira
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. Ludovic PINTARD, Jean-Charles FABRE, Michel LEEMAN, Karama KANOUN, Matthieu ROY

Algorithm Selection for Error Resilience in Scientific Computing. Joseph Callenes-Sloan, Hugh McNamara
The Nature and Content of Safety Contracts: Challenges and Suggestions For a Way Forward. Patrick Graydon, Iain Bate

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. Oday Jubran. Oliver Theel
FoxyFeed: Forging Device-level Asynchronous Events for Kernel Development. Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura

Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi
Locating a Faulty Interaction in Pair-Wise Testing (Fast Abstract and Poster). Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Simulation of software fault detection and correction processes considering different skill levels of debuggers (Fast Abstract and Poster). Rui Peng, F.R. Shahrzad
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude (Fast Abstract and Poster). Shohei Kotaki, Masato Kitakami

Day 2, Nov 20, 2014
9:00-10:00:Keynote 2. Roberto Baldoni: From perimetral defense to immune systems: protecting the national cyber space. Chair by: Jin Song Dong (Executive Classroom)
10:00-10:30: Tea Break
10:30-12:10: Session 4: Cloud (Executive Classroom), Chair: Guojun Wang
  • Computing Defects Per Million in Cloud caused by Virtual Machine Failures with Replication. Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi
  • Reliability of Geo-Replicated Cloud Storage Systems. Ilias Iliadis, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan
  • CloudBFT: Elastic Byzantine Fault Tolerance. Rodrigo Nogueira, Filipe Araujo, Raul Barbosa
  • Formalizing Google File System (Fast Abstract and Poster) Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
12:10-14:00: Lunch
12:00-14:00: SC meeting, COM2-03-15 - Discussion Rm 8 @ COM2 (invitation only)
14:00-15:40: Session 5Software Quality (Executive Classroom), Chair: Min Xie
  • Efficient VM Introspection in KVM and Performance Comparison with Xen. Kenichi Kourai, Kousuke Nakamura
  • Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. Jan Steffen Becker, Dilshod Rahmatov, Oliver Theel
  • Optimal Reliability Design for Real-time Systems with Dynamic Voltage and Frequency Scaling. Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura
  • Optimization of Partitioned Architectures to Support Soft Real-Time Applications (Fast Abstract and Poster). Domitian Tamas-Selicean, Paul Pop
15:50-18:30: Excursion at Garden By the Bay
18:30: Conference Banquet at MBS

Day 3, Nov 21, 2014
9:00-10:00:Keynote 3. Min Xie: Software reliability from a systems and dependability perspective. Chair by: Jun Sun (Executive Classroom)
10:00-10:30: Tea Break
10:30-12:00: Session 6: Distributed Systems (Executive Classroom), Chair: Tian Huat Tan
  • Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications. Md Zakirul Alam Bhuiyan, Guojun Wang
  • Responsiveness of Service Discovery in Wireless Mesh Networks. Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek
  • Reasoning about Group-Based Mobility in MANETs. Xi WU, Si LIU, Huibiao ZHU, Yongxin ZHAO
12:00-14:00: Closing and Lunch