{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:49:18Z","timestamp":1743029358913,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_24","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"321-333","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Safe and\u00a0Secure Architecture Using Diverse Formal Methods"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Lecomte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"ProvenCore: Towards a Verified Isolation Micro-Kernel. Zenodo, January 2015. https:\/\/doi.org\/10.5281\/zenodo.47990","key":"24_CR1","DOI":"10.5281\/zenodo.47990"},{"unstructured":"Baro, S.: A high availability vital computer for railway applications: architecture & safety principles. In: Embedded Real Time Software and Systems (ERTS2008), Toulouse, France, January 2008. https:\/\/hal.archives-ouvertes.fr\/hal-02269811","key":"24_CR2"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-48119-2_22","volume-title":"FM\u201999 \u2014 Formal Methods","author":"P Behm","year":"1999","unstructured":"Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: M\u00e9t\u00e9or: a successful application of B in a large project. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 369\u2013387. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48119-2_22"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/S2212-5671(15)01077-1","volume":"28","author":"A Bendovschi","year":"2015","unstructured":"Bendovschi, A.: Cyber-attacks - trends, patterns and security countermeasures. Procedia Econ. Finance 28, 24\u201331 (2015)","journal-title":"Procedia Econ. Finance"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"818","DOI":"10.3390\/s19040818","volume":"19","author":"Y Cao","year":"2019","unstructured":"Cao, Y., Lu, H., Wen, T.: A safety computer system based on multi-sensor data processing. Sensors 19, 818 (2019)","journal-title":"Sensors"},{"unstructured":"Cao, Y., Ma, L.C., Li, W.: Monitoring method of safety computer condition for railway signal system. Jiaotong Yunshu Gongcheng Xuebao\/J. Traffic Transp. Eng. 13, 107\u2013112 (2013)","key":"24_CR6"},{"doi-asserted-by":"crossref","unstructured":"Essame, D., Arlat, J., Powell, D.: Padre: a protocol for asymmetric duplex redundancy, pp. 229\u2013248, December 1999","key":"24_CR7","DOI":"10.1109\/DCFTS.1999.814298"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-030-18744-6_15","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"A Ferrari","year":"2019","unstructured":"Ferrari, A., et al.: Survey on formal methods and tools in railways: the ASTRail approach. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 226\u2013241. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_15"},{"doi-asserted-by":"crossref","unstructured":"Forin, P.: Vital coded microprocessor principles and application for various transit systems. IFAC Proc. Vol. 23(2), 79\u201384 (1990). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S1474667017526531, iFAC\/IFIP\/IFORS Symposium on Control, Computers, Communications in Transportation, Paris, France, 19\u201321 September","key":"24_CR9","DOI":"10.1016\/B978-0-08-037025-5.50017-7"},{"unstructured":"Gao, Y., Cao, Y., Sun, Y., Ma, L., Hong, C., Zhang, Y.: Analysis and verification of safety computer time constraints for train-to-train communications. Tongxin Xuebao\/J. Commun. 39, 82\u201390 (2018)","key":"24_CR10"},{"doi-asserted-by":"crossref","unstructured":"Ingibergsson, J., Kraft, D., Schultz, U.: Safety computer vision rules for improved sensor certification, April 2017","key":"24_CR11","DOI":"10.1109\/IRC.2017.27"},{"unstructured":"Kilmer, R., McCain, H., Juberts, M., Legowik, S.: Safety computer design and implementation, January 1985","key":"24_CR12"},{"doi-asserted-by":"crossref","unstructured":"Wang, H.F., Li, W.: Component-based safety computer of railway signal interlocking system, vol. 1, pp. 538\u2013541, September 2008","key":"24_CR13","DOI":"10.1109\/CCCM.2008.269"},{"unstructured":"Zheng, S., Cao, Y., Zhang, Y., Jing, H., Hu, H.: Design and verification of general train control system\u2019s safety computer, vol. 38, pp. 128\u2013134+145, May 2014","key":"24_CR14"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T02:43:34Z","timestamp":1728182614000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}