Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems

In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsivenes...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abhishek Dubey, Nordstrom, S., Keskinpala, T., Sandeep Neema, Bapty, T.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Aerospace electronics Biology computing Delay Engines Fault tolerant systems Humans Large-scale systems Military computing Real time systems Safety
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	140
container_issue
container_start_page	129
container_title
container_volume
creator	Abhishek Dubey Nordstrom, S. Keskinpala, T. Sandeep Neema Bapty, T.
description	In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines
doi_str_mv	10.1109/EASE.2006.24
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1607337</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1607337</ieee_id><sourcerecordid>1607337</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-783a64ec579c22e609fb2e01114d17d3efdfdc3932c10a73b038d0fea50d7e563</originalsourceid><addsrcrecordid>eNo9jEtLxDAURoMPcBi7c-cmf6D15tGkWZah4wgVxRa3Q6a9LZE-pMks-u8dUPw2h8OBj5AHBgljYJ6KvCoSDqASLq_IhjOVxSzT_JpERmeglUl5KiXc_Dcl70jk_RdcJoVmGd-Q909cXLe6qaf5OczTPLqG7u15CPTVBdfb4OaJVmGxAXuHnrqJlnbpkVaNHZB-oB3i2o0XX33A0d-T284OHqM_bkm9L-rdIS7fnl92eRk7AyHWmbBKYpNq03COCkx34giMMdky3Qrs2q5thBG8YWC1OIHIWujQptBqTJXYksffW4eIx-_FjXZZj0yBFkKLH6WPUGE</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Abhishek Dubey ; Nordstrom, S. ; Keskinpala, T. ; Sandeep Neema ; Bapty, T.</creator><creatorcontrib>Abhishek Dubey ; Nordstrom, S. ; Keskinpala, T. ; Sandeep Neema ; Bapty, T.</creatorcontrib><description>In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines</description><identifier>ISSN: 2168-1864</identifier><identifier>ISBN: 9780769525440</identifier><identifier>ISBN: 076952544X</identifier><identifier>EISSN: 2168-1872</identifier><identifier>DOI: 10.1109/EASE.2006.24</identifier><language>eng</language><publisher>IEEE</publisher><subject>Aerospace electronics ; Biology computing ; Delay ; Engines ; Fault tolerant systems ; Humans ; Large-scale systems ; Military computing ; Real time systems ; Safety</subject><ispartof>Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06), 2006, p.129-140</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/1607337$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1607337$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Abhishek Dubey</creatorcontrib><creatorcontrib>Nordstrom, S.</creatorcontrib><creatorcontrib>Keskinpala, T.</creatorcontrib><creatorcontrib>Sandeep Neema</creatorcontrib><creatorcontrib>Bapty, T.</creatorcontrib><title>Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems</title><title>Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)</title><addtitle>EASE</addtitle><description>In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines</description><subject>Aerospace electronics</subject><subject>Biology computing</subject><subject>Delay</subject><subject>Engines</subject><subject>Fault tolerant systems</subject><subject>Humans</subject><subject>Large-scale systems</subject><subject>Military computing</subject><subject>Real time systems</subject><subject>Safety</subject><issn>2168-1864</issn><issn>2168-1872</issn><isbn>9780769525440</isbn><isbn>076952544X</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9jEtLxDAURoMPcBi7c-cmf6D15tGkWZah4wgVxRa3Q6a9LZE-pMks-u8dUPw2h8OBj5AHBgljYJ6KvCoSDqASLq_IhjOVxSzT_JpERmeglUl5KiXc_Dcl70jk_RdcJoVmGd-Q909cXLe6qaf5OczTPLqG7u15CPTVBdfb4OaJVmGxAXuHnrqJlnbpkVaNHZB-oB3i2o0XX33A0d-T284OHqM_bkm9L-rdIS7fnl92eRk7AyHWmbBKYpNq03COCkx34giMMdky3Qrs2q5thBG8YWC1OIHIWujQptBqTJXYksffW4eIx-_FjXZZj0yBFkKLH6WPUGE</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Abhishek Dubey</creator><creator>Nordstrom, S.</creator><creator>Keskinpala, T.</creator><creator>Sandeep Neema</creator><creator>Bapty, T.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2006</creationdate><title>Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems</title><author>Abhishek Dubey ; Nordstrom, S. ; Keskinpala, T. ; Sandeep Neema ; Bapty, T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-783a64ec579c22e609fb2e01114d17d3efdfdc3932c10a73b038d0fea50d7e563</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Aerospace electronics</topic><topic>Biology computing</topic><topic>Delay</topic><topic>Engines</topic><topic>Fault tolerant systems</topic><topic>Humans</topic><topic>Large-scale systems</topic><topic>Military computing</topic><topic>Real time systems</topic><topic>Safety</topic><toplevel>online_resources</toplevel><creatorcontrib>Abhishek Dubey</creatorcontrib><creatorcontrib>Nordstrom, S.</creatorcontrib><creatorcontrib>Keskinpala, T.</creatorcontrib><creatorcontrib>Sandeep Neema</creatorcontrib><creatorcontrib>Bapty, T.</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>Abhishek Dubey</au><au>Nordstrom, S.</au><au>Keskinpala, T.</au><au>Sandeep Neema</au><au>Bapty, T.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems</atitle><btitle>Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)</btitle><stitle>EASE</stitle><date>2006</date><risdate>2006</risdate><spage>129</spage><epage>140</epage><pages>129-140</pages><issn>2168-1864</issn><eissn>2168-1872</eissn><isbn>9780769525440</isbn><isbn>076952544X</isbn><abstract>In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines</abstract><pub>IEEE</pub><doi>10.1109/EASE.2006.24</doi><tpages>12</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISSN: 2168-1864
ispartof	Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06), 2006, p.129-140
issn	2168-1864 2168-1872
language	eng
recordid	cdi_ieee_primary_1607337
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Aerospace electronics Biology computing Delay Engines Fault tolerant systems Humans Large-scale systems Military computing Real time systems Safety
title	Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T02%3A23%3A26IST&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=Verifying%20Autonomic%20Fault%20Mitigation%20Strategies%20in%20Large%20Scale%20Real-Time%20Systems&rft.btitle=Third%20IEEE%20International%20Workshop%20on%20Engineering%20of%20Autonomic%20&%20Autonomous%20Systems%20(EASE'06)&rft.au=Abhishek%20Dubey&rft.date=2006&rft.spage=129&rft.epage=140&rft.pages=129-140&rft.issn=2168-1864&rft.eissn=2168-1872&rft.isbn=9780769525440&rft.isbn_list=076952544X&rft_id=info:doi/10.1109/EASE.2006.24&rft_dat=%3Cieee_6IE%3E1607337%3C/ieee_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=1607337&rfr_iscdi=true