{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:12:35Z","timestamp":1767651155176},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0951-8320(00)00076-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:34:38Z","timestamp":1027604078000},"page":"229-247","source":"Crossref","is-referenced-by-count":125,"title":["Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure"],"prefix":"10.1016","volume":"71","author":[{"given":"Y.","family":"Papadopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"McDermid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sasse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0951-8320(00)00076-4_BIB1","unstructured":"Society of Automotive Engineers, ARP-4761: Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment, 12th edition, SAE, 400 Commonwealth Drive Warrendale PA United States, 1996."},{"key":"10.1016\/S0951-8320(00)00076-4_BIB2","series-title":"HAZOP and HAZAN: Identifying and assessing process industry standards","author":"Kletz","year":"1992"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB3","series-title":"Failure modes and effects analysis","author":"Palady","year":"1995"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB4","unstructured":"Vesely WE. Fault tree handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington DC, United States, 1981. p. X.15\u20138."},{"key":"10.1016\/S0951-8320(00)00076-4_BIB5","doi-asserted-by":"crossref","unstructured":"Heiner G, Thurner T. Time-triggered architecture for safety-related distributed real-time systems in transportation systems. In: Proceedings of FTCS-28, June 1998. p. 402\u201307.","DOI":"10.1109\/FTCS.1998.689491"},{"issue":"1","key":"10.1016\/S0951-8320(00)00076-4_BIB6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/40.16792","article-title":"Distributed fault tolerant real-time systems: the MARS approach","volume":"9","author":"Kopetz","year":"1989","journal-title":"IEEE Micro"},{"issue":"1","key":"10.1016\/S0951-8320(00)00076-4_BIB7","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/2.248873","article-title":"TTP: a protocol for fault tolerant real-time systems","volume":"27","author":"Kopetz","year":"1994","journal-title":"IEEE Computer"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0951-8320(94)90057-4","article-title":"Support for safety cases and safety arguments using SAM","volume":"43","author":"McDermid","year":"1994","journal-title":"Reliability Engineering and System Safety"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB9","series-title":"Structured design: fundamentals of a discipline of computer program and systems design","author":"Yourdon","year":"1986"},{"issue":"8","key":"10.1016\/S0951-8320(00)00076-4_BIB10","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1002\/spe.4380150805","article-title":"Combining MASCOT with Modula-2 to aid the engineering of real-time systems","volume":"15","author":"Budgen","year":"1985","journal-title":"Software Practice and Engineering"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB11","series-title":"Predictably dependable computing systems","article-title":"The time-triggered approach to real-time system design","author":"Kopetz","year":"1995"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB12","unstructured":"Ezhilchelvan PD, Shrivastava SK. A characterisation of faults in systems. In: Proceedings of the 5th Symposium on Reliability in Distributed Software and Database Systems, LA United States, 1986. p. 215\u201322."},{"key":"10.1016\/S0951-8320(00)00076-4_BIB13","doi-asserted-by":"crossref","unstructured":"Bondavalli A, Simoncini L. Failure classification with respect to detection. In: Predictably Dependable Computing Systems \u2014 First year Report, Task B, vol. 2, May 1990.","DOI":"10.1109\/FTDCS.1990.138293"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB14","series-title":"A development of hazard analysis to aid software design","author":"McDermid","year":"1994"},{"issue":"1","key":"10.1016\/S0951-8320(00)00076-4_BIB15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/381766.381770","article-title":"Towards Integrated Safety Analysis and Design","volume":"2","author":"Fenelon","year":"1994","journal-title":"ACM Applied Computing Review"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB16","doi-asserted-by":"crossref","unstructured":"Fenelon P, Kelly TP, McDermid JA. Safety cases for software application reuse. In: Proceedings of the 14th International Conference on Software Safety, Reliability and Security (SAFECOMP \u201995), Belgirate, Italy, 1995.","DOI":"10.1007\/978-1-4471-3054-3_29"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB17","series-title":"Compilers: principles techniques and tools","author":"Aho","year":"1986"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB18","unstructured":"International Electrotechnical Commission 65A\/179-185, IEC-61508: Functional safety of electrical\/electronic\/programmable electronic safety-related systems, IEC, 3 rue de Varemb\u00e9 CH 1211 Geneva Switzerland, 1997."},{"key":"10.1016\/S0951-8320(00)00076-4_BIB19","series-title":"Practical reliability engineering","first-page":"111","article-title":"Fundamental limitations of reliability prediction and modelling","author":"O'Connor","year":"1991"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB20","series-title":"Real-time systems","first-page":"327","article-title":"Reliability evaluation techniques","author":"Khrishna","year":"1997"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB21","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0306-4549(77)90014-7","article-title":"A new methodology for computer aided construction of fault trees","volume":"41","author":"Salem","year":"1977","journal-title":"Annals of Nuclear Energy"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB22","unstructured":"Apostolakis GE. CAT: a computer code for the automated construction of fault trees. EPRI Technical Report NP-705, Electric Power Research Institute, Palo Alto California United States, 1978."},{"issue":"1","key":"10.1016\/S0951-8320(00)00076-4_BIB23","first-page":"2","article-title":"An algorithm for fault tree construction","volume":"R-29","author":"Taylor","year":"1982","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S0951-8320(00)00076-4_BIB24","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0951-8320(90)90106-W","article-title":"STARS: Knowledge Based Tools for Safety and Reliability Analysis","volume":"30","author":"Poucet","year":"1990","journal-title":"Reliability Engineering and System Safety"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832000000764?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832000000764?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T15:28:58Z","timestamp":1556119738000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832000000764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0951832000000764"],"URL":"https:\/\/doi.org\/10.1016\/s0951-8320(00)00076-4","relation":{},"ISSN":["0951-8320"],"issn-type":[{"value":"0951-8320","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}