{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:34Z","timestamp":1750307194437,"version":"3.41.0"},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,3,9]],"date-time":"2012-03-09T00:00:00Z","timestamp":1331251200000},"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":["SIGMETRICS Perform. Eval. Rev."],"published-print":{"date-parts":[[2012,3,9]]},"abstract":"<jats:p>Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts behave in conditions of failure. Second, the analysis can be unmanageable due to a considerable number of failure events, which increases with the number of components involved. To remedy this problem, in this paper we outline an analysis approach that converts failure behavioural models (state machines) to temporal fault trees (TFTs), which can then be analysed using Pandora -- a recent technique for introducing temporal logic to fault trees. The approach is compositional and potentially more scalable, as it relies on the synthesis of large system TFTs from smaller component TFTs. We show, by using a Generic Triple Redundant (GTR) system, how the approach enables a more accurate and full analysis of an increasingly complex system.<\/jats:p>","DOI":"10.1145\/2185395.2185444","type":"journal-article","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T18:41:10Z","timestamp":1335292870000},"page":"79-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Compositional synthesis of temporal fault trees from state machines"],"prefix":"10.1145","volume":"39","author":[{"given":"Nidhal","family":"Mahmud","sequence":"first","affiliation":[{"name":"University of Hull, Hull, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Walker","sequence":"additional","affiliation":[{"name":"University of Hull, Hull, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yiannis","family":"Papadopoulos","sequence":"additional","affiliation":[{"name":"University of Hull, Hull, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,9]]},"reference":[{"volume-title":"Department of Computer Science","year":"2000","author":"Papadopoulos Y.","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(02)00042-X"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_5"},{"key":"e_1_2_1_4_1","unstructured":"P. H. Feiler and A. E. Rugina. Dependability Modeling with the Architecture Analysis and Design Language (AADL). Carnegie Mellon Software Engineering Institute No CMU\/SEI-2007-TN-043 2007.  P. H. Feiler and A. E. Rugina. Dependability Modeling with the Architecture Analysis and Design Language (AADL). Carnegie Mellon Software Engineering Institute No CMU\/SEI-2007-TN-043 2007."},{"volume-title":"PhD Thesis. Institut National Polytechnique de Toulouse - INPT","year":"2007","author":"Rugina A.","key":"e_1_2_1_5_1"},{"volume-title":"DSN Workshop on Architecting Dependable Systems","year":"2007","author":"Joshi A.","key":"e_1_2_1_6_1"},{"volume-title":"France","year":"2009","author":"Bernard R.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2010.5542620"},{"key":"e_1_2_1_9_1","first-page":"5","article-title":"On the quantitative analysis of Priority-AND failure logic","volume":"25","author":"Fussel J. B.","year":"1976","journal-title":"IEEE Transactions on Reliability"},{"volume-title":"USA","year":"2002","author":"Vesely W. E.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2003.1182018"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.09.007"},{"key":"e_1_2_1_14_1","doi-asserted-by":"crossref","unstructured":"G. Merle J-M Roussel and J-J Lesage. Algebraic determination of the structure function of Dynamic Fault Trees. Reliability Engineering and System Safety Vol 96: 2 pp 267--277. DOI: 10.1016\/j.ress.2010.10.001. 2011.    10.1016\/j.ress.2010.10.001\nG. Merle J-M Roussel and J-J Lesage. Algebraic determination of the structure function of Dynamic Fault Trees. Reliability Engineering and System Safety Vol 96:2 pp 267--277. DOI: 10.1016\/j.ress.2010.10.001. 2011.","DOI":"10.1016\/j.ress.2010.10.001"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1996.557782"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0975-4_14"},{"key":"e_1_2_1_17_1","first-page":"105","article-title":"Compositional Temporal Fault Tree Analysis. In F. Saglietti and N. Oster, editors, Computer Safety, Reliability, and Security -- SAFECOMP'07","volume":"4680","author":"Walker M.","journal-title":"Lecture Notes in Computer Science"},{"key":"e_1_2_1_18_1","unstructured":"M. Walker. Pandora -- A Logic for the Qualitative Analysis of Temporal Fault Trees PhD Thesis. University of Hull UK 2009.  M. Walker. Pandora -- A Logic for the Qualitative Analysis of Temporal Fault Trees PhD Thesis. University of Hull UK 2009."}],"container-title":["ACM SIGMETRICS Performance Evaluation Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185395.2185444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2185395.2185444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:02Z","timestamp":1750241162000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185395.2185444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,9]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,3,9]]}},"alternative-id":["10.1145\/2185395.2185444"],"URL":"https:\/\/doi.org\/10.1145\/2185395.2185444","relation":{},"ISSN":["0163-5999"],"issn-type":[{"type":"print","value":"0163-5999"}],"subject":[],"published":{"date-parts":[[2012,3,9]]},"assertion":[{"value":"2012-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}