{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:58:53Z","timestamp":1725836333739},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251400"},{"type":"electronic","value":"9783319251417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25141-7_5","type":"book-chapter","created":{"date-parts":[[2015,10,31]],"date-time":"2015-10-31T08:51:25Z","timestamp":1446281485000},"page":"56-66","source":"Crossref","is-referenced-by-count":1,"title":["A Parametric Dataflow Model for the Speed and\u00a0Distance Monitoring in Novel Train Control\u00a0Systems"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Beichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Golatowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,1]]},"reference":[{"key":"5_CR1","unstructured":"Berry, G., Moisan, S., Rigault, J.: Towards a synchronous and semantically sound high level language for real-time applications. In: IEEE Real Time Systems Symposium, pp. 30\u201340 (1983)"},{"key":"5_CR2","unstructured":"Berry, G.: The esterel v5 language primer version v5 91 (2000). \n                    ftp:\/\/ftp.inrialpes.fr\/pub\/synalp\/reports\/esterel-primer.pdf.gz"},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"5_CR4","doi-asserted-by":"publisher","first-page":"2408","DOI":"10.1109\/78.950795","volume":"49","author":"B Bhattacharya","year":"2001","unstructured":"Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. IEEE Trans. Sig. Process. 49(10), 2408\u20132421 (2001)","journal-title":"IEEE Trans. Sig. Process."},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/78.485935","volume":"44","author":"G Bilsen","year":"1996","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cycle-static dataflow. IEEE Trans. Sig. Process. 44(2), 397\u2013408 (1996)","journal-title":"IEEE Trans. Sig. Process."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Buck, J., Lee, E.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In: 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP-1993, vol. 1, pp. 429\u2013432, April 1993","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"5_CR7","unstructured":"Dross, C., Efstathopoulos, P., Lesens, D., Mentr\u00e9, D., Moy, Y.: Rail, space, security: three case studies for SPARK 2014. In: ERTS, Toulouse, February 2014"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Friman, B.: An algorithm for braking curve calculations in ERTMS train protection systems. In: Advanced Train Control Systems, p. 65 (2010)","DOI":"10.2495\/978-1-84564-494-9\/08"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Grimm, C., Ou, J.: Unifying process networks for design of cyber physical systems. In: Electronic System Level Synthesis Conference (ESLsyn), June 2011","DOI":"10.1109\/ESLsyn.2011.5952280"},{"key":"5_CR10","unstructured":"Hermanns, H., Jansen, D., Usenko, Y.: A comparative reliability analysis of etcs train radio communications, aVACS Technical report No. 2, February 2005"},{"key":"5_CR11","unstructured":"zu H\u00f6rste, M., Hungar, H., Schnieder, E.: Modelling functionality of train control systems using petri nets. In: Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems, p. 46 (2013)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Jansen, L., zu H\u00f6rste, M., Schnieder, E.: Technical issues in modelling the european train control system. In: Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design \/CPN 1998, pp. 103\u2013115 (1998)","DOI":"10.7146\/dpb.v27i532.7649"},{"issue":"9","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., Messerschmitt, D.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"5_CR14","unstructured":"Nitsch, A., Beichler, B., Golatowski, F., Haubelt, C.: Model-based systems engineering with matlab\/simulink in the railway sector. In: Proceeding of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Chemnitz, Germany (2015)"},{"key":"5_CR15","unstructured":"UNISIG: SUBSET-026 - System Requirements Specification. SRS 3.3.0, ERA (2012)"},{"issue":"1\u20132","key":"5_CR16","first-page":"174","volume":"5","author":"B Vincze","year":"2011","unstructured":"Vincze, B., Tarnai, G.: Development and analysis of train brake curve calculation methods with complex simulation. Adv. Electr. Electron. Eng. 5(1\u20132), 174\u2013177 (2011)","journal-title":"Adv. Electr. Electron. Eng."},{"issue":"1","key":"5_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.jss.2003.12.039","volume":"77","author":"A Zimmermann","year":"2005","unstructured":"Zimmermann, A., Hommel, G.: Towards modeling and evaluation of etcs real-time communication and operation. J. Syst. Softw. 77(1), 47\u201354 (2005)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25141-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:24:39Z","timestamp":1559301879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25141-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251400","9783319251417"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25141-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}