0% Complete
Home
/
13th International Conference on Computer and Knowledge Engineering
SingAll: Scalable Control Flow Checking for Multi-Process Embedded Systems
Authors :
Mehdi Amininasab
1
Ahmad Patooghy
2
Mahdi Fazeli
3
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
A Novel Method For Fake News Detection Based on Propagation Tree
Mansour Davoudi - Mohammad Reza Moosavi - Mohammad Hadi Sadreddini
Multi-Task Transformer for Stock Market Trend Prediction
Seyed Morteza Mirjebreili - Ata Solouki - Hamidreza Soltanalizadeh - Mohammad Sabokrou
Classification of COVID-19 and Nodule in CT Images using Deep Convolutional Neural Network
Amirhossein Ghaemi - Seyyed Amir Mousavi mobarakeh - Habibollah Danyali - Kamran Kazemi
Optimizing Text-Based Protocol Clustering in Reverse Engineering with Auto-Encoders and Fine-Tuned Parameters
Shiva Mahmoudzadeh - Mohaddese Nemati - Mehdi Teimouri
IranITJobs2021: a Dataset for Analyzing Iranian Online IT Job Advertisements Collected Using a New Crowdsourcing Process
Fakhroddin Noorbehbahani - Nikta Akbarpour - Mohammad Reza Saeidi
Adaptive-A-GCRNN: Enhancing Real-time Multi-band Spectrum Prediction through Attention-based Spatial-Temporal Modeling
Seyed majid Hosseini - Seyedeh Mozhgan Rahmatinia - Seyed Amin Hosseini Seno - Hadi Sadoghi yazdi
Energy Efficient Power Allocation in MIMO-NOMA Systems with ZF Receiver Beamforming in Multiple Clusters
Mahdi Nangir - Abdolrasoul Sakhaei Gharagezlou - Nima Imani
Solving the influence maximization problem by using entropy and weight of edges
Farzaneh Kazemzadeh - Amir Karian - Mitra Mirzarezaee - Ali Asghar Safaei
Frame Classification in Video Capsule Endoscopy Using an Improved Capsule Network
Amirhossein Ghaemi - Habibollah Danyali - Alireza Ghaemi
A Cloud Broker with Gap Analysis Perspective for Scheduling Multi-Workflows Across On-Demand and Reserved Resources
Negin Shafinezhad - Hamidreza Abrishami - Saeid Abrishami
more
Samin Hamayesh - Version 41.7.6