Change search
Link to record
Permanent link

Direct link
BETA
Publications (6 of 6) Show all publications
Patil, S., Drozdov, D. & Vyatkin, V. (2018). Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN): . Paper presented at 2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal (pp. 725-732). IEEE
Open this publication in new window or tab >>Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications
2018 (English)In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), IEEE, 2018, p. 725-732Conference paper, Published paper (Refereed)
Abstract [en]

Design patterns in software engineering is a generic solution provided for repeatable problems occurring frequently in a software design. They are used a lot in the field of software engineering, especially for object-oriented software development. Different standards exist for design and development of industrial cyber-physical systems and the IEC 61499 standard is one of them. The standard presents a reference component architecture for design and development of distributed industrial cyber-physical systems. There is a lack of design patterns for application development with IEC 61499 standard and this paper address this by proposing some patterns. The design patterns presented are inspired by popular design patterns used in software engineering.

Place, publisher, year, edition, pages
IEEE, 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71482 (URN)10.1109/INDIN.2018.8472071 (DOI)000450180200106 ()2-s2.0-85050108283 (Scopus ID)978-1-5386-4829-2 (ISBN)
Conference
2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal
Available from: 2018-11-07 Created: 2018-11-07 Last updated: 2018-12-03Bibliographically approved
Drozdov, D., Patil, S., Yang, C.-W., Zhabelova, G. & Vyatkin, V. (2018). Formal verification of protection functions for power distribution networks. In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society. Paper presented at 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA..
Open this publication in new window or tab >>Formal verification of protection functions for power distribution networks
Show others...
2018 (English)In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Conference paper, Published paper (Refereed)
Identifiers
urn:nbn:se:ltu:diva-73017 (URN)10.1109/IECON.2018.8592802 (DOI)2-s2.0-85061554077 (Scopus ID)
Conference
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Available from: 2019-02-26 Created: 2019-02-26 Last updated: 2019-02-26
Patil, S., Drozdov, D., Zhabelova, G. & Vyatkin, V. (2018). Refactoring of IEC 61499 function block application: A case study. In: : . Paper presented at 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018 (pp. 726-733). Institute of Electrical and Electronics Engineers (IEEE)
Open this publication in new window or tab >>Refactoring of IEC 61499 function block application: A case study
2018 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Industrial Cyber-Physical System applications, especially distributed ones are designed and implemented in many standard approaches, one of them being IEC 61499 distributed programming standard. This article presents a case study of applying couple of refactoring methods and techniques in order to improve readability, maintainability, reuse-ability and debugging friendliness of existing function block applications. The article presents some software metrics for pre and post refactoring function block applications for measuring the effectiveness of refactoring.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-70246 (URN)10.1109/ICPHYS.2018.8390797 (DOI)2-s2.0-85050089105 (Scopus ID)9781538665312 (ISBN)
Conference
1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018
Available from: 2018-08-07 Created: 2018-08-07 Last updated: 2018-08-07Bibliographically approved
Drozdov, D., Patil, S. & Vyatkin, V. (2017). Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. In: Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira (Ed.), Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira (Ed.), Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of SOHOMA 2016. Paper presented at 6th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA 2016, Lisbon, Portugal, 6-7 October 2016 (pp. 35-46). Springer International Publishing
Open this publication in new window or tab >>Formal Modelling of Distributed Automation CPS with CP-Agnostic Software
2017 (English)In: Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of SOHOMA 2016 / [ed] Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, Springer International Publishing , 2017, p. 35-46Conference paper, Published paper (Refereed)
Abstract [en]

This paper introduces the application of formal modelling to cyber-physical systems for the purpose of formal verification of cyber-physical agnosticism properties of decentralised automation software. Service-oriented cyber-physical systems are modelled using the IEC 61499 function block architecture. Then, the IEC 61499 model is represented in terms of SMV formal language, which is verified using the nuXmv model checker. The timestamped events mechanism is implemented in IEC 61499 using the existing syntax of the standard. The impact of jitter on the behaviour of physical system is demonstrated in both simulation within IEC 61499 execution environment and in counter-examples extracted from nuXmv. The methodology presented in this paper creates the premise for automatic verification of the cyber-physical agnosticism of systems

