International Conference on Computer and Knowledge Engineering

Home / 13th International Conference on Computer and Knowledge Engineering

SingAll: Scalable Control Flow Checking for Multi-Process Embedded Systems

Authors :

Mehdi Amininasab¹ Ahmad Patooghy² Mahdi Fazeli³

1- Independent Researcher 2- Assistant Professor, North Carolina A&T State University Department of Computer Systems Technology 3- Associate Professor School of Information Technology Halmstad University, Sweden

Keywords :

Control-flow checking،Flow Error،Embedded Systems،Multi-thread،Multi-process

Abstract :

Reliability concerns of embedded systems are traditionally resolved by software-based control flow checking (CFC) methods where the execution flow of the processor is monitored to detect and compensate flow violations. Traditional CFC methods may lose their efficiency when it comes to multiprocessing embedded systems. In this paper, we introduce and validate a novel flow error model for multiprocessing embedded systems. Further, we propose a holistic CFC system which performs the flow checking of the processes of interest. The proposed CFC checking introduces the concept of a single monitoring process intended to check the execution flow of as many processes as wanted within an multiprocessing embedded system. Proposed solution does not introduce any substantial overheads in performance and memory consumption. Even more important is method’s insensitivity to the number of checked processes. Our wide evaluations show the average performance overhead of 13.77%, average code-size overhead of 51.71%, and the average memory overhead of 1.95% on the Mibench benchmark suite. Results of fault injections confirm that the proposed CFC method successfully detects more than 95% of flow errors including our newly defined error model.

Papers List

List of archived papers

Farsi Text in Scene: A new dataset

Ali Salmasi - Ehsanollah Kabir

Introducing E4MT and LMBNC: Persian pre-processing utilities

Zakieh Shakeri - Mehran Ziabary - Behrooz Vedadian - Fatemeh Azadi - Saeed Torabzadeh - Arian Atefi

Graph-Theoretic Approach and Advanced Data Balancing for Liver Disease Diagnosis Improvement

Soheib Kiani - Sadegh Sulaimany

Area-Efficient VLSI Implementation of Bit-Serial Multiplier Using Polynomial Basis over GF(2m)

Saeideh Nabipour - Javad Javidan - Gholamreza Zare Fatin

Artificial Intelligence applications addressing different aspects of the Covid-19 crisis and key technological solutions for future epidemics control

Nadia Khalili - Hojatollah Hamidi

Human vs NotebookLM for Educational Podcasts: A Controlled Experiment on Two General Topics

Ali Banihashemi - Amirali Shahriary - Yadollah Yaghoobzadeh

Divide and Conquer Approach to Long Genomic Sequence Alignment

Mahmoud Naghibzadeh - Samira Babaei - Behshid Behkmal - Mojtaba Hatami

LightFedSelect: A Lightweight Framework for Byzantine-Robust Federated Learning

Seyed Saeed Razavi - Seyed Arsalan Vasegh Rahim Parvar - Soroosh Dadashi Pakdeh - Mohammad Matin Rezaeifard - Morteza Mollaie Chafi - Reza Ebrahimi Atani

A large input-space-margin approach for adversarial training

Reihaneh Nikouei - Mohammad Taheri

Compressing Deep Neural Networks Using Explainable AI

Kimia Soroush - Mohsen Raji - Behnam Ghavami