检索结果-内蒙古大学图书馆

23rd Annual ACM Symposium on Applied Computing

作者： Gong Rui Chen Wei Liu Fang Dai Kui Wang Zhiying Natl Univ Def Technol Sch Comp Changsha 410073 Hunan Peoples R China

ISBN: (纸本)9781595937537

control flow checking is a commonly used method to promote the fault tolerance of embedded systems. Conventional control flow checking by software signatures (CFCSS) imposes large overheads on code size and performance. A control flow checking scheme based on 8051 architecture, the control flow checking and recovering by compiler signatures and hardware checking (CFCCH) is proposed in this paper. Compared to CFCSS, the CFCCH is preferred to be implemented on the 8051 architectures to efficiently reduce code size and program execution time while keep the same fault tolerant ability.

关键词： control flow checking Recovering 8051 Architecture

来源：评论

学校读者我要写书评

暂无评论

control flow checking Optimization Based On Regular Patterns Analysis 23

Control Flow Checking Optimization Based On Regular Patterns...

引用

23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)

作者： Zhu, Zhiqi Callenes-Sloan, Joseph Schafer, Benjamin Carrion Univ Texas Dallas Dept Elect & Comp Engn Richardson TX 75083 USA Calif Polytech State Univ San Luis Obispo Elect Engn Dept San Luis Obispo CA USA

ISBN: (纸本)9781538657003

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.

关键词： transient error detection control flow checking static branch prediction software signature faults injection

来源：评论

学校读者我要写书评

暂无评论

Graph-tree-based software control flow checking for COTS processors on pico-satellites

引用

Chinese Journal of Aeronautics 2013年第2期26卷 413-422页

作者： Yang Mu Wang Hao Zheng Yangming Jin Zhonghe Department of Information Science and Electronic Engineering Zhejiang University School of Aeronautics and Astronautics Zhejiang University

This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.

关键词： Branching error Commercial-off-the-shelf (COTS) control flow checking Error injection Graph tree On-board computer Pico-satellite

来源：评论

学校读者我要写书评

暂无评论

Bipartite graph-based control flow checking for COTS-based small satellites

引用

Chinese Journal of Aeronautics 2015年第3期28卷 883-893页

作者： Wang Honghao Wang Huiquan Jin Zhonghe Micro-satellite Research Center Zhejiang University

Abstract Single event upset （SEU） effect, caused by highly energized particles in aerospace, threatens the reliability and security of small satellites composed of commercialofftheshelves （COTS）. SEU induced control flow errors （CFEs） may cause unpredictable behavior or crashes of COTSbased small satellites. This paper proposes a generic softwarebased control flow checking technique （CFC） and bipartite graphbased control flow checking （BGCFC）. To simplify the types of illegal branches, it transforms the conventional control flow graph into the equivalent bipartite graph. It checks the legal ity of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead. Theoretical analysis shows that BGCFC can detect all types of internode CFEs with constant time and memory overhead. Practical tests verify the result of theoretical analysis. Compared with previous techniques, BGCFC achieves the highest error detection rate, lower time and memory overhead; the composite result in evaluation fac tor shows that BGCFC is the most effective one among all these techniques. The results in both theory and practice verify the applicability of BGCFC for COTSbased small satellites.

关键词： Bipartite graph control flow checking Commercial-off-the-shelves(COTS) Error injection Fault tolerant Illegal branch Small satellites

来源：评论

学校读者我要写书评

暂无评论

WCET-Aware control flow checking With Super-Nodes Jet for Resource-Constrained Embedded Systems

引用

IEEE ACCESS 2018年 6卷 42394-42406页

作者： Zhang, Ming Gu, Zonghua Li, Hong Zheng, Nenggan Zhejiang Univ Coll Comp Sci Hangzhou 310027 Zhejiang Peoples R China Zhejiang Univ Qiushi Acad Adv Studies Hangzhou 310027 Zhejiang Peoples R China

