{"id":"https://openalex.org/W2162561614","doi":"https://doi.org/10.1109/tse.2003.1223648","title":"A nonpreemptive real-time scheduler with recovery from transient faults and its implementation","display_name":"A nonpreemptive real-time scheduler with recovery from transient faults and its implementation","publication_year":2003,"publication_date":"2003-08-01","ids":{"openalex":"https://openalex.org/W2162561614","doi":"https://doi.org/10.1109/tse.2003.1223648","mag":"2162561614"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2003.1223648","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1223648","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088337929","display_name":"Daniel Moss\u00e9","orcid":"https://orcid.org/0000-0002-9508-9815"},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. Mosse","raw_affiliation_strings":["Department of Computer Science, University of Pittsburgh, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Pittsburgh, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038997010","display_name":"Rami Melhem","orcid":"https://orcid.org/0000-0001-6403-5446"},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R. Melhem","raw_affiliation_strings":["Department of Computer Science, University of Pittsburgh, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Pittsburgh, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075635776","display_name":"S. Ghosh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142445","display_name":"SA Technologies (United States)","ror":"https://ror.org/046qmva50","country_code":"US","type":"company","lineage":["https://openalex.org/I4210142445"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Ghosh","raw_affiliation_strings":["I2 Technologies, Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"I2 Technologies, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I4210142445"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088337929"],"corresponding_institution_ids":["https://openalex.org/I170201317"],"apc_list":null,"apc_paid":null,"fwci":1.484,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.83900524,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"8","first_page":"752","last_page":"767"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8733183145523071},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6055657863616943},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6027199029922485},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.5937288999557495},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5649504661560059},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5158488154411316},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.478933185338974},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.47458529472351074},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.4727643132209778},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.43057942390441895},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3316275179386139},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3305562436580658},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1580948829650879},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12574297189712524},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11058798432350159}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8733183145523071},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6055657863616943},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6027199029922485},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.5937288999557495},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5649504661560059},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5158488154411316},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.478933185338974},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.47458529472351074},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.4727643132209778},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.43057942390441895},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3316275179386139},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3305562436580658},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1580948829650879},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12574297189712524},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11058798432350159},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2003.1223648","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2003.1223648","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.124.1696","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.1696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.pitt.edu/~melhem/vita/doc/01223648.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W50083869","https://openalex.org/W159136752","https://openalex.org/W193738704","https://openalex.org/W341983227","https://openalex.org/W1512702459","https://openalex.org/W1523087909","https://openalex.org/W1547613762","https://openalex.org/W1565527413","https://openalex.org/W1744830798","https://openalex.org/W1841932260","https://openalex.org/W1895819589","https://openalex.org/W1983733473","https://openalex.org/W1991708881","https://openalex.org/W2016944512","https://openalex.org/W2041938674","https://openalex.org/W2080061895","https://openalex.org/W2109488193","https://openalex.org/W2118561680","https://openalex.org/W2123322045","https://openalex.org/W2132452797","https://openalex.org/W2133201251","https://openalex.org/W2142079323","https://openalex.org/W2146862085","https://openalex.org/W2151208617","https://openalex.org/W2159308996","https://openalex.org/W2159543655","https://openalex.org/W2164357820","https://openalex.org/W2164708237","https://openalex.org/W2165451880","https://openalex.org/W2166440675","https://openalex.org/W2169322619","https://openalex.org/W2250292136","https://openalex.org/W2296348511","https://openalex.org/W2312852230","https://openalex.org/W2411903043","https://openalex.org/W2436326048","https://openalex.org/W2547191285","https://openalex.org/W3035757797","https://openalex.org/W3216677828","https://openalex.org/W6602058072","https://openalex.org/W6630721413","https://openalex.org/W6633682156","https://openalex.org/W7062441470"],"related_works":["https://openalex.org/W14862478","https://openalex.org/W2024953199","https://openalex.org/W1513409726","https://openalex.org/W2364069560","https://openalex.org/W2185157887","https://openalex.org/W2150306702","https://openalex.org/W1854780351","https://openalex.org/W2017416991","https://openalex.org/W1007906405","https://openalex.org/W2149939304"],"abstract_inverted_index":{"Real-time":[0],"systems":[1],"(RTS)":[2],"are":[3,50,57,93,167],"those":[4,42],"whose":[5],"correctness":[6],"depends":[7],"on":[8],"satisfying":[9],"the":[10,16,22,51,75,97,124,143,154,180,184,190,193,204],"required":[11,17],"functional":[12],"as":[13,15,41],"well":[14],"temporal":[18],"properties.":[19],"Due":[20],"to":[21,72,95,103,131,159],"criticality":[23],"of":[24,34,54,77,99,106,192],"such":[25,40],"systems,":[26,39],"recovery":[27,118,201],"from":[28],"faults":[29,59,85],"is":[30,137,145],"an":[31],"essential":[32],"part":[33],"a":[35,62,66,70,104,114,138,146],"RTS.":[36],"In":[37],"many":[38],"supporting":[43],"space":[44],"applications,":[45],"single":[46,63],"event":[47],"upsets":[48],"(SEUs)":[49],"prevalent":[52],"type":[53],"faults;":[55],"SEUs":[56,82],"transient":[58],"and":[60,83,153,200],"affect":[61],"task":[64,125],"at":[65],"time.":[67],"We":[68,175],"present":[69],"scheme":[71],"guarantee":[73],"that":[74,117,179],"execution":[76],"real-time":[78,107],"tasks":[79,108,165],"can":[80,119],"tolerate":[81],"intermittent":[84],"assuming":[86],"any":[87],"queue-based":[88],"scheduling":[89,150],"technique.":[90],"Three":[91],"algorithms":[92],"presented":[94],"solve":[96],"problem":[98],"adding":[100],"fault":[101],"tolerance":[102],"queue":[105],"by":[109,169],"reserving":[110],"sufficient":[111],"slack":[112],"in":[113,203],"schedule":[115],"so":[116],"be":[120],"carried":[121],"out":[122],"before":[123],"deadline":[126],"without":[127],"compromising":[128],"guarantees":[129],"given":[130],"other":[132],"tasks.":[133],"The":[134],"first":[135],"algorithm":[136,156],"dynamic":[139,151],"programming":[140],"optimal":[141,185],"solution,":[142],"second":[144],"linear-time":[147],"heuristic":[148],"for":[149],"tasks,":[152],"third":[155],"comprises":[157],"extensions":[158],"address":[160],"queues":[161],"with":[162],"gaps":[163],"between":[164],"(gaps":[166],"caused":[168],"precedence,":[170],"resource,":[171],"or":[172],"timing":[173],"constraints).":[174],"show":[176],"through":[177],"simulations":[178],"heuristics":[181],"closely":[182],"approximate":[183],"algorithm.":[186],"Finally,":[187],"we":[188],"describe":[189],"implementation":[191],"modified":[194],"admission":[195],"control":[196],"algorithm,":[197],"non-preemptive":[198],"scheduler,":[199],"mechanism":[202],"FT-RT-Mach":[205],"operating":[206],"system.":[207]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}
