{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:39Z","timestamp":1742617239506,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617723"},{"type":"electronic","value":"9783540706779"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61772-8_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:23:39Z","timestamp":1330295019000},"page":"91-110","source":"Crossref","is-referenced-by-count":8,"title":["Dependability modeling and analysis of complex control systems: An application to railway interlocking"],"prefix":"10.1007","author":[{"given":"Manuela","family":"Nelli","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Bondavalli","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Simoncini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/12.54843","volume":"39","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, K. Kanoun and J. C. Laprie, \u201cDependability Modelling and Evaluation of Software Fault-Tolerant Systems,\u201d IEEE Transaction on Computer, Vol. 39, pp. 504\u2013513, 1990.","journal-title":"IEEE Transaction on Computer"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"A. Avizienis and J. P. J. Kelly, \u201cFault Tolerance by Design Diversity: Concepts and Experiments,\u201d IEEE Computer, Vol. pp. 1984.","DOI":"10.1109\/MC.1984.1659219"},{"key":"6_CR3","unstructured":"J.B. Balliet and J.R. Hoelscher, \u201cMicroprocessor based Interlocking Control \u2014 Concept to Application,\u201d in Proc. APTA Rail Transit Conf., Miami, Fl., 1986, pp. 13."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre, \u201cDependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation,\u201d in Proc. accepted at SAFECOMP '95, Belgirate, Italy, 1995, pp.","DOI":"10.1007\/978-1-4471-3054-3_34"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"S. Chiaradonna, A. Bondavalli and L. Strigini, \u201cOn Performability Modeling and Evaluation of Software Fault Tolerance Structures,\u201d in Proc. EDCC1, Berlin, Germany, 1994, pp. 97\u2013114.","DOI":"10.1007\/3-540-58426-9_126"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1109\/TC.1978.1675146","volume":"C-27","author":"A. Costes","year":"1978","unstructured":"A. Costes, C. Landrault and J. C. Laprie, \u201cReliability and Availability Models for Maintained Systems featuring Hardware Failures and Design Faults,\u201d IEEE Trans. on Computers, Vol. C-27, pp. 548\u201360, 1978.","journal-title":"IEEE Trans. on Computers"},{"key":"6_CR7","unstructured":"A.H. Cribbens, M.J. Furniss and H.A. Ryland, \u201cThe Solid State Interlocking Project,\u201d in Proc. IRSE Symposium \u201cRailway in the Electronic Age\u201d, London, UK, 1981, pp. 1\u20135."},{"key":"6_CR8","unstructured":"F. Di Giandomenico, A. Bondavalli and J. Xu, \u201cHardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments,\u201d Esprit BRA 6362 PDCS2 Technical Report, June 26 1995."},{"key":"6_CR9","unstructured":"J. B. Dugan and M. Lyu, \u201cSystem-level Reliability and Sensivity Analysis for Three Fault-Tolerant Architectures,\u201d in Proc. 4th IFIP Int. Conference on Dependable Computing for Critical Applications, San Diego, 1994, pp. 295\u2013307."},{"key":"6_CR10","unstructured":"E. K. Holt, \u201cThe Application of Microprocessors to Interlocking Logic,\u201d in Proc. APTA Rail Transit Conf., Miami, Fl., 1986, pp. 13."},{"key":"6_CR11","unstructured":"K. Kanoun, M. Borrel, T. Morteveille and A. Peytavin, \u201cModelling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System,\u201d LAAS Report, December 1995."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"J. C. Laprie, C. Beounes, M. Kaaniche and K. Kanoun, \u201cThe Transformation Approach to Modeling and Evaluation of Reliability and Availability Growth of Systems,\u201d in Proc. 20th IEEE Int. Symposium on fault Tolerant Computing, Newcastle, UK, 1990, pp. 364\u201371.","DOI":"10.1109\/FTCS.1990.89390"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1109\/32.121755","volume":"SE-18","author":"J.C. Laprie","year":"1992","unstructured":"J.C. Laprie and K. Kanoun, \u201cX-ware Reliability and Availability modelling,\u201d IEEE Trans. on Software Engineering, Vol. SE-18, pp. 130\u2013147, 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"6_CR14","unstructured":"G. Mongardi, \u201cA.C.C Specifiche Tecniche e Funzionali,\u201d Ansaldo Trasporti"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"G. Mongardi, \u201cDependable Computing for Railway Control Systems,\u201d in Proc. DCCA-3, Mondello, Italy, 1993, pp. 255\u2013277.","DOI":"10.1007\/978-3-7091-4009-3_11"},{"key":"6_CR16","volume-title":"Modellamento e valutazione di attributi della dependability di un sistema critico per l'interlocking ferroviario","author":"M. Nelli","year":"1995","unstructured":"M. Nelli, \u201cModellamento e valutazione di attributi della dependability di un sistema critico per l'interlocking ferroviario\u201d, Tesi di Laurea, Facolta' di Ingegneria, University of Pisa, Pisa, 1995."},{"key":"6_CR17","first-page":"1","volume":"1","author":"D. Nordenfors","year":"1986","unstructured":"D. Nordenfors and A. Sjoeberg, \u201cComputer Controlled Electronic Interlocking System, ERILOCK 850,\u201d ERICSSON Review, Vol. 1, pp. 1\u201312, 1986.","journal-title":"ERICSSON Review"},{"key":"6_CR18","first-page":"1043","volume":"12","author":"I. Okumura","year":"1980","unstructured":"I. Okumura, \u201cElectronic Interlocking to be tried in Japan,\u201d Railway Gazette International, Vol. 12, pp. 1043\u20131046, 1980.","journal-title":"Railway Gazette International"},{"key":"6_CR19","first-page":"82","volume":"4","author":"H. Strelow","year":"1978","unstructured":"H. Strelow and H. Uebel, \u201cDas Sichere Mikrocomputersystem SIMIS,\u201d Signal und Draht, Vol. 4, pp. 82\u201386, 1978.","journal-title":"Signal und Draht"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"A. T. Tai, A. Avizienis and J. F. Meyer, \u201cEvaluation of fault tolerant software: a performability modeling approach,\u201d in \u201cDependable Computing for Critical Applications 3\u201d, C. E. Landwher, B. Randell and L. Simoncini Ed., Springer-Verlag, 1992, pp. 113\u2013135.","DOI":"10.1007\/978-3-7091-4009-3_5"},{"key":"6_CR21","volume-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"K. S. Trivedi","year":"1982","unstructured":"K. S. Trivedi, \u201cProbability and Statistics with Reliability, Queuing, and Computer Science Applications,\u201d Durham, North Carolina, Prentice-Hall, Inc., Englewood Cliffs, 1982."},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"G. Wirthumer, \u201cVOTRICS \u2014 Fault Tolerant realised in software,\u201d in Proc. SAFECOMP, Vienna, Austria, 1989, pp. 135\u2013140.","DOI":"10.1016\/S1474-6670(17)52808-6"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61772-8_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:26:15Z","timestamp":1742599575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61772-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617723","9783540706779"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61772-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}