{ "labelLang" : "hun", "responseDate" : "2024-03-29 05:56", "content" : { "otype" : "JournalArticle", "mtid" : 22915751, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-10-01T21:43:12.000+0000", "deleted" : false, "oldId" : 12915751, "lastRefresh" : "2022-08-01T11:37:51.250+0000", "lastModified" : "2018-10-01T21:43:12.000+0000", "created" : "2013-02-01T09:59:50.000+0000", "creator" : { "otype" : "Author", "mtid" : 10002401, "link" : "/api/author/10002401", "label" : "Bartha Tamás (Hibatűrő rendszerek)", "familyName" : "Bartha", "givenName" : "Tamás", "published" : true, "oldId" : 10002401, "snippet" : true }, "lastDuplumOK" : "2018-10-20T18:46:10.066+0000", "lastDuplumSearch" : "2018-10-20T18:46:10.066+0000", "adminApproved" : "2013-02-04T14:47:45.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10034189, "link" : "/api/admin/10034189", "label" : "Farkas Marika (admin)", "familyName" : "Farkas", "givenName" : "Marika", "published" : true, "oldId" : 10034189, "snippet" : true }, "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Soliman, D", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 22056282, "link" : "/api/authorship/22056282", "label" : "Soliman, D", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Soliman", "givenName" : "D", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 32098092, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 22056283, "link" : "/api/authorship/22056283", "label" : "Thramboulidis, K", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Thramboulidis", "givenName" : "K", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 32098091, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 22056284, "link" : "/api/authorship/22056284", "label" : "Frey, G", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Frey", "givenName" : "G", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 32098090, "snippet" : true } ], "title" : "Transformation of function block diagrams to UPPAAL timed automata for the verification of safety applications", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 5850907, "link" : "/api/publicationidentifier/5850907", "label" : "DOI: 10.1016/j.arcontrol.2012.09.015", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1016/j.arcontrol.2012.09.015", "realUrl" : "https://doi.org/10.1016%2Fj.arcontrol.2012.09.015", "published" : false, "oldId" : 2966270, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 5850906, "link" : "/api/publicationidentifier/5850906", "label" : "Scopus: 84869081592", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "84869081592", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84869081592", "published" : false, "oldId" : 2966271, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 2152959, "link" : "/api/journal/2152959", "label" : "ANNUAL REVIEWS IN CONTROL 1367-5788 1872-9088", "pIssn" : "1367-5788", "eIssn" : "1872-9088", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 2152959, "snippet" : true }, "volume" : "36", "issue" : "2", "firstPage" : "338", "lastPage" : "345", "firstPageOrInternalIdForSort" : "338", "pageLength" : 8, "publishedYear" : 2012, "digital" : null, "printed" : null, "sourceYear" : 2013, "packet" : "(Bartha Tamás (Hibatűrő rendszerek); 2013.02.01. 10:59:40)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : null, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2022-08-01", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "references" : [ { "otype" : "Reference", "mtid" : 16639511, "link" : "/api/reference/16639511", "label" : "1. Alur, R., Dill, D., A theory of timed automata (1994) Theoretical Computer Science, 126, pp. 183-236", "listPosition" : 1, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639512, "link" : "/api/reference/16639512", "label" : "2. Behrmann, G., David, A., Larsen, G., A tutorial on UPPAAL (2004) UPPAAL Web Site, , Documentation, Tutorials", "listPosition" : 2, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639513, "link" : "/api/reference/16639513", "label" : "3. (1998) IEC 61508 - Functional Safety of Electrical/electronic/programmable Electronic Safety-related Systems, , International Electrotechnical Commission (IEC)", "listPosition" : 3, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639514, "link" : "/api/reference/16639514", "label" : "4. (2000) IEC 62061 - Safety of Machinery - Functional Safety - Electrical, Electronic and Programmable Electronic Control Systems, , International Electrotechnical Commission (IEC) Committee draft", "listPosition" : 4, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639515, "link" : "/api/reference/16639515", "label" : "5. (2003) IEC 61131-3 Programmable Controllers: - Part 3: Programing Languages, , International Electrotechnical Commission (IEC)", "listPosition" : 5, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639516, "link" : "/api/reference/16639516", "label" : "6. Larsen, K., Pettersson, P., Yi, W., UPPAAL in a nutshell (1997) International Journal of Software Tools for Technology Transfer, 1, pp. 134-153", "listPosition" : 6, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639517, "link" : "/api/reference/16639517", "label" : "7. Lewis, R., (2002) Can IEC 61131 Graphical Languages Be Used for Safety Related PLC Applications?, , The application of IEC 61131 in industrial control, UK", "listPosition" : 7, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639518, "link" : "/api/reference/16639518", "label" : "8. Németh, E., Bartha, T., Formal verification of safety functions by reinterpretation of functional block based specifications (2009) Formal Methods for Industrial Critical Systems, LNCS, 5596, pp. 199-214", "listPosition" : 8, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639519, "link" : "/api/reference/16639519", "label" : "9. Pavlovic, O., Ehrich, H., Model Checking PLC Software Written in Function Block Diagram (2010) International Conference on Software Testing, Verification and Validation, pp. 439-448. , Paris, France", "listPosition" : 9, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639520, "link" : "/api/reference/16639520", "label" : "10. TC5 safety software technical specification (2006) Part 1: Concepts and Function Blocks, , PLCopen Ver.1.0, Germany", "listPosition" : 10, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639521, "link" : "/api/reference/16639521", "label" : "11. TC5 safety software technical specification (2008) Part 2: User Examples, , PLCopen Ver.1.0, Germany", "listPosition" : 11, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639522, "link" : "/api/reference/16639522", "label" : "12. (2009) XML Formats for IEC 61131-3, , PLCopen TC6, technical paper, Ver.2.01, Germany", "listPosition" : 12, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639523, "link" : "/api/reference/16639523", "label" : "13. Silva, L., Barbosa, L., Gorgonio, K., Perkusich, A., Lima, A., On the automatic generation of timed automata models from function block diagrams for safety instrumented systems (2008) 34th Annual Conf. of the IEEE Industrial Electronics Society, pp. 291-29", "listPosition" : 13, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639524, "link" : "/api/reference/16639524", "label" : "14. Soliman, D., Frey, G., Verification and validation of safety applications based on plcopen safety function blocks using timed automata in UPPAAL (2009) 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS), pp. 39-44. , Bari, Italy", "listPosition" : 14, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639525, "link" : "/api/reference/16639525", "label" : "15. Soliman, D., Thramboulidis, K., Frey, G., A methodology to upgrade legacy industrial systems to meet safety regulations (2011) Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems, pp. 141-147. , Saarbrücken, Germany", "listPosition" : 15, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639526, "link" : "/api/reference/16639526", "label" : "16. Soliman, D., Frey, G., Verifications and validations of safety applications based on PLCopen safety function blocks (2011) Control Engineering Practice, pp. 929-946", "listPosition" : 16, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639527, "link" : "/api/reference/16639527", "label" : "17. Thramboulidis, K., The 3+1 SysML view-model in model integrated mechatronics (2010) Journal of Software Engineering and Applications (JSEA), 3 (2), pp. 109-118", "listPosition" : 17, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639528, "link" : "/api/reference/16639528", "label" : "18. Thramboulidis, K., Soliman, D., Frey, G., Towards an automated verification process for industrial safety applications (2011) IEEE 7th International Conference on Automation Science and Engineering (IEEE CASE 2011), , August 24-27, Trieste, Italy", "listPosition" : 18, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639529, "link" : "/api/reference/16639529", "label" : "19. Toon, K., (2002) IEC 61131-3 in Safety Applications, , The application of IEC 61131 in industrial control, UK", "listPosition" : 19, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639530, "link" : "/api/reference/16639530", "label" : "20. Wardana, A., Folmer, J., Vogel-Heuser, B., Automatic program verification of continuous function chart based on model checking (2009) The 35th Annual Conference of the IEEE Industrial Electronics Society (IECON 09), pp. 2422-2427", "listPosition" : 20, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639531, "link" : "/api/reference/16639531", "label" : "21. Yoo, J., Cha, S., Jee, E., A verification framework for FBD based software in nuclear power plants (2008) 15th Asia-Pacific Software Engineering Conference, pp. 385-392", "listPosition" : 21, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639532, "link" : "/api/reference/16639532", "label" : "22. (2003) IEC 61511 - Functional Safety: Safety Instrumented Systems for the Process Industry Sector, , International Electrotechnical Commission (IEC)", "listPosition" : 22, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 16639533, "link" : "/api/reference/16639533", "label" : "23. John, K., Tiegelkamp, M., (2001) IEC 61131-3: Programming Industrial Automation System: Concepts and Programming Languages, Requirements for Programming Systems, Aids to Decision-Making Tools, , Springer. Germany", "listPosition" : 23, "published" : false, "snippet" : true } ], "hasCitationDuplums" : false, "userChangeableUntil" : "2013-02-04T14:47:45.000+0000", "publishDate" : "2013-02-01T10:00:31.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 13, "directInstituteCount" : 0, "authorCount" : 3, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/22915751", "label" : "Soliman D et al. Transformation of function block diagrams to UPPAAL timed automata for the verification of safety applications. (2012) ANNUAL REVIEWS IN CONTROL 1367-5788 1872-9088 36 2 338-345", "template" : "