hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
SingAll: Scalable Control Flow Checking for Multi-Process Embedded Systems
Independent Researcher, Tehran, Iran.
North Carolina A&T State University, North Carolina, United States.ORCID iD: 0000-0003-2647-2797
Halmstad University, School of Information Technology.ORCID iD: 0000-0002-2874-6256
2023 (English)In: 2023 13th International Conference on Computer and Knowledge Engineering (ICCKE), IEEE, 2023, p. 42-47Conference paper, Published paper (Refereed)
Abstract [en]

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. © 2023 IEEE.

Place, publisher, year, edition, pages
IEEE, 2023. p. 42-47
Series
Proceedings of the ... International eConference on Computer and Knowledge Engineering, ISSN 2375-1304, E-ISSN 2643-279X
Keywords [en]
Control-flow checking (CFC), Embedded systems, Flow Error, Multi-process, Multi-thread
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:hh:diva-52321DOI: 10.1109/ICCKE60553.2023.10326306Scopus ID: 2-s2.0-85179754073ISBN: 979-8-3503-3015-1 (electronic)ISBN: 979-8-3503-3016-8 (print)OAI: oai:DiVA.org:hh-52321DiVA, id: diva2:1822489
Conference
13th International Conference on Computer and Knowledge Engineering, (ICCKE 2023), Mashhad, Iran, 1-2 November, 2023
Available from: 2023-12-22 Created: 2023-12-22 Last updated: 2023-12-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Fazeli, Mahdi

Search in DiVA

By author/editor
Patooghy, AhmadFazeli, Mahdi
By organisation
School of Information Technology
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 127 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf