RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC

RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC

Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005) This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hassan, M. Abdelsalam, Sakanushi, Keishi, Takeuchi, Yoshinori, Imai, Masaharu
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science - Operating Systems
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Hassan, M. Abdelsalam
Sakanushi, Keishi
Takeuchi, Yoshinori
Imai, Masaharu
description Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005) This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.
doi_str_mv 10.48550/arxiv.0710.4746
format Article
fullrecord <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_0710_4746</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>0710_4746</sourcerecordid><originalsourceid>FETCH-arxiv_primary_0710_47463</originalsourceid><addsrcrecordid>eNpjYJAwNNAzsTA1NdBPLKrILNMzMAcJmJuYcTJ4BYV46wYXpCYrhAT5-1kpOCoEZ-aW5iSWZObnKfjmp6TmKOSnKSTmKXiC5BWcEotTUxSCQvyDFbxTi_KAspl5CsGVxSWpuc48DKxpiTnFqbxQmptBzs01xNlDF2xpfEFRZm5iUWU8yPJ4kOXGBBUAAEVgNpY</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC</title><source>arXiv.org</source><creator>Hassan, M. Abdelsalam ; Sakanushi, Keishi ; Takeuchi, Yoshinori ; Imai, Masaharu</creator><creatorcontrib>Hassan, M. Abdelsalam ; Sakanushi, Keishi ; Takeuchi, Yoshinori ; Imai, Masaharu</creatorcontrib><description>Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005) This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.</description><identifier>DOI: 10.48550/arxiv.0710.4746</identifier><language>eng</language><subject>Computer Science - Operating Systems</subject><creationdate>2007-10</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/0710.4746$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.0710.4746$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Hassan, M. Abdelsalam</creatorcontrib><creatorcontrib>Sakanushi, Keishi</creatorcontrib><creatorcontrib>Takeuchi, Yoshinori</creatorcontrib><creatorcontrib>Imai, Masaharu</creatorcontrib><title>RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC</title><description>Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005) This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.</description><subject>Computer Science - Operating Systems</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpjYJAwNNAzsTA1NdBPLKrILNMzMAcJmJuYcTJ4BYV46wYXpCYrhAT5-1kpOCoEZ-aW5iSWZObnKfjmp6TmKOSnKSTmKXiC5BWcEotTUxSCQvyDFbxTi_KAspl5CsGVxSWpuc48DKxpiTnFqbxQmptBzs01xNlDF2xpfEFRZm5iUWU8yPJ4kOXGBBUAAEVgNpY</recordid><startdate>20071025</startdate><enddate>20071025</enddate><creator>Hassan, M. Abdelsalam</creator><creator>Sakanushi, Keishi</creator><creator>Takeuchi, Yoshinori</creator><creator>Imai, Masaharu</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20071025</creationdate><title>RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC</title><author>Hassan, M. Abdelsalam ; Sakanushi, Keishi ; Takeuchi, Yoshinori ; Imai, Masaharu</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-arxiv_primary_0710_47463</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Computer Science - Operating Systems</topic><toplevel>online_resources</toplevel><creatorcontrib>Hassan, M. Abdelsalam</creatorcontrib><creatorcontrib>Sakanushi, Keishi</creatorcontrib><creatorcontrib>Takeuchi, Yoshinori</creatorcontrib><creatorcontrib>Imai, Masaharu</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Hassan, M. Abdelsalam</au><au>Sakanushi, Keishi</au><au>Takeuchi, Yoshinori</au><au>Imai, Masaharu</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC</atitle><date>2007-10-25</date><risdate>2007</risdate><abstract>Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005) This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLDL) like SystemC. We describe these constructs and show how they are used to build a simulation model of an RTOS kernel targeting the $\mu$-ITRON OS specification standard.</abstract><doi>10.48550/arxiv.0710.4746</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier DOI: 10.48550/arxiv.0710.4746
ispartof
issn
language eng
recordid cdi_arxiv_primary_0710_4746
source arXiv.org
subjects Computer Science - Operating Systems
title RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-25T14%3A53%3A32IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=RTK-Spec%20TRON:%20A%20Simulation%20Model%20of%20an%20ITRON%20Based%20RTOS%20Kernel%20in%20SystemC&rft.au=Hassan,%20M.%20Abdelsalam&rft.date=2007-10-25&rft_id=info:doi/10.48550/arxiv.0710.4746&rft_dat=%3Carxiv_GOX%3E0710_4746%3C/arxiv_GOX%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