Place, publisher, year, edition, pages
Springer International Publishing, 2017
Series
Studies in Computational Intelligence, ISSN 1860-949X ; 694
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-62553 (URN)10.1007/978-3-319-51100-9 (DOI)2-s2.0-85014890468 (Scopus ID)978-3-319-51099-6 (ISBN)978-3-319-51100-9 (ISBN)
Conference
6th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA 2016, Lisbon, Portugal, 6-7 October 2016
Available from: 2017-03-17 Created: 2017-03-17 Last updated: 2018-04-03Bibliographically approved
Derhamy, H., Drozdov, D., Patil, S., van Deventer, J., Eliasson, J. & Vyatkin, V. (2016). Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study (ed.). In: (Ed.), Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016): . Paper presented at IEEE International Conference on Emerging Technologies and Factory Automation : 06/09/2016 - 09/09/2016. Piscataway, NJ: IEEE Communications Society, Article ID 7733650.
Open this publication in new window or tab >>Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study
Show others...
2016 (English)In: Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016), Piscataway, NJ: IEEE Communications Society, 2016, article id 7733650Conference paper, Published paper (Refereed)
Abstract [en]

This paper presents a novel approach to automationof flexible manufacturing systems with mechatronic intelligenceand distributed control. The mechatronic intelligence layer isimplemented using a combination of wireless sensor/actuatornetworks with service-oriented architecture, where services arelocated at the device level, as well as in local and global Cloudsfollowing the Arrowhead framework.The machine/floor level coordination is implemented using thedistributed automation architecture of IEC 61499, which is alsoused as a graphical tool for orchestration of services.The paper discusses the enablers developed in-order to combineIEC 61499 and Arrowhead and the use is illustrated ona laboratory scale flexible factory example. By integration ofIndustrial IoT with IEC 61499, we envision that large gains interms of engineering effort and system operation performancecan be made.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2016
Series
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering Computer Sciences
Research subject
Industrial Electronics; Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-34647 (URN)10.1109/ETFA.2016.7733650 (DOI)000389524200157 ()2-s2.0-84996599557 (Scopus ID)8e793c87-3e8f-472d-a528-708f8dd2beeb (Local ID)978-1-4673-7929-8 (ISBN)8e793c87-3e8f-472d-a528-708f8dd2beeb (Archive number)8e793c87-3e8f-472d-a528-708f8dd2beeb (OAI)
Conference
IEEE International Conference on Emerging Technologies and Factory Automation : 06/09/2016 - 09/09/2016
Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-04-23Bibliographically approved
Patil, S., Drozdov, D., Dubinin, V. & Vyatkin, V. (2015). Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications (ed.). In: (Ed.), Luis M. Camarinha-Matos ; Thais A. Baldissera ; Giovanni Di Orio; Francisco Marques (Ed.), Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings. Paper presented at IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems : 13/04/2015 - 15/04/2015 (pp. 73-81). : Encyclopedia of Global Archaeology/Springer Verlag
Open this publication in new window or tab >>Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications
2015 (English)In: Technological Innovation for Cloud-Based Engineering Systems: 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings / [ed] Luis M. Camarinha-Matos ; Thais A. Baldissera ; Giovanni Di Orio; Francisco Marques, Encyclopedia of Global Archaeology/Springer Verlag, 2015, p. 73-81Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we address practical aspects of applying the model-checking method for industrial automation systems verification. Several measures are proposed to cope with the high computational complexity of model-checking. To improve scalability of the method, cloud-based verification tools infrastructure is used. Besides, closed-loop plant controller modelling and synchronization of transitions in the SMV (input language for symbolic model checking) model aim at complexity reduction. The state explosion problem is additionally dealt with by using an abstraction of the model of the plant with net-condition event systems, which is then translated to SMV. In addition, bounded model-checking is applied, which helps to achieve results in cases when the state space is too high. The paper concludes with comparison of performance for different complexity reduction methods

Place, publisher, year, edition, pages
Encyclopedia of Global Archaeology/Springer Verlag, 2015
Series
IFIP AICT - Advances in Information and Communication technology, ISSN 1868-4238 ; 450
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-27186 (URN)10.1007/978-3-319-16766-4_8 (DOI)000373369600008 ()2-s2.0-84926618480 (Scopus ID)088264c1-5bc4-4c29-94c9-3202f012e9c2 (Local ID)978-3-319-16765-7 (ISBN)978-3-319-16766-4 (ISBN)088264c1-5bc4-4c29-94c9-3202f012e9c2 (Archive number)088264c1-5bc4-4c29-94c9-3202f012e9c2 (OAI)
Conference
IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems : 13/04/2015 - 15/04/2015
Note
Validerad; 2015; Nivå 1; 20150408 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-7001-3435

Search in DiVA

Show all publications