{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:59Z","timestamp":1760586659027,"version":"3.41.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2013,11,11]]},"abstract":"<jats:p>Quantifying software reliability, such as performance and dependability, through stochastic behavior models (or labeled transition systems) is already a common practice in the software analysis community. However, those models are usually too fine grained to represent an accurate view of the software system by its stakeholders. Scenarios, on the other hand, are capable not only to describe the system traces as behavior models do but also depict very clearly the system components designed to provide the intended system behavior as well as to outline a high level architecture view of the system being described. In this paper, we introduce a case study of a safety critical computer based system that is running in an Indian Nuclear Power Plant. We define clear component interfaces, from which we analyze its software reliability.<\/jats:p>","DOI":"10.1145\/2532780.25328012","type":"journal-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T14:13:59Z","timestamp":1385561639000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Reliability prediction through system modeling"],"prefix":"10.1145","volume":"38","author":[{"given":"Lalit Kumar","family":"Singh","sequence":"first","affiliation":[{"name":"Dept of Computer Engg IIT(BHU) Varanasi, India"}]},{"given":"Gopika","family":"Vinod","sequence":"additional","affiliation":[{"name":"Reactor Safety Division Bhabha Atomic Research Centre Dept of Atomic Energy, Govt of India"}]},{"given":"A. K.","family":"Tripathi","sequence":"additional","affiliation":[{"name":"Dept of Computer Engg IIT(BHU) Varanasi, India"}]}],"member":"320","published-online":{"date-parts":[[2013,11,11]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"153","volume-title":"FOSE '07: 2007 Future of Software Engineering","author":"Lyu M. R.","year":"2007"},{"volume-title":"Handbook of Software Reliability Engineering","year":"1996","author":"Lyu M. R.","key":"e_1_2_1_2_1"},{"volume-title":"Software Engineering","year":"2001","author":"Sommerville I.","key":"e_1_2_1_3_1"},{"volume-title":"IARP\/IEEE-RAS Workshop on Robot Dependability","year":"2001","author":"Avizienis A.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.1999.816223"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646727.703205"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/795673.797002"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/857205.858306"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368104"},{"key":"e_1_2_1_11_1","unstructured":"W. Stewart \"Numerical solution of Markov chains.\" CRC 1991  W. Stewart \"Numerical solution of Markov chains.\" CRC 1991"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532780.25328012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2532780.25328012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:06Z","timestamp":1750278126000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532780.25328012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,11]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,11,11]]}},"alternative-id":["10.1145\/2532780.25328012"],"URL":"https:\/\/doi.org\/10.1145\/2532780.25328012","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2013,11,11]]},"assertion":[{"value":"2013-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}