Automated addition of fault recovery to cyber-physical component-based models
In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant component-based models that encompass a cyber-physical system. We define the notion of fault recovery for cyber-physical component-based models. We also present synthesis constraints that preserve t...
Saved in:
| Published in: | Proceedings of the ninth ACM International Conference on Embedded Software pp. 127 - 136 |
|---|---|
| Main Authors: | , , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
New York, NY, USA
ACM
09.10.2011
IEEE |
| Series: | ACM Conferences |
| Subjects: |
Software and its engineering
> Software organization and properties
> Extra-functional properties
> Software fault tolerance
Software and its engineering
> Software organization and properties
> Software system structures
> Embedded software
|
| ISBN: | 1450307140, 9781450307147 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant component-based models that encompass a cyber-physical system. We define the notion of fault recovery for cyber-physical component-based models. We also present synthesis constraints that preserve the correctness and cyber-physical nature of a given fault-intolerant model under which recovery can be added. We show that the corresponding synthesis problem is NP-complete and consequently introduce symbolic heuristics to tackle the exponential complexity. Our experimental results validate effectiveness of our heuristics for relatively large models. |
|---|---|
| AbstractList | In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant component-based models that encompass a cyber-physical system. We define the notion of fault recovery for cyber-physical component-based models. We also present synthesis constraints that preserve the correctness and cyber-physical nature of a given fault-intolerant model under which recovery can be added. We show that the corresponding synthesis problem is NP-complete and consequently introduce symbolic heuristics to tackle the exponential complexity. Our experimental results validate effectiveness of our heuristics for relatively large models. |
| Author | Lin, Yiyan Bonakdarpour, Borzoo Kulkarni, Sandeep |
| Author_xml | – sequence: 1 givenname: Borzoo surname: Bonakdarpour fullname: Bonakdarpour, Borzoo email: borzoo@cs.uwaterloo.ca organization: University of Waterloo, Waterloo, ON, Canada – sequence: 2 givenname: Yiyan surname: Lin fullname: Lin, Yiyan email: linyiyan@cse.msu.edu organization: Michigan State University, East Lansing, MI, USA – sequence: 3 givenname: Sandeep surname: Kulkarni fullname: Kulkarni, Sandeep email: sandeep@cse.msu.edu organization: Michigan State University, East Lansing, MI, USA |
| BookMark | eNqNkLtPwzAYxI0ACVo6M7B4ZEnxK36MVUUBqYgFZsvxQwSSuIpdpPz3GFp2ptOn0-90383A2RAHD8A1RkuMWX1HEJWckeWvcnoCFkrIYiCKBCb0FMz-DoYuwCKlD4QQxgQJIS_B82qfY2-yd9A41-Y2DjAGGMy-y3D0Nn75cYI5Qjs1fqx271Nqremgjf2u9Bhy1ZhU4D4636UrcB5Ml_ziqHPwtrl_XT9W25eHp_VqWxnMSa6sVE5yR2rLiGe8tJXcquCMsoRyVd7gQjSNCRIx5VUIhipKmBOkxrJGNZ2Dm0Nu673Xu7HtzThpjjirsSru8uAa2-smxs-kMdI_Y-njWPo4lm7G1ocC3P4ToN_RuGiG |
| ContentType | Conference Proceeding |
| Copyright | 2011 ACM |
| Copyright_xml | – notice: 2011 ACM |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1145/2038642.2038663 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781450307123 1450307140 9781450307147 1450307124 |
| EndPage | 136 |
| ExternalDocumentID | 6064519 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI IEGSK IERZE OCL RIE RIL AAWTH ADFMO LHSKQ |
| ID | FETCH-LOGICAL-a162t-c89d86d25c42e4681486c9fda9c2369866677bbaf8049e9ffa39324d725185053 |
| IEDL.DBID | RIE |
| ISBN | 1450307140 9781450307147 |
| IngestDate | Wed Aug 27 02:53:51 EDT 2025 Wed Jan 31 06:35:53 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | cyber-physical systems synthesis fault-tolerance component-based modeling correctness-by-construction recovery transformation |
| Language | English |
| License | Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org |
| LinkModel | DirectLink |
| MeetingName | ESWeek '11: Seventh Embedded Systems Week |
| MergedId | FETCHMERGED-LOGICAL-a162t-c89d86d25c42e4681486c9fda9c2369866677bbaf8049e9ffa39324d725185053 |
| PageCount | 10 |
| ParticipantIDs | acm_books_10_1145_2038642_2038663_brief ieee_primary_6064519 acm_books_10_1145_2038642_2038663 |
| PublicationCentury | 2000 |
| PublicationDate | 20111009 2011-Oct. |
| PublicationDateYYYYMMDD | 2011-10-09 2011-10-01 |
| PublicationDate_xml | – month: 10 year: 2011 text: 20111009 day: 09 |
| PublicationDecade | 2010 |
| PublicationPlace | New York, NY, USA |
| PublicationPlace_xml | – name: New York, NY, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | Proceedings of the ninth ACM International Conference on Embedded Software |
| PublicationTitleAbbrev | EMSOFT |
| PublicationYear | 2011 |
| Publisher | ACM IEEE |
| Publisher_xml | – name: ACM – name: IEEE |
| SSID | ssj0001120778 ssib048751212 ssib048751210 |
| Score | 1.4929613 |
| Snippet | In this paper, we concentrate on automated synthesis of fault recovery mechanism for fault-intolerant component-based models that encompass a cyber-physical... |
| SourceID | ieee acm |
| SourceType | Publisher |
| StartPage | 127 |
| SubjectTerms | Component-based modeling Computational modeling Computer systems organization -- Embedded and cyber-physical systems -- Embedded systems Correctness-by-construction Cyber-physical systems Educational institutions Fault tolerance Fault tolerant systems Protocols Receivers Recovery Software and its engineering -- Software organization and properties -- Extra-functional properties -- Software fault tolerance Software and its engineering -- Software organization and properties -- Software system structures -- Embedded software Software and its engineering -- Software organization and properties -- Software system structures -- Real-time systems software Synthesis System recovery Theory of computation -- Logic -- Programming logic Theory of computation -- Semantics and reasoning -- Program reasoning Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification Transformation |
| Title | Automated addition of fault recovery to cyber-physical component-based models |
| URI | https://ieeexplore.ieee.org/document/6064519 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NS8MwFA_b8ODJj02cX0QQvNhtTdMkPYo4POjYQWG3kk8Y6Dq6Vth_70vXbiiCeGqTlqb88sJ7L3nv9xC6cUomxIpRoCTlAeWwpGRMo4A4xSMjY2dtlSj8zCcTMZsl0xa62-bCwLMq-MwO_G11lm8yXfqtsiHz5Gqe47PNOdvkajWy4-1uz4X1o012-y0hGXEuqtyu2Es2eBYN5VPd5jX1D3QMySgSYJoPqqvnCG1L_fGtAkulgMYH__v1Q9TbZfLh6VZHHaGWXRyjg6aUA65Xdhe93JdFBsarNdhHGPnZwpnDTpbvBfZOM0j8GhcZ1mtl82BZzy72EenZAoYOvDo0uCqss-qht_Hj68NTUFdaCGTISBFokRjBDIk1JZYygEQwnTgjE00ilgACjHOlpBPgUNjEORmB3UcNB-tIgA0VnaDOAkY7RdiFRjJNtHaRo0rQxGhwihwnFL6qneqja0Ay9S7EKt1kRcdpjXZao91Ht3--k6p8bl0fdT3W6XJDzZHWMJ_93n2O9kkTwhdeoE6Rl_YS7enPYr7Kryp5-gL3fL-U |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_mFPRpfuL8jCD4YnVN0yZ9FHFM3IYPCr6VfIKg69g6Yf-9l651KIL41CYtTfnlwt0ld78DOHdKptSKTqAk4wHjuKRkzKKAOsUjI2NnbZko3OfDoXh5SR8bcPmVC4PPyuAze-Vvy7N8k-uZ3yq7Tjy5muf4XI0Zo51FtlYtPd7y9mxYP9p0ueMS0g7noszuir1so29Rkz5VbV6R_2DHNe1EAo3zq_LqWUJXpH7_VoOlVEHd1v9-fhN2l7l85PFLS21Bw462oVUXcyDV2t6Bwc2syNF8tYb4GCM_XyR3xMnZW0G824wyPydFTvRc2UkwruaX-Jj0fIRDB14hGlKW1pnuwnP37um2F1S1FgIZJrQItEiNSAyNNaOWJQiJSHTqjEw1jZIUEUg4V0o6gS6FTZ2TEVp-zHC0jwRaUdEeNEc42j4QFxqZaKq1ixxTgqVGo1vkOGX4Ve1UG84Qycw7EdNskRcdZxXaWYV2Gy7-fCdTk1fr2rDjsc7GC3KOrIL54PfuU1jvPQ36Wf9--HAIG7QO6AuPoFlMZvYY1vRH8TqdnJSy9Qkl28Lb |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+ninth+ACM+International+Conference+on+Embedded+Software&rft.atitle=Automated+addition+of+fault+recovery+to+cyber-physical+component-based+models&rft.au=Bonakdarpour%2C+B.&rft.au=Yiyan+Lin&rft.au=Kulkarni%2C+S.+S.&rft.date=2011-10-01&rft.pub=IEEE&rft.isbn=9781450307147&rft.spage=127&rft.epage=136&rft_id=info:doi/10.1145%2F2038642.2038663&rft.externalDocID=6064519 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450307147/sc.gif&client=summon&freeimage=true |