Specification of adaptive HW/SW systems in SystemC

Specification of adaptive HW/SW systems in SystemC

This paper proposes a SystemC-based specification methodology of adaptive embedded systems to be implemented on a platform including one or more processors, thus supporting the execution of embedded software, and digital hardware with capabilities of partial dynamic reconfiguration (DRHW). For it, i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Herrera, F., Villar, E., Hartmann, P.A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Adaptation model
Adaptive systems
Hardware
Libraries
Software
Synchronization
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 66
container_issue
container_start_page 61
container_title
container_volume
creator Herrera, F.
Villar, E.
Hartmann, P.A.
description This paper proposes a SystemC-based specification methodology of adaptive embedded systems to be implemented on a platform including one or more processors, thus supporting the execution of embedded software, and digital hardware with capabilities of partial dynamic reconfiguration (DRHW). For it, it proposes the collaboration of two specification methodologies: HetSC and OSSS+R. The main issues for the integration of these specification methodologies are addressed. This includes how to install and use them together, which is the structure of the specification, how adaptivity is specified for SW and DRHW implementation, and the syntactical and semanticual issues related to the MoC interface implicit in their connection.
doi_str_mv 10.1109/FDL.2008.4641422
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4641422</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4641422</ieee_id><sourcerecordid>4641422</sourcerecordid><originalsourceid>FETCH-ieee_primary_46414223</originalsourceid><addsrcrecordid>eNpjYJAwNNAzNDSw1Hdz8dEzMjCw0DMxMzE0MTJiZOC1NLcAskyAHDNTE2YUvok5KwMXSLmlgaGluRkHA29xcZYBEJiYGpuZGnIyGAUXpCZnpmUmJ5Zk5ucp5KcpJKYkFpRklqUqeITrB4crFFcWl6TmFitk5ikEg5nOPAysaYk5xam8UJqbQdrNNcTZQzczNTU1vqAoMzexqDIe6jxj_LIAQDA4GA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Specification of adaptive HW/SW systems in SystemC</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Herrera, F. ; Villar, E. ; Hartmann, P.A.</creator><creatorcontrib>Herrera, F. ; Villar, E. ; Hartmann, P.A.</creatorcontrib><description>This paper proposes a SystemC-based specification methodology of adaptive embedded systems to be implemented on a platform including one or more processors, thus supporting the execution of embedded software, and digital hardware with capabilities of partial dynamic reconfiguration (DRHW). For it, it proposes the collaboration of two specification methodologies: HetSC and OSSS+R. The main issues for the integration of these specification methodologies are addressed. This includes how to install and use them together, which is the structure of the specification, how adaptivity is specified for SW and DRHW implementation, and the syntactical and semanticual issues related to the MoC interface implicit in their connection.</description><identifier>ISBN: 9781424422647</identifier><identifier>ISBN: 1424422647</identifier><identifier>EISBN: 9781424422654</identifier><identifier>EISBN: 9781424422661</identifier><identifier>EISBN: 1424422663</identifier><identifier>EISBN: 1424422655</identifier><identifier>DOI: 10.1109/FDL.2008.4641422</identifier><identifier>LCCN: 2008901976</identifier><language>eng</language><publisher>IEEE</publisher><subject>Adaptation model ; Adaptive systems ; Hardware ; Libraries ; Software ; Synchronization ; Unified modeling language</subject><ispartof>2008 Forum on Specification, Verification and Design Languages, 2008, p.61-66</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4641422$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4641422$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Herrera, F.</creatorcontrib><creatorcontrib>Villar, E.</creatorcontrib><creatorcontrib>Hartmann, P.A.</creatorcontrib><title>Specification of adaptive HW/SW systems in SystemC</title><title>2008 Forum on Specification, Verification and Design Languages</title><addtitle>FDL</addtitle><description>This paper proposes a SystemC-based specification methodology of adaptive embedded systems to be implemented on a platform including one or more processors, thus supporting the execution of embedded software, and digital hardware with capabilities of partial dynamic reconfiguration (DRHW). For it, it proposes the collaboration of two specification methodologies: HetSC and OSSS+R. The main issues for the integration of these specification methodologies are addressed. This includes how to install and use them together, which is the structure of the specification, how adaptivity is specified for SW and DRHW implementation, and the syntactical and semanticual issues related to the MoC interface implicit in their connection.</description><subject>Adaptation model</subject><subject>Adaptive systems</subject><subject>Hardware</subject><subject>Libraries</subject><subject>Software</subject><subject>Synchronization</subject><subject>Unified modeling language</subject><isbn>9781424422647</isbn><isbn>1424422647</isbn><isbn>9781424422654</isbn><isbn>9781424422661</isbn><isbn>1424422663</isbn><isbn>1424422655</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpjYJAwNNAzNDSw1Hdz8dEzMjCw0DMxMzE0MTJiZOC1NLcAskyAHDNTE2YUvok5KwMXSLmlgaGluRkHA29xcZYBEJiYGpuZGnIyGAUXpCZnpmUmJ5Zk5ucp5KcpJKYkFpRklqUqeITrB4crFFcWl6TmFitk5ikEg5nOPAysaYk5xam8UJqbQdrNNcTZQzczNTU1vqAoMzexqDIe6jxj_LIAQDA4GA</recordid><startdate>200809</startdate><enddate>200809</enddate><creator>Herrera, F.</creator><creator>Villar, E.</creator><creator>Hartmann, P.A.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200809</creationdate><title>Specification of adaptive HW/SW systems in SystemC</title><author>Herrera, F. ; Villar, E. ; Hartmann, P.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-ieee_primary_46414223</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Adaptation model</topic><topic>Adaptive systems</topic><topic>Hardware</topic><topic>Libraries</topic><topic>Software</topic><topic>Synchronization</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Herrera, F.</creatorcontrib><creatorcontrib>Villar, E.</creatorcontrib><creatorcontrib>Hartmann, P.A.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Herrera, F.</au><au>Villar, E.</au><au>Hartmann, P.A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Specification of adaptive HW/SW systems in SystemC</atitle><btitle>2008 Forum on Specification, Verification and Design Languages</btitle><stitle>FDL</stitle><date>2008-09</date><risdate>2008</risdate><spage>61</spage><epage>66</epage><pages>61-66</pages><isbn>9781424422647</isbn><isbn>1424422647</isbn><eisbn>9781424422654</eisbn><eisbn>9781424422661</eisbn><eisbn>1424422663</eisbn><eisbn>1424422655</eisbn><abstract>This paper proposes a SystemC-based specification methodology of adaptive embedded systems to be implemented on a platform including one or more processors, thus supporting the execution of embedded software, and digital hardware with capabilities of partial dynamic reconfiguration (DRHW). For it, it proposes the collaboration of two specification methodologies: HetSC and OSSS+R. The main issues for the integration of these specification methodologies are addressed. This includes how to install and use them together, which is the structure of the specification, how adaptivity is specified for SW and DRHW implementation, and the syntactical and semanticual issues related to the MoC interface implicit in their connection.</abstract><pub>IEEE</pub><doi>10.1109/FDL.2008.4641422</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9781424422647
ispartof 2008 Forum on Specification, Verification and Design Languages, 2008, p.61-66
issn
language eng
recordid cdi_ieee_primary_4641422
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Adaptation model
Adaptive systems
Hardware
Libraries
Software
Synchronization
Unified modeling language
title Specification of adaptive HW/SW systems 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-02-15T04%3A16%3A36IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Specification%20of%20adaptive%20HW/SW%20systems%20in%20SystemC&rft.btitle=2008%20Forum%20on%20Specification,%20Verification%20and%20Design%20Languages&rft.au=Herrera,%20F.&rft.date=2008-09&rft.spage=61&rft.epage=66&rft.pages=61-66&rft.isbn=9781424422647&rft.isbn_list=1424422647&rft_id=info:doi/10.1109/FDL.2008.4641422&rft_dat=%3Cieee_6IE%3E4641422%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781424422654&rft.eisbn_list=9781424422661&rft.eisbn_list=1424422663&rft.eisbn_list=1424422655&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4641422&rfr_iscdi=true