{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:06Z","timestamp":1740099486375,"version":"3.37.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030306038"},{"type":"electronic","value":"9783030306045"}],"license":[{"start":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T00:00:00Z","timestamp":1567641600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-30604-5_7","type":"book-chapter","created":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T02:13:03Z","timestamp":1567563183000},"page":"74-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["State Machine of a Redundant Computing Unit Operating as a Cyber-Physical System Control Node with Hot-Standby Redundancy"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4800-2323","authenticated-orcid":false,"given":"Jacek","family":"St\u00f3j","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,5]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MIE.2017.2648857","volume":"11","author":"AW Colombo","year":"2017","unstructured":"Colombo, A.W., Karnouskos, S., Kaynak, O., Shi, Y., Yin, S.: Industrial cyberphysical systems: a backbone of the fourth industrial revolution. IEEE Ind. Electron. Mag. 11(1), 6\u201316 (2017). \n                    https:\/\/doi.org\/10.1109\/MIE.2017.2648857","journal-title":"IEEE Ind. Electron. Mag."},{"issue":"7","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1746","DOI":"10.1109\/TSMC.2017.2681702","volume":"47","author":"D Zhang","year":"2017","unstructured":"Zhang, D., Nguang, S.K., Yu, L.: Distributed control of large-scale networked control systems with communication constraints and topology switching. IEEE Trans. Syst., Man, Cybern.: Syst. 47(7), 1746\u20131757 (2017). \n                    https:\/\/doi.org\/10.1109\/TSMC.2017.2681702","journal-title":"IEEE Trans. Syst., Man, Cybern.: Syst."},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/ms.2017.94","volume":"34","author":"LEG Martins","year":"2017","unstructured":"Martins, L.E.G., Gorschek, T.: Requirements engineering for safety-critical systems: overview and challenges. IEEE Softw. 34(4), 49\u201357 (2017). \n                    https:\/\/doi.org\/10.1109\/ms.2017.94","journal-title":"IEEE Softw."},{"key":"7_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-13861-4_11","volume-title":"Computer Networks","author":"A Kwiecie\u0144","year":"2010","unstructured":"Kwiecie\u0144, A., St\u00f3j, J.: The cost of redundancy in distributed real-time systems in steady state. In: Kwiecie\u0144, A., Gaj, P., Stera, P. (eds.) CN 2010. CCIS, vol. 79, pp. 106\u2013120. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-13861-4_11"},{"key":"7_CR5","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-65208-5_1","volume-title":"Towards a Synergistic Combination of Research and Practice in Software Engineering","author":"J St\u00f3j","year":"2018","unstructured":"St\u00f3j, J., Kwiecie\u0144, A.: Temporal costs of computing unit redundancy in steady and transient state. In: Kosiuczenko, P., Madeyski, L. (eds.) Towards a Synergistic Combination of Research and Practice in Software Engineering. SCI, vol. 733, pp. 1\u201314. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-65208-5_1"},{"key":"7_CR6","unstructured":"Safety Engineering in SIMATIC S7, Siemens Simatic System Manual, April 2006"},{"key":"7_CR7","unstructured":"PACSystems\u2122 Hot Standby CPU Redundancy User\u2019s Manual, GE Fanuc Intelligent Platforms, Programmable Control Products, GFK-2308C, March 2009"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Zuloaga, A., Astarloa, A., Jim\u00e9nez, J., L\u00e1zaro, J., Araujo, J.A.: Cost-effective redundancy for Ethernet train communications using HSR. In: 2014 IEEE 23rd International Symposium on Industrial Electronics (ISIE), pp. 1117\u20131122, 1\u20134 June 2014","DOI":"10.1109\/ISIE.2014.6864770"},{"key":"7_CR9","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-319-99981-4_5","volume-title":"Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2018","author":"J St\u00f3j","year":"2019","unstructured":"St\u00f3j, J.: Cost effective computing unit redundancy in networked control systems using real-time ethernet protocol. In: Borzemski, L., \u015awi\u0105tek, J., Wilimowska, Z. (eds.) ISAT 2018. AISC, vol. 852, pp. 43\u201353. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-319-99981-4_5"},{"key":"7_CR10","unstructured":"Real-time Ethernet with TwinCAT network variables, Application Note DK9322-0110-0024, Beckhoff, January 2010"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Maruyama, T., Yamada, T.: Spatial-temporal communication redundancy for high performance EtherCAT master. In: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, Limassol, pp. 1\u20136 (2017)","DOI":"10.1109\/ETFA.2017.8247720"},{"key":"7_CR12","unstructured":"Beckhoff: EtherCAT System Documentation. Version 5.3, 29 June 2018"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Smo\u0142ka, I.: Embedded systems based on raspberry Pi programmed with CODESYS. Studia Informatica Journal, 39(1), Gliwice 2018. \n                    https:\/\/doi.org\/10.21936\/si2018_v39.n1.839","DOI":"10.21936\/si2018_v39.n1.839"}],"container-title":["Advances in Intelligent Systems and Computing","Information Systems Architecture and Technology: Proceedings of 40th Anniversary International Conference on Information Systems Architecture and Technology \u2013 ISAT 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30604-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T02:26:07Z","timestamp":1567563967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30604-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,5]]},"ISBN":["9783030306038","9783030306045"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30604-5_7","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,9,5]]},"assertion":[{"value":"5 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Systems Architecture and Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Wroc\u0142aw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isat2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isat.pwr.edu.pl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}