Design-Time Verification of Reconfigurable Real-time Embedded Systems

In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. V...

Full description

Saved in:
Bibliographic Details
Main Authors: Krichen, F., Hamid, B., Zalila, B., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Adaptation models
Bandwidth
design-time verification
dynamic reconfiguration
Embedded systems
Hardware
Instruction sets
Real-time systems
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 1494
container_issue
container_start_page 1487
container_title
container_volume
creator Krichen, F.
Hamid, B.
Zalila, B.
Jmaiel, M.
description In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. Verifying the continuous satisfaction of non-functional properties should be thus accomplished after applying reconfiguration actions. For this purpose, we develop an integrated model-based development approach allowing modeling and verification of reconfigurable DRE systems.
doi_str_mv 10.1109/HPCC.2012.217
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6332353</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6332353</ieee_id><sourcerecordid>6332353</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-1865b7b665c56279cf724baf0aacb218d89d6375469d45d7dad1a816b8501bc43</originalsourceid><addsrcrecordid>eNotjMtKw0AUQEdE0NYuXbnJDyTOndedWUqMVigoWt2WeZaRJpFMXPTvVXR1OHA4hFwBbQCouVk_t23DKLCGAZ6QBUVlpEBhxClZgFDIGSihz8mqlA9KKVAuKeIF6e5iyfuh3uY-Vu9xyil7O-dxqMZUvUQ_DinvvybrDvFH7aGef8OudzGEGKrXY5ljXy7JWbKHElf_XJK3-27bruvN08Nje7upM6Cca9BKOnRKSS8VQ-MTMuFsotZ6x0AHbYLiKIUyQciAwQawGpTTkoLzgi_J9d83xxh3n1Pu7XTcKc4Zl5x_A5vBSjU</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Design-Time Verification of Reconfigurable Real-time Embedded Systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Krichen, F. ; Hamid, B. ; Zalila, B. ; Jmaiel, M.</creator><creatorcontrib>Krichen, F. ; Hamid, B. ; Zalila, B. ; Jmaiel, M.</creatorcontrib><description>In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. Verifying the continuous satisfaction of non-functional properties should be thus accomplished after applying reconfiguration actions. For this purpose, we develop an integrated model-based development approach allowing modeling and verification of reconfigurable DRE systems.</description><identifier>ISBN: 1467321648</identifier><identifier>ISBN: 9781467321648</identifier><identifier>EISBN: 0769547494</identifier><identifier>EISBN: 9780769547497</identifier><identifier>DOI: 10.1109/HPCC.2012.217</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>IEEE</publisher><subject>Adaptation models ; Bandwidth ; design-time verification ; dynamic reconfiguration ; Embedded systems ; Hardware ; Instruction sets ; Real-time systems ; Unified modeling language</subject><ispartof>2012 IEEE 14th International Conference on High Performance Computing and Communication &amp; 2012 IEEE 9th International Conference on Embedded Software and Systems, 2012, p.1487-1494</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/6332353$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6332353$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Krichen, F.</creatorcontrib><creatorcontrib>Hamid, B.</creatorcontrib><creatorcontrib>Zalila, B.</creatorcontrib><creatorcontrib>Jmaiel, M.</creatorcontrib><title>Design-Time Verification of Reconfigurable Real-time Embedded Systems</title><title>2012 IEEE 14th International Conference on High Performance Computing and Communication &amp; 2012 IEEE 9th International Conference on Embedded Software and Systems</title><addtitle>hpcc-icess</addtitle><description>In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. Verifying the continuous satisfaction of non-functional properties should be thus accomplished after applying reconfiguration actions. For this purpose, we develop an integrated model-based development approach allowing modeling and verification of reconfigurable DRE systems.</description><subject>Adaptation models</subject><subject>Bandwidth</subject><subject>design-time verification</subject><subject>dynamic reconfiguration</subject><subject>Embedded systems</subject><subject>Hardware</subject><subject>Instruction sets</subject><subject>Real-time systems</subject><subject>Unified modeling language</subject><isbn>1467321648</isbn><isbn>9781467321648</isbn><isbn>0769547494</isbn><isbn>9780769547497</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotjMtKw0AUQEdE0NYuXbnJDyTOndedWUqMVigoWt2WeZaRJpFMXPTvVXR1OHA4hFwBbQCouVk_t23DKLCGAZ6QBUVlpEBhxClZgFDIGSihz8mqlA9KKVAuKeIF6e5iyfuh3uY-Vu9xyil7O-dxqMZUvUQ_DinvvybrDvFH7aGef8OudzGEGKrXY5ljXy7JWbKHElf_XJK3-27bruvN08Nje7upM6Cca9BKOnRKSS8VQ-MTMuFsotZ6x0AHbYLiKIUyQciAwQawGpTTkoLzgi_J9d83xxh3n1Pu7XTcKc4Zl5x_A5vBSjU</recordid><startdate>201206</startdate><enddate>201206</enddate><creator>Krichen, F.</creator><creator>Hamid, B.</creator><creator>Zalila, B.</creator><creator>Jmaiel, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201206</creationdate><title>Design-Time Verification of Reconfigurable Real-time Embedded Systems</title><author>Krichen, F. ; Hamid, B. ; Zalila, B. ; Jmaiel, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-1865b7b665c56279cf724baf0aacb218d89d6375469d45d7dad1a816b8501bc43</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Adaptation models</topic><topic>Bandwidth</topic><topic>design-time verification</topic><topic>dynamic reconfiguration</topic><topic>Embedded systems</topic><topic>Hardware</topic><topic>Instruction sets</topic><topic>Real-time systems</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Krichen, F.</creatorcontrib><creatorcontrib>Hamid, B.</creatorcontrib><creatorcontrib>Zalila, B.</creatorcontrib><creatorcontrib>Jmaiel, M.</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/IET Electronic Library</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>Krichen, F.</au><au>Hamid, B.</au><au>Zalila, B.</au><au>Jmaiel, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Design-Time Verification of Reconfigurable Real-time Embedded Systems</atitle><btitle>2012 IEEE 14th International Conference on High Performance Computing and Communication &amp; 2012 IEEE 9th International Conference on Embedded Software and Systems</btitle><stitle>hpcc-icess</stitle><date>2012-06</date><risdate>2012</risdate><spage>1487</spage><epage>1494</epage><pages>1487-1494</pages><isbn>1467321648</isbn><isbn>9781467321648</isbn><eisbn>0769547494</eisbn><eisbn>9780769547497</eisbn><coden>IEEPAD</coden><abstract>In this paper, we propose a framework allowing the modeling and verification of reconfigurable Distributed Real-time Embedded (DRE) systems. In fact, as reconfiguration significantly complicates system design and execution, many non-functional properties and constraints cannot be easily preserved. Verifying the continuous satisfaction of non-functional properties should be thus accomplished after applying reconfiguration actions. For this purpose, we develop an integrated model-based development approach allowing modeling and verification of reconfigurable DRE systems.</abstract><pub>IEEE</pub><doi>10.1109/HPCC.2012.217</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1467321648
ispartof 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems, 2012, p.1487-1494
issn
language eng
recordid cdi_ieee_primary_6332353
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Adaptation models
Bandwidth
design-time verification
dynamic reconfiguration
Embedded systems
Hardware
Instruction sets
Real-time systems
Unified modeling language
title Design-Time Verification of Reconfigurable Real-time Embedded Systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T17%3A24%3A45IST&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=Design-Time%20Verification%20of%20Reconfigurable%20Real-time%20Embedded%20Systems&rft.btitle=2012%20IEEE%2014th%20International%20Conference%20on%20High%20Performance%20Computing%20and%20Communication%20&%202012%20IEEE%209th%20International%20Conference%20on%20Embedded%20Software%20and%20Systems&rft.au=Krichen,%20F.&rft.date=2012-06&rft.spage=1487&rft.epage=1494&rft.pages=1487-1494&rft.isbn=1467321648&rft.isbn_list=9781467321648&rft.coden=IEEPAD&rft_id=info:doi/10.1109/HPCC.2012.217&rft.eisbn=0769547494&rft.eisbn_list=9780769547497&rft_dat=%3Cieee_6IE%3E6332353%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-1865b7b665c56279cf724baf0aacb218d89d6375469d45d7dad1a816b8501bc43%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6332353&rfr_iscdi=true