{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T23:34:59Z","timestamp":1778024099320,"version":"3.51.4"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s10617-013-9120-7","type":"journal-article","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T06:53:51Z","timestamp":1378882431000},"page":"87-107","source":"Crossref","is-referenced-by-count":5,"title":["Reliability analysis of real-time fault-tolerant task models"],"prefix":"10.1007","volume":"17","author":[{"given":"Shenglin","family":"Gui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,11]]},"reference":[{"key":"9120_CR1","unstructured":"OMG model driven architecture. http:\/\/www.omg.org\/mda\/"},{"key":"9120_CR2","unstructured":"Avionics application software standard interface-ARINC. Specification 653P1-2 (2006)"},{"issue":"11","key":"9120_CR3","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/32.177368","volume":"18","author":"WW Agresti","year":"1992","unstructured":"Agresti WW, Evanco WM (1992) Projecting software defects from analyzing Ada designs. IEEE Trans Softw Eng 18(11):988\u2013997","journal-title":"IEEE Trans Softw Eng"},{"issue":"5","key":"9120_CR4","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"NC Audsley","year":"1993","unstructured":"Audsley NC, Burns A, Richardson M, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284\u2013292","journal-title":"Softw Eng J"},{"issue":"7","key":"9120_CR5","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.2003.1214341","volume":"52","author":"E Bini","year":"2003","unstructured":"Bini E, Buttazzo GC, Giuseppe M (2003) Rate monotonic scheduling: the hyperbolic bound. IEEE Trans Comput 52(7):933\u2013942","journal-title":"IEEE Trans Comput"},{"issue":"7","key":"9120_CR6","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/TC.1982.1676063","volume":"C-31","author":"X Castillo","year":"1982","unstructured":"Castillo X, McConnel SR, Siewiorek DP (1982) Derivation and caliberation of a transient error reliability model. IEEE Trans Comput C-31(7):658\u2013671","journal-title":"IEEE Trans Comput"},{"key":"9120_CR7","first-page":"356","volume-title":"Proc. of the 6th international conference on real-time computing systems and applications","author":"P Chevochot","year":"1999","unstructured":"Chevochot P, Puaut I (1999) Scheduling fault-tolerant distributed hard real-time tasks independently of the replication strategies. In: Proc. of the 6th international conference on real-time computing systems and applications, pp 356\u2013363"},{"issue":"2","key":"9120_CR8","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1109\/TA.1964.4319640","volume":"2","author":"JT Duane","year":"1964","unstructured":"Duane JT (1964) Learning curve approach to reliability monitoring. IEEE Trans Aerosp 2(2):563\u2013566","journal-title":"IEEE Trans Aerosp"},{"key":"9120_CR9","doi-asserted-by":"crossref","first-page":"1117","DOI":"10.1145\/1403375.1403644","volume-title":"Proc. of the conference on design, automation and test in Europe","author":"P Eles","year":"2008","unstructured":"Eles P, Izosimov V, Pop P, Peng Z (2008) Synthesis of fault-tolerant embedded systems. In: Proc. of the conference on design, automation and test in Europe, pp 1117\u20131122"},{"key":"9120_CR10","volume-title":"Proc. of the 13th Minnowbrook workshop on software reliability","author":"JE Gaffney","year":"1990","unstructured":"Gaffney JE, Pietrolewicz J (1990) An automated model for software early prediction(SWEEP). In: Proc. of the 13th Minnowbrook workshop on software reliability"},{"key":"9120_CR11","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1109\/IPPS.1994.288216","volume-title":"Proc. of the 8th international symposium on parallel processing","author":"S Ghosh","year":"1994","unstructured":"Ghosh S, Melhem R, Mosse D (1994) Fault-tolerant scheduling on a hard real-time multiprocessor system. In: Proc. of the 8th international symposium on parallel processing, pp 775\u2013782"},{"issue":"S","key":"9120_CR12","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TR.1979.5220566","volume":"R-28","author":"AL Goel","year":"1979","unstructured":"Goel AL, Okumoto K (1979) Time-dependent error-detection rate model for software and other performance measures. IEEE Trans Reliab R-28(S):206\u2013211","journal-title":"IEEE Trans Reliab"},{"key":"9120_CR13","volume-title":"Proc. of the fast abstracts 11th IEEE international symposium on software reliability engineering","author":"K Goseva-Popstojanova","year":"2000","unstructured":"Goseva-Popstojanova K, Trivedi K, Mathur AP (2000) How different architecture based software reliability models are related? In: Proc. of the fast abstracts 11th IEEE international symposium on software reliability engineering"},{"key":"9120_CR14","unstructured":"Institute of Electrical & Electronics Engineers (1991) Standard glossary of software engineering terminology. IEEE Std. 729\u20131991"},{"key":"9120_CR15","first-page":"103","volume-title":"Proc. of the international conference on real-time computing systems and applications","author":"Y Lee","year":"1998","unstructured":"Lee Y, Kim D, Younis M, Zhou J (1998) Partition scheduling in apex runtime environment for embedded avionics software. In: Proc. of the international conference on real-time computing systems and applications, pp 103\u2013109"},{"key":"9120_CR16","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/11572329_14","volume-title":"Proc. of the 2nd Latin-American conference on dependable computing","author":"G Lima","year":"2005","unstructured":"Lima G, Burns A (2005) Scheduling fixed-priority hard real-time tasks in the presence of faults. In: Proc. of the 2nd Latin-American conference on dependable computing, pp 154\u2013173"},{"issue":"3","key":"9120_CR17","first-page":"251","volume":"1","author":"B Littlewood","year":"1980","unstructured":"Littlewood B (1980) The Littlewood-Verrall model for software reliability compared with some rivals. J Syst Softw 1(3):251\u2013258","journal-title":"J Syst Softw"},{"issue":"1","key":"9120_CR18","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C Liu","year":"1973","unstructured":"Liu C, Layland J (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"9120_CR19","unstructured":"Liu X (2009) Fault-tolerant scheduling A model proposal for multiple transient faults. Master\u2019s thesis, Chalmers University of Technology, Sweden"},{"issue":"5","key":"9120_CR20","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1109\/TR.1979.5220648","volume":"R-28","author":"PB Moranda","year":"1979","unstructured":"Moranda PB (1979) Event-altered rate models for general reliability analysis. IEEE Trans Reliab R-28(5):376\u2013381","journal-title":"IEEE Trans Reliab"},{"issue":"3","key":"9120_CR21","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/TR.1979.5220561","volume":"R-28","author":"JD Musa","year":"1979","unstructured":"Musa JD (1979) Validity of execution-time theory of software reliability. IEEE Trans Reliab R-28(3):181\u2013191","journal-title":"IEEE Trans Reliab"},{"issue":"4","key":"9120_CR22","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1147\/rd.284.0428","volume":"21","author":"M Ohba","year":"1984","unstructured":"Ohba M (1984) Software reliability analysis models. IBM J Res Dev 21(4):428\u2013443","journal-title":"IBM J Res Dev"},{"issue":"10","key":"9120_CR23","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/12.729793","volume":"47","author":"M Pandya","year":"1998","unstructured":"Pandya M, Malek M (1998) Minimum achivable utilization for fault-tolerant processing of periodic tasks. IEEE Trans Comput 47(10):1102\u20131112","journal-title":"IEEE Trans Comput"},{"issue":"5","key":"9120_CR24","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/j.parco.2006.06.006","volume":"32","author":"X Qin","year":"2006","unstructured":"Qin X, Jiang H (2006) A novel fault-tolerant scheduling algorithm for precedence constrained tasks in real-time heterogeneous systems. Parallel Comput 32(5):331\u2013356","journal-title":"Parallel Comput"},{"issue":"6","key":"9120_CR25","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/390016.808456","volume":"10","author":"NF Schneidewind","year":"1975","unstructured":"Schneidewind NF (1975) Analysis of error processes in computer software. Sigplan Note 10(6):337\u2013346","journal-title":"Sigplan Note"},{"issue":"9","key":"9120_CR26","doi-asserted-by":"crossref","first-page":"1156","DOI":"10.1109\/12.165396","volume":"41","author":"S Shatz","year":"1992","unstructured":"Shatz S, Wang J, Goto M (1992) Task allocation for maximizing reliability of distributed computer systems. IEEE Trans Comput 41(9):1156\u20131168","journal-title":"IEEE Trans Comput"},{"issue":"11","key":"9120_CR27","doi-asserted-by":"crossref","first-page":"1328","DOI":"10.1109\/TC.1987.5009472","volume":"C-36","author":"KG Shin","year":"1987","unstructured":"Shin KG, Lin T, Lee Y (1987) Optimal checkpointing of real-time tasks. IEEE Trans Comput C-36(11):1328\u20131341","journal-title":"IEEE Trans Comput"},{"issue":"3","key":"9120_CR28","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1109\/24.740500","volume":"47","author":"C Smidts","year":"1998","unstructured":"Smidts C, Stutzke M, Stoddard RW (1998) Software reliability modeling: an approach to early reliability prediction. IEEE Trans Reliab 47(3):268\u2013278","journal-title":"IEEE Trans Reliab"},{"issue":"1","key":"9120_CR29","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF01088593","volume":"6","author":"K Tindell","year":"1994","unstructured":"Tindell K, Burns A, Wellings A (1994) An extendible approach for analysing fixed priority hard real-time tasks. Real-Time Syst 6(1):133\u2013151","journal-title":"Real-Time Syst"},{"issue":"2\u20133","key":"9120_CR30","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Microprocess Microprogram 40(2\u20133):117\u2013134","journal-title":"Microprocess Microprogram"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-013-9120-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-013-9120-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-013-9120-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T00:07:51Z","timestamp":1646525271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-013-9120-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["9120"],"URL":"https:\/\/doi.org\/10.1007\/s10617-013-9120-7","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]}}}