Endre søk
Link to record
Permanent link

Direct link
BETA
Publikasjoner (6 av 6) Visa alla publikasjoner
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
Åpne denne publikasjonen i ny fane eller vindu >>Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications
2018 (engelsk)Inngår i: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), IEEE, 2018, s. 725-732Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE, 2018
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
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)
Konferanse
2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal
Tilgjengelig fra: 2018-11-07 Laget: 2018-11-07 Sist oppdatert: 2018-12-03bibliografisk kontrollert
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..
Åpne denne publikasjonen i ny fane eller vindu >>Formal verification of protection functions for power distribution networks
Vise andre…
2018 (engelsk)Inngår i: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Konferansepaper, Publicerat paper (Fagfellevurdert)
Identifikatorer
urn:nbn:se:ltu:diva-73017 (URN)10.1109/IECON.2018.8592802 (DOI)2-s2.0-85061554077 (Scopus ID)
Konferanse
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Tilgjengelig fra: 2019-02-26 Laget: 2019-02-26 Sist oppdatert: 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)
Åpne denne publikasjonen i ny fane eller vindu >>Refactoring of IEC 61499 function block application: A case study
2018 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Institute of Electrical and Electronics Engineers (IEEE), 2018
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-70246 (URN)10.1109/ICPHYS.2018.8390797 (DOI)2-s2.0-85050089105 (Scopus ID)9781538665312 (ISBN)
Konferanse
1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018
Tilgjengelig fra: 2018-08-07 Laget: 2018-08-07 Sist oppdatert: 2018-08-07bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Formal Modelling of Distributed Automation CPS with CP-Agnostic Software
2017 (engelsk)Inngår i: 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, s. 35-46Konferansepaper, Publicerat paper (Fagfellevurdert)
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

sted, utgiver, år, opplag, sider
Springer International Publishing, 2017
Serie
Studies in Computational Intelligence, ISSN 1860-949X ; 694
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
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)
Konferanse
6th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA 2016, Lisbon, Portugal, 6-7 October 2016
Tilgjengelig fra: 2017-03-17 Laget: 2017-03-17 Sist oppdatert: 2018-04-03bibliografisk kontrollert
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.
Åpne denne publikasjonen i ny fane eller vindu >>Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study
Vise andre…
2016 (engelsk)Inngår i: Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016), Piscataway, NJ: IEEE Communications Society, 2016, artikkel-id 7733650Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2016
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
HSV kategori
Forskningsprogram
Industriell elektronik; Kommunikations- och beräkningssystem
Identifikatorer
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 (Lokal ID)978-1-4673-7929-8 (ISBN)8e793c87-3e8f-472d-a528-708f8dd2beeb (Arkivnummer)8e793c87-3e8f-472d-a528-708f8dd2beeb (OAI)
Konferanse
IEEE International Conference on Emerging Technologies and Factory Automation : 06/09/2016 - 09/09/2016
Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2018-04-23bibliografisk kontrollert
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
Åpne denne publikasjonen i ny fane eller vindu >>Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications
2015 (engelsk)Inngår i: 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, s. 73-81Konferansepaper, Publicerat paper (Fagfellevurdert)
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

sted, utgiver, år, opplag, sider
Encyclopedia of Global Archaeology/Springer Verlag, 2015
Serie
IFIP AICT - Advances in Information and Communication technology, ISSN 1868-4238 ; 450
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
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 (Lokal ID)978-3-319-16765-7 (ISBN)978-3-319-16766-4 (ISBN)088264c1-5bc4-4c29-94c9-3202f012e9c2 (Arkivnummer)088264c1-5bc4-4c29-94c9-3202f012e9c2 (OAI)
Konferanse
IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems : 13/04/2015 - 15/04/2015
Merknad
Validerad; 2015; Nivå 1; 20150408 (andbra)Tilgjengelig fra: 2016-09-30 Laget: 2016-09-30 Sist oppdatert: 2018-07-10bibliografisk kontrollert
Organisasjoner
Identifikatorer
ORCID-id: ORCID iD iconorcid.org/0000-0002-7001-3435