{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:19:18Z","timestamp":1761581958609,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030451233"},{"type":"electronic","value":"9783030451240"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-45124-0_16","type":"book-chapter","created":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T23:22:43Z","timestamp":1588116163000},"page":"168-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal Verification of IEC 61499 Enhanced with Timed Events"],"prefix":"10.1007","author":[{"given":"Viktor","family":"Shatrov","sequence":"first","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,29]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Pang, C., Tripakis, S.: Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. In: IECON 2015-41st Annual Conference of the IEEE Industrial Electronics Society, pp. 001970\u2013001975. IEEE (2015)","DOI":"10.1109\/IECON.2015.7392389"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Drozdov, D., Patil, S., Dubinin, V., Vyatkin, V.: Towards formal verification for cyber-physically agnostic software: a case study. In: IECON 2017-43rd Annual Conference of the IEEE Industrial Electronics Society, pp. 5509\u20135514. IEEE (2017)","DOI":"10.1109\/IECON.2017.8216953"},{"key":"16_CR3","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-51100-9_4","volume-title":"Service Orientation in Holonic and Multi-Agent Manufacturing","author":"D Drozdov","year":"2017","unstructured":"Drozdov, D., Patil, S., Vyatkin, V.: Formal modelling of distributed automation CPS with CP-agnostic software. In: Borangiu, T., Trentesaux, D., Thomas, A., Leit\u00e3o, P., Barata Oliveira, J. (eds.) Service Orientation in Holonic and Multi-Agent Manufacturing. SCI, vol. 694, pp. 35\u201346. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51100-9_4"},{"key":"16_CR4","unstructured":"Drozdov, D.: FB2SMV Tool. https:\/\/github.com\/dmitrydrozdov\/fb2smv"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1109\/TSMC.2017.2736339","volume":"50","author":"W Dai","year":"2017","unstructured":"Dai, W., Pang, C., Vyatkin, V., Christensen, J.H., Guan, X.: Discrete-event-based deterministic execution semantics with timestamps for industrial cyber-physical systems. IEEE Trans. Syst. Man Cybern. Syst. 50, 851\u2013862 (2017)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"16_CR6","unstructured":"International Standard IEC 61131-3: Programmable controllers \u2013 Part 3: Programming languages\/International Electrotechnical Commission (2013)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of IEC61499 function blocks with abstract state machines and SMV\u2013modelling. In: 2015 IEEE Trustcom\/BigDataSE\/ISPA, vol. 3, pp. 313\u2013320. IEEE (2015)","DOI":"10.1109\/Trustcom.2015.650"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Drozdov, D., Dubinin, V., Vyatkin, V.: Formal semantics of IEC 61499 functional blocks with temporary tags. In: University Proceedings. Volga Region. Engineering Sciences, no. 1 (49) (2019). (in Russian)","DOI":"10.21685\/2072-3059-2019-1-4"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Drozdov, D., Patil, S., Dubinin, V., Vyatkin, V.: Formal verification of cyber-physical automation systems modelled with timed block diagrams. In: 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), pp. 316\u2013321 (2016)","DOI":"10.1109\/ISIE.2016.7744910"},{"key":"16_CR10","unstructured":"International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture\/International Electrotechnical Commission (2005)"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.3182\/20090603-3-RU-2001.0306","volume":"42","author":"Hans-Michael Hanisch","year":"2009","unstructured":"Hanisch, H.M., Hirsch, M., Missal, D., Preu\u00dfe, S., Gerber, C.: One decade of IEC 61499 modeling and verification-results and open issues. In: Preprints of the 13th IFAC Symposium on Information Control Problems in Manufacturing (2009)","journal-title":"IFAC Proceedings Volumes"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-25942-0_20","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"S Patil","year":"2015","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal modelling and verification of IEC61499 function blocks with abstract state machines and SMV - execution semantics. In: Li, X., Liu, Z., Yi, W. (eds.) SETTA 2015. LNCS, vol. 9409, pp. 300\u2013315. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25942-0_20"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Stanica, M., Gu\u00e9guen, H.: Using timed automata for the verification of IEC 61499 applications. In: Discrete Event Systems 2004 (WODES 2004): A Proceedings Volume from the 7th IFAC Workshop, Reims, France, 22\u201324 September 2004, p. 375. Elsevier (2005)","DOI":"10.1016\/S1474-6670(17)30775-9"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Life Improvement"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-45124-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:03:26Z","timestamp":1714349006000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-45124-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030451233","9783030451240"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-45124-0_16","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DoCEIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Doctoral Conference on Computing, Electrical and Industrial Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Costa de Caparica","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2020","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":"doceis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/doceis.dee.fct.unl.pt","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"91","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.44","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}