Safety-critical embedded systems in application domains, such as aerospace, automotive, and industrial automation, must satisfy dual requirements of fault-tolerance and real-time predictability. control flow checking is an effective technique for improving embedded systems' reliability by online monitoring and checking of software control flow to detect runtime deviations from the control flow graph. However, inserting instrumentation code in every basic block incurs significant execution time overhead, which may cause the program to violate its timing constraints. In this paper, we propose to selectively instrument a subset of code regions that are larger than basic blocks, called super-nodes, in order to make the program partially resilient to control flow errors while keeping the program worst-case execution time (WCET) below a given upper bound. WCET analysis is invoked to estimate the program WCET and to identify the corresponding worst-case execution path (WCEP). An ILP formulation is used to judiciously select a subset of super-nodes on the WCEP for instrumentation, so that the best fault detection coverage is achieved without violating the given WCET upper bound. The optimization is repeated for each identified WCEP until the program WCET satisfies the WCET upper bound. Experimental results demonstrate significant improvements of fault detection coverage compared with related work.

关键词： control flow checking real-time embedded systems soft errors

来源：评论

学校读者我要写书评

暂无评论

Software-Based control flow checking Against Transient Faults in Industrial Environments

引用

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2014年第1期10卷 481-490页

作者： Asghari, Seyyed Amir Taheri, Hassan Pedram, Hossein Kaynak, Okyay Amirkabir Univ Technol Dept Comp Engn & Informat Technol Tehran 158754413 Iran Amirkabir Univ Technol Dept Elect Engn Tehran 158754413 Iran Bogazici Univ Dept Elect Engn TR-81030 Istanbul Turkey

Mechatronic systems operating in industrial environments are subject to a variety of threats because of harsh conditions. Industrial systems usually use commercial off-the shelf (COTS) equipment which are not robust and safe against hostile conditions and therefore require fault-tolerance considerations. This paper presents a novel and efficient method for online detection of control flow errors, called software-based control flow checking (SCFC). It is implemented purely in software and does not manipulate the hardware architecture of the system. Redundant instructions and signatures are embedded into the program at compile time and are utilized for control flow checking at run time. The signatures of the basic blocks are derived from the program graph. It is shown in the paper that SCFC method can increase single detection capability to 14.7% and the fault coverage to 6.12% averagely in comparison with other methods without any increase in memory and performance overheads. In the paper, besides experimental evaluations, analytical evaluations are also carried out, based on probability principles. The detection ability of each method used is thus computed. These computations verify the experimental results and show that SCFC can detect more errors than other methods suggested in literature. Considering the memory limitations in some (such as space) applications and the trend towards the requirement for faster execution of programs, we suggest a novel metric called fitness parameter which incorporates these. It is a better measure than the previously proposed ones since it considers the fault coverage, the memory overhead and the execution time (performance overhead) of each method simultaneously, as well as the detection capability.

关键词： Analytical evaluation commercial off-the-shelf (COTS) control flow checking fault injection fitness parameter software-based error detection

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Code-Based Low-Overhead Fine-Grained control flow checking

引用

IEEE TRANSACTIONS ON COMPUTERS 2022年第3期71卷 658-669页

作者： Dar, Gilad Di Natale, Giorgio Keren, Osnat Bar Ilan Univ Fac Engn IL-5290002 Ramat Gan Israel Univ Grenoble Alpes TIMA CNRS Grenoble INP Inst Engn F-38000 Grenoble France

A hardware-based control flow monitoring technique enables the detection of errors in both the control flow and the instruction stream executed on a processor. However, as shown in recent publications, these techniques fail to detect malicious carefully-tuned manipulations of the instruction stream in a basic block. This article presents a non-linear encoder and checker that can cope with this weakness. It is a MAC based control flow checker that has the advantage of working with basic blocks of variable length, can detect every error, and performs the computation in real-time. The architecture can easily be modified to support different signature size and error masking probabilities.

关键词： Pipelines Monitoring Hardware Process control Measurement Random access memory Memory management Embedded security control flow checking non-linear codes signature countermeasures

来源：评论

学校读者我要写书评

暂无评论

