MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution
This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure com...
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 299 |
|---|---|
| container_issue | |
| container_start_page | 296 |
| container_title | |
| container_volume | |
| creator | Becker, Markus Defo, Gilles B. G. Fummi, Franco Mueller, Wolfgang Pravadelli, Graziano Vinco, Sara |
| description | This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels. |
| doi_str_mv | 10.5555/2492708.2492782 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>acm</sourceid><recordid>TN_cdi_acm_books_10_5555_2492708_2492782</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>acm_books_10_5555_2492708_2492782</sourcerecordid><originalsourceid>FETCH-LOGICAL-a157t-f0e622a46c1c9d27ec081ec1e9e86a935b79b18aa65c124f346d5119a6e630b93</originalsourceid><addsrcrecordid>eNqNjjlqA0EQRRuEhLXFvoKTGVX1WhUaoQ1kFMgTN909PaANgcf3R9scQD95yePzhPhEKM19M6lZOqDySZI9MVJMCARI-CGmbXsEAESniWkoBj-7ar9fTES_Cec2TzuORbVc_M7XxXa32sy_t0VA4_6LBrKVMmibMHEtXU5AmBNmzmQDKxMdR6QQrEkodaO0rQ0iB5utgshqLL5evyFdfLxeT61H8I9u33X7rvuulm-qPv4dcqNuqt5AjA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Becker, Markus ; Defo, Gilles B. G. ; Fummi, Franco ; Mueller, Wolfgang ; Pravadelli, Graziano ; Vinco, Sara</creator><creatorcontrib>Becker, Markus ; Defo, Gilles B. G. ; Fummi, Franco ; Mueller, Wolfgang ; Pravadelli, Graziano ; Vinco, Sara</creatorcontrib><description>This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.</description><identifier>ISBN: 3981080181</identifier><identifier>ISBN: 9783981080186</identifier><identifier>DOI: 10.5555/2492708.2492782</identifier><language>eng</language><publisher>San Jose, CA, USA: EDA Consortium</publisher><subject>Computer systems organization -- Embedded and cyber-physical systems ; Computer systems organization -- Real-time systems ; Computing methodologies -- Modeling and simulation -- Model development and analysis ; Hardware -- Hardware validation -- Functional verification</subject><ispartof>Proceedings of the Conference on Design, Automation and Test in Europe, 2012, p.296-299</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,780,784,789,790,27925</link.rule.ids></links><search><creatorcontrib>Becker, Markus</creatorcontrib><creatorcontrib>Defo, Gilles B. G.</creatorcontrib><creatorcontrib>Fummi, Franco</creatorcontrib><creatorcontrib>Mueller, Wolfgang</creatorcontrib><creatorcontrib>Pravadelli, Graziano</creatorcontrib><creatorcontrib>Vinco, Sara</creatorcontrib><title>MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution</title><title>Proceedings of the Conference on Design, Automation and Test in Europe</title><description>This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.</description><subject>Computer systems organization -- Embedded and cyber-physical systems</subject><subject>Computer systems organization -- Real-time systems</subject><subject>Computing methodologies -- Modeling and simulation -- Model development and analysis</subject><subject>Hardware -- Hardware validation -- Functional verification</subject><isbn>3981080181</isbn><isbn>9783981080186</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid/><recordid>eNqNjjlqA0EQRRuEhLXFvoKTGVX1WhUaoQ1kFMgTN909PaANgcf3R9scQD95yePzhPhEKM19M6lZOqDySZI9MVJMCARI-CGmbXsEAESniWkoBj-7ar9fTES_Cec2TzuORbVc_M7XxXa32sy_t0VA4_6LBrKVMmibMHEtXU5AmBNmzmQDKxMdR6QQrEkodaO0rQ0iB5utgshqLL5evyFdfLxeT61H8I9u33X7rvuulm-qPv4dcqNuqt5AjA</recordid><startdate>20120312</startdate><enddate>20120312</enddate><creator>Becker, Markus</creator><creator>Defo, Gilles B. G.</creator><creator>Fummi, Franco</creator><creator>Mueller, Wolfgang</creator><creator>Pravadelli, Graziano</creator><creator>Vinco, Sara</creator><general>EDA Consortium</general><scope/></search><sort><creationdate>20120312</creationdate><title>MOUSSE</title><author>Becker, Markus ; Defo, Gilles B. G. ; Fummi, Franco ; Mueller, Wolfgang ; Pravadelli, Graziano ; Vinco, Sara</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a157t-f0e622a46c1c9d27ec081ec1e9e86a935b79b18aa65c124f346d5119a6e630b93</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Computer systems organization -- Embedded and cyber-physical systems</topic><topic>Computer systems organization -- Real-time systems</topic><topic>Computing methodologies -- Modeling and simulation -- Model development and analysis</topic><topic>Hardware -- Hardware validation -- Functional verification</topic><toplevel>online_resources</toplevel><creatorcontrib>Becker, Markus</creatorcontrib><creatorcontrib>Defo, Gilles B. G.</creatorcontrib><creatorcontrib>Fummi, Franco</creatorcontrib><creatorcontrib>Mueller, Wolfgang</creatorcontrib><creatorcontrib>Pravadelli, Graziano</creatorcontrib><creatorcontrib>Vinco, Sara</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Becker, Markus</au><au>Defo, Gilles B. G.</au><au>Fummi, Franco</au><au>Mueller, Wolfgang</au><au>Pravadelli, Graziano</au><au>Vinco, Sara</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution</atitle><btitle>Proceedings of the Conference on Design, Automation and Test in Europe</btitle><date>2012-03-12</date><risdate>2012</risdate><spage>296</spage><epage>299</epage><pages>296-299</pages><isbn>3981080181</isbn><isbn>9783981080186</isbn><abstract>This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.</abstract><cop>San Jose, CA, USA</cop><pub>EDA Consortium</pub><doi>10.5555/2492708.2492782</doi><tpages>4</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISBN: 3981080181 |
| ispartof | Proceedings of the Conference on Design, Automation and Test in Europe, 2012, p.296-299 |
| issn | |
| language | eng |
| recordid | cdi_acm_books_10_5555_2492708_2492782 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Computer systems organization -- Embedded and cyber-physical systems Computer systems organization -- Real-time systems Computing methodologies -- Modeling and simulation -- Model development and analysis Hardware -- Hardware validation -- Functional verification |
| title | MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T20%3A39%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-acm&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=MOUSSE:%20scaling%20MOdelling%20and%20verification%20to%20complex%20heterogeneoUS%20embedded%20systems%20evolution&rft.btitle=Proceedings%20of%20the%20Conference%20on%20Design,%20Automation%20and%20Test%20in%20Europe&rft.au=Becker,%20Markus&rft.date=2012-03-12&rft.spage=296&rft.epage=299&rft.pages=296-299&rft.isbn=3981080181&rft.isbn_list=9783981080186&rft_id=info:doi/10.5555/2492708.2492782&rft_dat=%3Cacm%3Eacm_books_10_5555_2492708_2492782%3C/acm%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 |