Fine-Grained Runtime Monitoring of Real-Time Embedded Systems

Fine-Grained Runtime Monitoring of Real-Time Embedded Systems

Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime m...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ACM SIGAda Ada Letters 2022-12, Vol.42 (1), p.105-105
Hauptverfasser: Boukili, Zineb, Tran, Hai Nam, Plantec, Alain
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 105
container_issue 1
container_start_page 105
container_title ACM SIGAda Ada Letters
container_volume 42
creator Boukili, Zineb
Tran, Hai Nam
Plantec, Alain
description Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks.
doi_str_mv 10.1145/3577949.3577970
format Article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1145_3577949_3577970</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1145_3577949_3577970</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_1145_3577949_35779703</originalsourceid><addsrcrecordid>eNqVjrsOwiAARRk0sT5mV36AFoRaGZxMq4tL7U7QUoMpYKAO_Xtb0x9wOsnNPckBYEtwTAhLE5pmGWc8_jHDMxARzBmie0YWYBnCC2OKd_QQgWOhrUJnLwfUsPzYThsFr87qznltn9A1sFSyRdW45-au6no43vrQKRPWYN7INqjNxBVIirw6XdDDuxC8asTbayN9LwgWY5mYysRURv83vguGQPI</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Fine-Grained Runtime Monitoring of Real-Time Embedded Systems</title><source>ACM Digital Library Complete</source><creator>Boukili, Zineb ; Tran, Hai Nam ; Plantec, Alain</creator><creatorcontrib>Boukili, Zineb ; Tran, Hai Nam ; Plantec, Alain</creatorcontrib><description>Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks.</description><identifier>ISSN: 1094-3641</identifier><identifier>DOI: 10.1145/3577949.3577970</identifier><language>eng</language><ispartof>ACM SIGAda Ada Letters, 2022-12, Vol.42 (1), p.105-105</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-crossref_primary_10_1145_3577949_35779703</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Boukili, Zineb</creatorcontrib><creatorcontrib>Tran, Hai Nam</creatorcontrib><creatorcontrib>Plantec, Alain</creatorcontrib><title>Fine-Grained Runtime Monitoring of Real-Time Embedded Systems</title><title>ACM SIGAda Ada Letters</title><description>Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks.</description><issn>1094-3641</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNqVjrsOwiAARRk0sT5mV36AFoRaGZxMq4tL7U7QUoMpYKAO_Xtb0x9wOsnNPckBYEtwTAhLE5pmGWc8_jHDMxARzBmie0YWYBnCC2OKd_QQgWOhrUJnLwfUsPzYThsFr87qznltn9A1sFSyRdW45-au6no43vrQKRPWYN7INqjNxBVIirw6XdDDuxC8asTbayN9LwgWY5mYysRURv83vguGQPI</recordid><startdate>20221215</startdate><enddate>20221215</enddate><creator>Boukili, Zineb</creator><creator>Tran, Hai Nam</creator><creator>Plantec, Alain</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20221215</creationdate><title>Fine-Grained Runtime Monitoring of Real-Time Embedded Systems</title><author>Boukili, Zineb ; Tran, Hai Nam ; Plantec, Alain</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_1145_3577949_35779703</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Boukili, Zineb</creatorcontrib><creatorcontrib>Tran, Hai Nam</creatorcontrib><creatorcontrib>Plantec, Alain</creatorcontrib><collection>CrossRef</collection><jtitle>ACM SIGAda Ada Letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Boukili, Zineb</au><au>Tran, Hai Nam</au><au>Plantec, Alain</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Fine-Grained Runtime Monitoring of Real-Time Embedded Systems</atitle><jtitle>ACM SIGAda Ada Letters</jtitle><date>2022-12-15</date><risdate>2022</risdate><volume>42</volume><issue>1</issue><spage>105</spage><epage>105</epage><pages>105-105</pages><issn>1094-3641</issn><abstract>Dynamically ensuring the correctness of the functional behavior of a real-time embedded system is tedious, especially in the autonomous domain. Even though the current real-time task model provides sufficient information to perform basic schedulability tests, it is inadequate to be used in runtime monitoring to assert and guarantee the correctness of a system under hardware/software malfunctions or malicious cyber attacks. In this article, we present a runtime monitoring approach based on a fine-grained model of real-time tasks.</abstract><doi>10.1145/3577949.3577970</doi></addata></record>
fulltext fulltext
identifier ISSN: 1094-3641
ispartof ACM SIGAda Ada Letters, 2022-12, Vol.42 (1), p.105-105
issn 1094-3641
language eng
recordid cdi_crossref_primary_10_1145_3577949_3577970
source ACM Digital Library Complete
title Fine-Grained Runtime Monitoring of Real-Time Embedded Systems
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T22%3A21%3A45IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Fine-Grained%20Runtime%20Monitoring%20of%20Real-Time%20Embedded%20Systems&rft.jtitle=ACM%20SIGAda%20Ada%20Letters&rft.au=Boukili,%20Zineb&rft.date=2022-12-15&rft.volume=42&rft.issue=1&rft.spage=105&rft.epage=105&rft.pages=105-105&rft.issn=1094-3641&rft_id=info:doi/10.1145/3577949.3577970&rft_dat=%3Ccrossref%3E10_1145_3577949_3577970%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true