AN APPROACH TO CONCURRENT control flow checking

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1980年第2期6卷 126-137页

作者： YAU, SS CHEN, FC Department of Electrical Engineering and Computer Science Northwestern University

A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors, hardware malfunctions, or memory mutilation during the execution of the program is presented. In this approach, the program is partitioned into loop-free intervals and a database containing the path information in each of the loop-free intervals is derived from the detailed design. The path in each loop-free interval actually traversed at run time is recorded and then checked against the information provided in the database, and any discrepancy indicates an error. This approach is general, and can detect all uncompensated illegal branches. Any uncompensated error that occurs during the execution of a loop-free interval and manifests itself as a wrong branch within the loop-free interval or right after the completion of execution of the loop-free interval is also detectable. The approach can also be used to check the control flow in the testing phase of program development. The capabilities, limitations, implementation, and the overhead of using this approach are discussed.

关键词： Wrong Branches Algorithms Capabilities Concurrency control Errors control flow checking Illegal Branches Implementation Limitations Loop Free Intervals Overhead Path Representation Program Design

来源：评论

学校读者我要写书评

暂无评论

Power-aware control flow checking compilation: Using less branches to reduce power dissipation

Power-aware control flow checking compilation: Using less br...

引用

6th International Conference on Machine Learning and Cybernetics

作者： Wu, Yan-Xia Gu, Guo-Chang Wang, Ke-Hui Harbin Engn Univ Coll Comp Sci & Technol Harbin 150001 Peoples R China

ISBN: (纸本)9781424409723

Satellite-borne embedded systems require the properties of low-powered and reliability in the spatial radiation environment. The control flow checking is an effective way for the running systems to prevent the broken-down caused by Single Event Upsets. Traditional software control flow checking uses a great deal of branch instructions to detect errors, thus brings great overhead in power dissipation. In this paper, a partition method of basic block is suggested. In this partition method, branch instructions are reduced greatly, while the high error detection coverage remain ensure. The simulated results show that compared with the traditional control flow checking by Software Signatures(CFCSS) control flow checking algorithm, the Improved algorithm can reduce total branch instructions by over 10%, reduce the power dissipation by nearly 9%, without decreasing the error detection coverage.

关键词： control flow graph base node control flow checking low power dissipation

来源：评论

学校读者我要写书评

暂无评论

Guidelines for Implementing control flow checking into Automotive Embedded Applications Developed with C Language 9

Guidelines for Implementing Control Flow Checking into Autom...

引用

9th IEEE Nordic Circuits and Systems Conference (NorCAS)

作者： Sini, Jacopo Solouki, Mohammadreza Amel Violante, Massimo Politecn Torino Dept Control & Comp Engn Turin Italy

ISBN: (纸本)9798350337570

Embedded systems, such as automotive applications, are increasingly used in safety-critical systems. The correct and reliable implementation of such systems depends on many factors, including the design of the system hardware, software, fault-tolerance mechanisms, and the choice of programming language, followed by the test, verification, and validation techniques employed. Even well-designed systems are not exempt from having defects that stem from their physical properties, and these imperfections can cause unforeseen and dangerous actions in safety critical systems. This paper focuses on isolating or mitigating the effects of Random Hardware Failures(RHFs). Hardening strategies are employed to mitigate RHFs in embedded systems, either by adding specialized hardware or using Software-Implemented Hardware Fault Tolerance (SIHFT) methods. SIHFT methods are applied to various applications to harden them against control flow Errors (CFEs). This paper presents a guideline for applying a subset of SIHFT methods called control flow checking (CFC) methods to application code written in C language. The motivation is that in the literature few guidelines can be found that provide insight on implementing CFC methods with high-level programming languages. Most proposals implement CFC methods in low-level languages such as assembly. The rationale behind developing high-level language implementations lies in the pursuit of architecture independence as well as the inadequacy of a certified compiler for the target platform that can conveniently incorporate Certified Functionally Correct into the compiled assembly/machine language code.

关键词： control flow checking automotive applications software reliability

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：