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

Vision-Based Obstacle Avoidance in Drone Navigation using Deep Reinforcement Learning

Pooyan Rahmanzadeh Gervi - Ahad Harati - Sayed Kamaledin Ghiasi-Shirazi

LLM-Driven AutoML for Cross-Lingual Handwritten OCR: Closed-Loop Neural Architecture Search with GPT-5, GPT-4o, and Claude Sonnet 4

Mobina Kashaniyan - Amirhossein Ghassemi - Nasser Mozayani

Towards Efficient Capsule Networks through Approximate Squash Function and Layer-wise Quantization

Mohsen Raji - Kimia Soroush - Amir Ghazizadeh

TriFuse-PdM: High-Fidelity Machine Failure Prediction Using Hybrid Resampling and Model Calibration

Saghar Shafaati - Javad Mohammadzadeh

A Review on Secure Data Storage and Data Sharing Technics in Blockchain-based IoT Healthcare Systems

Seyedeh Somayeh Fatemi Nasab - Davoud Bahrepour - Seyed Reza Kamel Tabbakh

PowerLinear Activation Functions with application to the first layer of CNNs

Kamyar Nasiri - Kamaledin Ghiasi-Shirazi

Adaptive Active Queue Management for Time Slot Channel Hopping in Industrial Internet of Things

Mehdi Zirak - Yasser Sedaghat - Mohammad Hossein Yaghmaee Moghaddam

The process of multi class fake news dataset generation

Sajjad Rezaei - Mohsen Kahani - Behshid Behkamal

Using Deep Learning for Classification of Lung Cancer on CT Images in Ardabil Province

Mohammad Ali Javadzadeh Barzaki - Jafar Abdollahi - Mohammad Negaresh - Maryam Salimi - Hadi Zolfeghari - Mohsen Mohammadi - Asma Salmani - Rona Jannati - Firouz Amani

A Semi-supervised Fake News Detection using Sentiment Encoding and LSTM with Self-Attention

Pouya Shaeri - Ali Katanforoush