{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:33:54Z","timestamp":1725914034738},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319684987"},{"type":"electronic","value":"9783319684994"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68499-4_6","type":"book-chapter","created":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T06:35:37Z","timestamp":1508308537000},"page":"87-98","source":"Crossref","is-referenced-by-count":4,"title":["OVADO"],"prefix":"10.1007","author":[{"given":"Manel","family":"Fredj","sequence":"first","affiliation":[]},{"given":"Sven","family":"Leger","sequence":"additional","affiliation":[]},{"given":"Abderrahmane","family":"Feliachi","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Ordioni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,19]]},"reference":[{"key":"6_CR1","unstructured":"Ovado website. \nhttp:\/\/www.ovado.net\/fr\/index.html"},{"key":"6_CR2","unstructured":"Saferiver website. \nhttp:\/\/www.saferiver.fr\/index.php?id=plateformes"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-319-05032-4_17","volume-title":"Software Engineering and Formal Methods","author":"R Abo","year":"2014","unstructured":"Abo, R., Voisin, L.: Formal implementation of data validation for railway safety-related systems with OVADO. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 221\u2013236. Springer, Cham (2014). doi:\n10.1007\/978-3-319-05032-4_17"},{"key":"6_CR4","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 1999 \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). doi:\n10.1007\/3-540-48119-2_22"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-33951-1_15","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"N Benaissa","year":"2016","unstructured":"Benaissa, N., Bonvoisin, D., Feliachi, A., Ordioni, J.: The PERF approach for formal verification. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 203\u2013214. Springer, Cham (2016). doi:\n10.1007\/978-3-319-33951-1_15"},{"key":"6_CR6","unstructured":"CENELEC: Railway applications - communication, signalling and processing systems - software for railway control and protection systems (en50128) (2011)"},{"key":"6_CR7","unstructured":"Clabaut, M., Metaye, C., Morand, E.: Formal data validation - formal techniques applied to verification of data properties. In: ERTS 2010. SIA\/3AF\/SEE (2010)"},{"key":"6_CR8","unstructured":"Rail Transit Vehicle Interface Standards Committee: IEEE Standard for Communications-based Train Control (CBTC) Performance and Functional Requirements. IEEE (2005)"},{"issue":"6","key":"6_CR9","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/s10009-014-0342-1","volume":"16","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A., Flammini, F., Gnesi, S.: Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6), 643\u2013646 (2014)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-33600-8_10","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"D Hansen","year":"2016","unstructured":"Hansen, D., Schneider, D., Leuschel, M.: Using B and ProB for data validation projects. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 167\u2013182. Springer, Cham (2016). doi:\n10.1007\/978-3-319-33600-8_10"},{"key":"6_CR11","unstructured":"Haxthausen, A.E.: An introduction to formal methods for the development of safety-critical applications (2010)"},{"key":"6_CR12","unstructured":"Lecomte, T., Mottin, E.: Formal data validation in the railways. In: Developing Safe Systems, SSS 2016, February 2016"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Pascoe, R.D., Eichorn, T.N.: What is communication-based train control? IEEE Veh. Technol. Mag. 4(4), 16\u201321 (2009)","DOI":"10.1109\/MVT.2009.934665"}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68499-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,18]],"date-time":"2017-10-18T06:36:56Z","timestamp":1508308616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68499-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319684987","9783319684994"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68499-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}