Software-Based Control Flow Checking Against Transient Faults in Industrial Environments

Asghari, Seyyed Amir; Taheri, Hassan; Pedram, Hossein; Kaynak, Okyay

doi:10.1109/tii.2013.2248373

Cited by 38 publications

(32 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If V(s, d n ) does not meet zero, the CFE monitor judges that CFE has occurred. As the simplest case of a signature-based CFE monitoring scheme, U(b n , s) = b n and Most of the existing signature-based CFE monitoring schemes, such as CFCSS [16], YACCA [17], ECCA [18], RSCFC [15], SEDSR [14], SCFC [13], and RASM [12] have mainly focused on how to update and verify software signatures. They have tried to more appropriately select the number of run-time signatures and compile-time signatures, where to insert the signature update and signature verification in each basic block, and the algorithms of signature update and signature verification to improve performance through low execution overhead time and high CFE detection rate.…”

Section: Signature-based Cfe Monitoring Schemesmentioning

confidence: 99%

“…CFE-a illustrates a CFE caused by a jump to an illegal basic block and CFE-b illustrates a jump to the current basic block. Many previous signature-based CFE monitoring schemes [12][13][14][15][16][17][18] detects CFE for jump to an illegal basic block, but some schemes have not detected CFE for jump to a current basic block [13,14]. Figure 3b shows the inter-procedural CFE where the CFE occurs beyond the function boundary.…”

Section: Coverage Of Cfe Detectionmentioning

confidence: 99%

“…Software-based CFE monitoring schemes do not require additional hardware module or hardware modification. Software-based CFE monitoring schemes can be divided into CFE monitoring schemes using redundancy of instructions such as jump instructions [8][9][10][11] and signature-based CFE monitoring schemes that represent control flows as signature variables and detect CFEs [12][13][14][15][16][17][18].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

SSCFM: Separate Signature-Based Control Flow Error Monitoring for Multi-Threaded and Multi-Core Environments

Choi¹,

Park²,

Cho³

2019

Electronics

View full text Add to dashboard Cite

Soft error is a key challenge in computer systems. Without soft error mitigation, control flow error (CFE) can lead to system crash. Signature-based CFE monitoring scheme is a representative technique for detecting CFEs during runtime. However, most of the signature-based CFE monitoring schemes proposed thus far are based on a single thread. Currently, the widely used multi-threaded and multi-core environments have greatly improved the performance of the computing system, but, if the these schemes are applied in these environments, performance improvement is difficult to achieve, or rather performance degradation may occur. In this paper, we propose a separate signature-based CFE monitoring (SSCFM) scheme that separates the signature update and the signature verification on the thread level. The signature update is combined with application thread and signature verification and executed on separate monitor threads, so that we can expect performance improvements in multi-threaded or multi-core environments. Furthermore, the SSCFM scheme can fully cover inter-procedural CFE not covered by many signature-based CFE monitoring schemes by using inter-procedural control flow analysis. With the proposed SSCFM scheme, the execution time overhead is reduced by approximately 26.67% on average from the SEDSR scheme, and the average CFE detection rate with SSCFM is approximately 93.69%. In addition, this paper also introduces the LLVM compiler-based SSCFM generator that makes it easy to apply the SSCFM scheme to software applications.

show abstract

Section: Signature-based Cfe Monitoring Schemesmentioning

confidence: 99%

Section: Coverage Of Cfe Detectionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

SSCFM: Separate Signature-Based Control Flow Error Monitoring for Multi-Threaded and Multi-Core Environments

Choi¹,

Park²,

Cho³

2019

Electronics

View full text Add to dashboard Cite

show abstract

“…The constraint for (D B (i) − D A (i + 1)) can be obtained similarly as for (4). As the introduced jitter has an upper bound of J e2e and a lower bound of 0, both (J A (i) − J B (i + 1)) and (J B (i) − J A (i + 1)) are upper bounded by J e2e .…”

Section: Condition For Avoiding Frame Sequence Inversionmentioning

confidence: 99%

“…R ELIABILITY is one of the main concerns for safety critical systems (See, e.g., [1]- [4]). A typical example of such systems is avionics communication network for which failures may be catastrophic.…”

Section: Introductionmentioning

confidence: 99%

Reliability Enhancement of Redundancy Management in AFDX Networks

Zhu

Savaria

et al. 2017

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

Pattern‐based software process modeling for dependability

Zhang

Wang

Yun

et al. 2020

J Software Evolu Process

View full text Add to dashboard Cite

Traditional process modeling focuses on modeling activities for functional requirements. For dependability requirements, a knowledge‐based aspect‐oriented software process modeling approach is proposed. First, we extend the pattern and context to the knowledge graph triplet structure to describe dependability‐oriented knowledge patterns. By applying the patterns, dependability requirements can be organized into dependability‐related activities that are integrated into the software process. Then, aspect‐oriented modeling patterns based on Petri nets are introduced to support the integration of these dependability‐related activities and model dependability‐oriented software processes. Finally, the modeling performance and the subjective usability of the patterns are evaluated by 110 students with different degrees. The results indicate that these two indexes are on the positive track. Hence, the patterns may be the backbone of dependability‐oriented software process modeling.

show abstract

Software-Based Control Flow Checking Against Transient Faults in Industrial Environments

Cited by 38 publications

References 30 publications

SSCFM: Separate Signature-Based Control Flow Error Monitoring for Multi-Threaded and Multi-Core Environments

SSCFM: Separate Signature-Based Control Flow Error Monitoring for Multi-Threaded and Multi-Core Environments

Reliability Enhancement of Redundancy Management in AFDX Networks

Pattern‐based software process modeling for dependability

Contact Info

Product

Resources

About