Table of Contents

• Fetching Primary and Redundant Instructions in Turn for a Fault-Tolerant Embedded MicroprocessorShijian Zhang, Weiwu Hu. 1-8 [doi]
• Conjoined Pipeline: Enhancing Hardware Reliability and Performance through Organized Pipeline RedundancyViswanathan Subramanian, Arun K. Somani. 9-16 [doi]
• Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection CampaignsWeiguang Sheng, Liyi Xiao, Zhigang Mao. 17-23 [doi]
• On-line Monitoring of Real Time Applications for Early Error DetectionThomas Robert, Jean-Charles Fabre, Matthieu Roy. 24-31 [doi]
• The Schemes to Develop Dependable System Using COTSKoji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai. 32-39 [doi]
• Language and Tool Support for Model Checking of Fault-Tolerant Distributed AlgorithmsTakahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno. 40-47 [doi]
• On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale SystemsJulien Clement, Thomas Hérault, Stéphane Messika, Olivier Peres. 48-55 [doi]
• VTV - A Voting Strategy for Real-Time SystemsHüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin. 56-63 [doi]
• A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted ProcessesRoberto Baldoni, Marco Platania, Leonardo Querzoni, Sirio Scipioni. 64-72 [doi]
• Constructing Liberation Codes Using Latin SquaresGang Wang, Xiaoguang Liu, Sheng Lin, Guangjun Xiu, Jing Liu. 73-80 [doi]
• RAS Modeling of an HPC Switch SystemDong Tang, William Bryson, Richard Elling. 81-86 [doi]
• On Modeling the Lifetime Reliability of Homogeneous Manycore SystemsLin Huang, Qiang Xu. 87-94 [doi]
• Modeling Perfect and Minimal Rejuvenation for Client Server Systems with Heterogeneous LoadVasilis P. Koutras, Agapios N. Platis. 95-103 [doi]
• Dependable Overlay NetworksHakem Beitollahi, Geert Deconinck. 104-111 [doi]
• Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum. 112-121 [doi]
• A Process Health Status Service for Safety Related Systems Using TT/ET Communication SchedulingCarl Bergenhem, Johan Karlsson. 122-131 [doi]
• Application of Flexible and Efficient Campus Curriculum SystemsChia-Chen Yen, Jih-Shih Hsu. 132-137 [doi]
• Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit RedundanciesBogdan Tomoyuki Nassu, Takashi Nanya, Hiroshi Nakamura. 138-145 [doi]
• Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address ErrorsRoberto Jung Drebes, Takashi Nanya. 146-152 [doi]
• Towards Adaptive Covert Communication SystemFedor V. Yarochkin, Shih-Yao Dai, Chih-Hung Lin, Yennun Huang, Sy-Yen Kuo. 153-159 [doi]
• Orderly Random Testing for Both Hardware and SoftwareShiyi Xu. 160-167 [doi]
• A Study of Modified Testing-Based Fault Localization MethodYu-Min Chung, Chin-Yu Huang, Yu-Chi Huang. 168-175 [doi]
• Bayesian Inference Approach for Probabilistic Analogy Based Software Maintenance Effort EstimationY. F. Li, M. Xie, T. N. Goh. 176-183 [doi]
• Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite SystemsJennifer Black, Philip Koopman. 184-191 [doi]
• SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable NetworksBo Zhang, Binoy Ravindran. 192-199 [doi]
• Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication SchemesChristian Storm, Timo Warns, Oliver E. Theel. 200-207 [doi]
• Eventual Leader Election in the Crash-Recovery Failure ModelCristian Martín, Mikel Larrea. 208-215 [doi]
• A Greedy Technique for Finding the Most Reliable Edge-Disjoint-Path-Set in a NetworkRuen Chze Loh, Sieteng Soh, Mihai Lazarescu, Suresh Rai. 216-223 [doi]
• A New Paradigm for Software Reliability Modeling - From NHPP to NHGPTomotaka Ishii, Tadashi Dohi. 224-231 [doi]
• Hyper-Erlang Software Reliability ModelHiroyuki Okamura, Tadashi Dohi. 232-239 [doi]
• PRASE: An Approach for Program Reliability Analysis with Soft ErrorsJianjun Xu, Rui Shen, Qingping Tan. 240-247 [doi]
• Componentization of Fault Tolerance Software for Fine-Grain AdaptationThomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian. 248-255 [doi]
• An Online Control Flow Check for VLIW ProcessorHung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen. 256-264 [doi]
• Generic Design and Automatic Deployment of NMR Strategies on HW CoresJuan Carlos Ruiz, David de Andrés, Sara Blanc, Pedro J. Gil. 265-272 [doi]
• Transient Fault Tolerance on Chip Multiprocessor Based on Dual and Triple Core RedundancyRui Gong, Kui Dai, Zhiying Wang. 273-280 [doi]
• Three-Level Error Control Coding for Dependable Solid-State DrivesHaruhiko Kaneko, Takuya Matsuzaka, Eiji Fujiwara. 281-288 [doi]
• Effect of Intrusion Detection on Failure Time of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc NetworksJin-Hee Cho, Ing-Ray Chen, Phu-Gui Feng. 289-296 [doi]
• Training Security Assurance Teams Using Vulnerability InjectionJosé Fonseca, Marco Vieira, Henrique Madeira. 297-304 [doi]
• Runtime Security Adaptation Using Adaptive SSLChristiaan J. Lamprecht, Aad P. A. van Moorsel. 305-312 [doi]
• Assessing and Comparing Security of Web ServersNaaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira. 313-322 [doi]
• Availability Modeling of SIP Protocol on IBM(c) WebSphere(c)Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew Rindos, W. Earl Smith, Bart Vashaw. 323-330 [doi]
• Availability Analysis of Robotic Swarm SystemsYansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen. 331-338 [doi]
• Error Behavior Comparison of Multiple Computing Systems: A Case Study Using Linux on Pentium, Solaris on SPARC, and AIX on POWERDaniel Chen, Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Bruce G. Mealey. 339-346 [doi]
• Path Delay Fault Test Set for Two-Rail Logic CircuitsKazuteru Namba, Hideo Ito. 347-348 [doi]
• Finding the Optimal Configuration of a Cascading TMR SystemMasashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno. 349-350 [doi]
• Reliability Quantification of the Tree Structure Based Distributed SystemDianfu Ma, Min Liu, Yongwang Zhao, Dou Sun. 351-352 [doi]
• A Functional Unit with Small Variety of Highly Reliable CellsK. Suzuki, T. Nakada, M. Nakanishi, S. Yamashita, Y. Nakashima. 353-354 [doi]
• Considering Fault Correction Lag in Software Reliability ModelingYanjun Shu, Zhibo Wu, Hongwei Liu, Xiaozong Yang. 355-356 [doi]
• Efficient Dynamic Indexing Methods for Communication-Induced Checkpointing ProtocolsJichiang Tsai, Wu-Hong Chen, Che-Cheng Chang. 357-358 [doi]