Synthesis of fault-tolerant embedded systems with checkpointing and replication
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-tr...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 447 |
|---|---|
| container_issue | |
| container_start_page | 5 pp. |
| container_title | |
| container_volume | |
| creator | Izosimov, V. Pop, P. Eles, P. Zebo Peng |
| description | We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example |
| doi_str_mv | 10.1109/DELTA.2006.83 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>swepub_6IE</sourceid><recordid>TN_cdi_ieee_primary_1581255</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1581255</ieee_id><sourcerecordid>oai_DiVA_org_kth_179566</sourcerecordid><originalsourceid>FETCH-LOGICAL-i219t-90a1398356ed09ddf7a308d943f7dab3ce30d0f88ea6e18bf6f9fb245d6da9493</originalsourceid><addsrcrecordid>eNqFzE9LwzAYBvCACMrs0ZOXfAA7k6ZJ8x7HNv_AYAen15I2b9a4ri1Nxti3dzLx6nN54OHHQ8g9Z1POGTwtlqvNbJoxpqZaXJEECs0KBTKT5-mGJCF8sXME5DkTt2T9fupig8EH2jvqzKGNaexbHE0XKe4rtBYtDacQcR_o0ceG1g3Wu6H3XfTdlprO0hGH1tcm-r67I9fOtAGT356Qj-flZv6artYvb_PZKvUZh5gCM1yAFlKhZWCtK4xg2kIuXGFNJWoUzDKnNRqFXFdOOXBVlkurrIEcxIQ8Xn7DEYdDVQ6j35vxVPbGlwv_OSv7cVu2_lBmoKQ68_R_votNyQuQ6sc_XLxHxD_NpeaZlOIbU2hutw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Synthesis of fault-tolerant embedded systems with checkpointing and replication</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Izosimov, V. ; Pop, P. ; Eles, P. ; Zebo Peng</creator><creatorcontrib>Izosimov, V. ; Pop, P. ; Eles, P. ; Zebo Peng</creatorcontrib><description>We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example</description><identifier>ISBN: 9780769525006</identifier><identifier>ISBN: 0769525008</identifier><identifier>DOI: 10.1109/DELTA.2006.83</identifier><language>eng</language><publisher>IEEE</publisher><subject>Application software ; Checkpointing ; Computer science ; Conferences ; Datavetenskap ; Electronic equipment testing ; Embedded computing ; Embedded system ; fault tolerance ; fault tolerance policy assignment ; Fault tolerant systems ; Information science ; Information technology ; Informationsteknik ; mapping ; optimization ; real-time systems ; replication ; scheduling ; System testing ; TECHNOLOGY ; TEKNIKVETENSKAP</subject><ispartof>3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006, 2006, p.5 pp.-447</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1581255$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>230,309,310,780,784,789,790,885,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1581255$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-179566$$DView record from Swedish Publication Index$$Hfree_for_read</backlink><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-29656$$DView record from Swedish Publication Index$$Hfree_for_read</backlink></links><search><creatorcontrib>Izosimov, V.</creatorcontrib><creatorcontrib>Pop, P.</creatorcontrib><creatorcontrib>Eles, P.</creatorcontrib><creatorcontrib>Zebo Peng</creatorcontrib><title>Synthesis of fault-tolerant embedded systems with checkpointing and replication</title><title>3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006</title><addtitle>DELTA</addtitle><description>We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example</description><subject>Application software</subject><subject>Checkpointing</subject><subject>Computer science</subject><subject>Conferences</subject><subject>Datavetenskap</subject><subject>Electronic equipment testing</subject><subject>Embedded computing</subject><subject>Embedded system</subject><subject>fault tolerance</subject><subject>fault tolerance policy assignment</subject><subject>Fault tolerant systems</subject><subject>Information science</subject><subject>Information technology</subject><subject>Informationsteknik</subject><subject>mapping</subject><subject>optimization</subject><subject>real-time systems</subject><subject>replication</subject><subject>scheduling</subject><subject>System testing</subject><subject>TECHNOLOGY</subject><subject>TEKNIKVETENSKAP</subject><isbn>9780769525006</isbn><isbn>0769525008</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNqFzE9LwzAYBvCACMrs0ZOXfAA7k6ZJ8x7HNv_AYAen15I2b9a4ri1Nxti3dzLx6nN54OHHQ8g9Z1POGTwtlqvNbJoxpqZaXJEECs0KBTKT5-mGJCF8sXME5DkTt2T9fupig8EH2jvqzKGNaexbHE0XKe4rtBYtDacQcR_o0ceG1g3Wu6H3XfTdlprO0hGH1tcm-r67I9fOtAGT356Qj-flZv6artYvb_PZKvUZh5gCM1yAFlKhZWCtK4xg2kIuXGFNJWoUzDKnNRqFXFdOOXBVlkurrIEcxIQ8Xn7DEYdDVQ6j35vxVPbGlwv_OSv7cVu2_lBmoKQ68_R_votNyQuQ6sc_XLxHxD_NpeaZlOIbU2hutw</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Izosimov, V.</creator><creator>Pop, P.</creator><creator>Eles, P.</creator><creator>Zebo Peng</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>ADTPV</scope><scope>BNKNJ</scope><scope>D8V</scope><scope>DG8</scope></search><sort><creationdate>2006</creationdate><title>Synthesis of fault-tolerant embedded systems with checkpointing and replication</title><author>Izosimov, V. ; Pop, P. ; Eles, P. ; Zebo Peng</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i219t-90a1398356ed09ddf7a308d943f7dab3ce30d0f88ea6e18bf6f9fb245d6da9493</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Application software</topic><topic>Checkpointing</topic><topic>Computer science</topic><topic>Conferences</topic><topic>Datavetenskap</topic><topic>Electronic equipment testing</topic><topic>Embedded computing</topic><topic>Embedded system</topic><topic>fault tolerance</topic><topic>fault tolerance policy assignment</topic><topic>Fault tolerant systems</topic><topic>Information science</topic><topic>Information technology</topic><topic>Informationsteknik</topic><topic>mapping</topic><topic>optimization</topic><topic>real-time systems</topic><topic>replication</topic><topic>scheduling</topic><topic>System testing</topic><topic>TECHNOLOGY</topic><topic>TEKNIKVETENSKAP</topic><toplevel>online_resources</toplevel><creatorcontrib>Izosimov, V.</creatorcontrib><creatorcontrib>Pop, P.</creatorcontrib><creatorcontrib>Eles, P.</creatorcontrib><creatorcontrib>Zebo Peng</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><collection>SwePub</collection><collection>SwePub Conference</collection><collection>SWEPUB Kungliga Tekniska Högskolan</collection><collection>SWEPUB Linköpings universitet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Izosimov, V.</au><au>Pop, P.</au><au>Eles, P.</au><au>Zebo Peng</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Synthesis of fault-tolerant embedded systems with checkpointing and replication</atitle><btitle>3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006</btitle><stitle>DELTA</stitle><date>2006</date><risdate>2006</risdate><spage>5 pp.</spage><epage>447</epage><pages>5 pp.-447</pages><isbn>9780769525006</isbn><isbn>0769525008</isbn><abstract>We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example</abstract><pub>IEEE</pub><doi>10.1109/DELTA.2006.83</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780769525006 |
| ispartof | 3rd IEEE Intl. Workshop on Electronic Design, Test Applications DELTA,2006, 2006, p.5 pp.-447 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_1581255 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Application software Checkpointing Computer science Conferences Datavetenskap Electronic equipment testing Embedded computing Embedded system fault tolerance fault tolerance policy assignment Fault tolerant systems Information science Information technology Informationsteknik mapping optimization real-time systems replication scheduling System testing TECHNOLOGY TEKNIKVETENSKAP |
| title | Synthesis of fault-tolerant embedded systems with checkpointing and replication |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T13%3A47%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-swepub_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Synthesis%20of%20fault-tolerant%20embedded%20systems%20with%20checkpointing%20and%20replication&rft.btitle=3rd%20IEEE%20Intl.%20Workshop%20on%20Electronic%20Design,%20Test%20Applications%20DELTA,2006&rft.au=Izosimov,%20V.&rft.date=2006&rft.spage=5%20pp.&rft.epage=447&rft.pages=5%20pp.-447&rft.isbn=9780769525006&rft.isbn_list=0769525008&rft_id=info:doi/10.1109/DELTA.2006.83&rft_dat=%3Cswepub_6IE%3Eoai_DiVA_org_kth_179566%3C/swepub_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1581255&rfr_iscdi=true |