2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)最新文献_第2页

Towards a Security-Enhanced Cloud Platform 迈向安全增强的云平台

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00042

Junsik Seo, Jaehyun Nam, Seungwon Shin

引用次数: 1

[Title page i] [标题页i]

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/prdc.2018.00001

引用次数: 0

On IoT Misbehavior Detection in Cyber Physical Systems 网络物理系统中物联网不当行为检测研究

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00033

I. You, Kangbin Yim, Vishal Sharma, Gaurav Choudhary, I. Chen, Jin-Hee Cho

引用次数: 15

[Copyright notice] (版权)

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/prdc.2018.00003

引用次数: 0

Methods for Approximate Adders Reliability Estimation Based on PTM Model 基于PTM模型的加法器可靠性近似估计方法

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00038

Jianhui Jiang, Guangming Lu, Zhen Wang

{"title":"Methods for Approximate Adders Reliability Estimation Based on PTM Model","authors":"Jianhui Jiang, Guangming Lu, Zhen Wang","doi":"10.1109/PRDC.2018.00038","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00038","url":null,"abstract":"Approximate adders have become a focus of approximate circuit design. However, there has been a lack of appropriate methods to evaluate their reliability. The existing analytical methods for accurate circuits cannot be applied to approximate circuits directly, and the Monte-Carlo simulation is time-consuming. Some metrics such as worst-case error, error distance, mean error distance and normalized error distance have been used to describe the reliability characters and arithmetic performance of approximate circuits, but they cannot directly calculate the reliability. This paper presents two methods for approximate adders reliability estimation based on the probabilistic transfer matrix (PTM) model. The first method takes the sum of the probabilities of all acceptable outputs as the probability of acceptable result corresponding to each input. The second method calculates the probability of acceptable result according to the deviation between the acceptable output and exact output. The reliability of approximate adders is calculated by combining the probabilities of the input vectors and those of the corresponding acceptable results. Experimental results demonstrate the validity and accuracy of the proposed methods.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127790469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

[Title page iii] [标题页iii]

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/prdc.2018.00002

引用次数: 0

Control Flow Checking Optimization Based on Regular Patterns Analysis 基于规则模式分析的控制流检测优化

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00036

Zhiqi Zhu, Joseph Callenes-Sloan, Benjamin Carrión Schäfer

{"title":"Control Flow Checking Optimization Based on Regular Patterns Analysis","authors":"Zhiqi Zhu, Joseph Callenes-Sloan, Benjamin Carrión Schäfer","doi":"10.1109/PRDC.2018.00036","DOIUrl":"https://doi.org/10.1109/PRDC.2018.00036","url":null,"abstract":"With the continuous sub-micron process scaling, reliability of integrated circuits has quickly become a first-order design concern. In modern computing systems, transient errors are increasingly likely to corrupt the computation by altering the control flow or sequencing of instructions, leading to catastrophic failures. Prior work on control flow checking provides good coverage but at a high cost. In this paper, by exploring regular control flow patterns found in most applications, we propose the optimization schemes for software signature control flow checking that could reduce the error detection overheads. Specifically, we leverage the fact that most applications have: (1) simple fan-in / fan-out control flow patterns, and (2) most of control flows can be predicted during the compilation stage through static branch prediction heuristics. By exploiting these opportunities, we propose two techniques to reduce the number of inserted codes at common paths and simplify control flow checking of irregular patterns with minimal overheads. Experimental results on a variety of applications demonstrate that our approaches could reduce checking overhead by almost 2.5x on average while leading to similar fault coverage compared to traditional control flow checking.","PeriodicalId":409301,"journal":{"name":"2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130606965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems 基于混合自动机的室内温度变化建模及热问题检测

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00024

Zhengguo Yang, Toshiaki Aoki, Yasuo Tan

引用次数: 1

An Improved Data Error Detection Technique for Dependable Embedded Software 一种改进的可靠嵌入式软件数据错误检测技术

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00037

Venu Babu Thati, J. Vankeirsbilck, Niels Penneman, D. Pissoort, J. Boydens

引用次数: 6

Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems 确定保护网络物理系统安全的可容忍攻击面

2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) Pub Date : 2018-12-01 DOI: 10.1109/PRDC.2018.00023

C. Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, W. G. Temple, W. Sanders

引用次数: 4