Ändra sökning
Länk till posten
Permanent länk

Direktlänk
BETA
Patil, Sandeep
Publikationer (10 of 29) Visa alla publikationer
Sinha, R., Patil, S., Gomes, L. & Vyatkin, V. (2019). A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Transactions on Industrial Informatics, 15(7), 3772-3783
Öppna denna publikation i ny flik eller fönster >>A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
2019 (Engelska)Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 15, nr 7, s. 3772-3783Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Industrial automation systems need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe and secure manner. Formal methods are mathematical techniques used to describe computer systems, both hardware, and software. Formal methods can greatly aid in developing dependable systems and can be used across all phases of the system development lifecycle, right from customer requirement gathering through design and implementation, verification and validation (testing), maintenance and even documentation. This state-of-the-art survey reports existing formal approaches for creating more dependable industrial automation systems, focussing on static or offline, as opposed to runtime or online, formal methods. This article categorises existing works as per the requirements engineering, design and implementation, and testing phases of the system development life cycle, allowing us to identify gaps in current research and promising future directions for each of these phases.

Ort, förlag, år, upplaga, sidor
IEEE, 2019
Nyckelord
Industrial automation systems, industrial control, formal methods, formal verification, IEC 61131, IEC 61499
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-73547 (URN)10.1109/TII.2019.2908665 (DOI)000474628100002 ()2-s2.0-85068606764 (Scopus ID)
Anmärkning

Validerad;2019;Nivå 2;2019-07-12 (johcin)

Tillgänglig från: 2019-04-10 Skapad: 2019-04-10 Senast uppdaterad: 2019-08-22Bibliografiskt granskad
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
Öppna denna publikation i ny flik eller fönster >>Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications
2018 (Engelska)Ingår i: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), IEEE, 2018, s. 725-732Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE, 2018
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
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)
Konferens
2018 IEEE 16th International Conference on Industrial Informatics (INDIN);18-20 July 2018;Porto;Portugal
Tillgänglig från: 2018-11-07 Skapad: 2018-11-07 Senast uppdaterad: 2018-12-03Bibliografiskt granskad
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..
Öppna denna publikation i ny flik eller fönster >>Formal verification of protection functions for power distribution networks
Visa övriga...
2018 (Engelska)Ingår i: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Konferensbidrag, Publicerat paper (Refereegranskat)
Identifikatorer
urn:nbn:se:ltu:diva-73017 (URN)10.1109/IECON.2018.8592802 (DOI)2-s2.0-85061554077 (Scopus ID)
Konferens
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Tillgänglig från: 2019-02-26 Skapad: 2019-02-26 Senast uppdaterad: 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)
Öppna denna publikation i ny flik eller fönster >>Refactoring of IEC 61499 function block application: A case study
2018 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Institute of Electrical and Electronics Engineers (IEEE), 2018
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
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)
Konferens
1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018
Tillgänglig från: 2018-08-07 Skapad: 2018-08-07 Senast uppdaterad: 2018-08-07Bibliografiskt granskad
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
Öppna denna publikation i ny flik eller fönster >>Formal Modelling of Distributed Automation CPS with CP-Agnostic Software
2017 (Engelska)Ingå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-46Konferensbidrag, Publicerat paper (Refereegranskat)
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

Ort, förlag, år, upplaga, sidor
Springer International Publishing, 2017
Serie
Studies in Computational Intelligence, ISSN 1860-949X ; 694
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
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)
Konferens
6th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA 2016, Lisbon, Portugal, 6-7 October 2016
Tillgänglig från: 2017-03-17 Skapad: 2017-03-17 Senast uppdaterad: 2018-04-03Bibliografiskt granskad
Chivilikhin, D., Shalyto, A., Patil, S. & Vyatkin, V. (2017). Reconstruction of Function Block Logic Using Metaheuristic Algorithm (ed.). IEEE Transactions on Industrial Informatics, 13(4), 1763-1771, Article ID 7936605.
Öppna denna publikation i ny flik eller fönster >>Reconstruction of Function Block Logic Using Metaheuristic Algorithm
2017 (Engelska)Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 13, nr 4, s. 1763-1771, artikel-id 7936605Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

An approach for automatic reconstruction of automation logic from execution scenarios using a metaheuristic algorithm is proposed. IEC 61499 basic function blocks are chosen as implementation language and reconstruction of Execution Control Charts for basic function blocks is addressed. The synthesis method is based on a metaheuristic algorithm that combines ideas from ant colony optimization and evolutionary computation. Execution scenarios can be recorded from testing legacy software solutions. At this stage results are only limited to generation of basic function blocks having only Boolean input/output variables.

Ort, förlag, år, upplaga, sidor
Institute of Electrical and Electronics Engineers (IEEE), 2017
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-64253 (URN)10.1109/TII.2017.2710224 (DOI)000406933400027 ()2-s2.0-85029434027 (Scopus ID)
Anmärkning

Validerad;2017;Nivå 2;2017-08-14 (rokbeg)

Tillgänglig från: 2017-06-20 Skapad: 2017-06-20 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
Demin, E., Dubinin, V. N., Patil, S. & Vyatkin, V. (2016). Automation services orchestration with function blocks: Web-service implementation and performance evaluation (ed.). In: (Ed.), Theodor Borangiu ; Damien Trentesaux; André Thomas; Duncan McFarlane (Ed.), Service Orientation in Holonic and Multi-Agent Manufacturing: [International Workshop on Service Orientation in Holonic and Multi-agent Manufacturing, SOHOMA 2015, Cambridge, United Kingdom, 5-6 November 2015. Paper presented at International Workshop on Service Orientation in Holonic and Multi-agent Manufacturing : 05/11/2015 - 06/11/2015 (pp. 213-221). Encyclopedia of Global Archaeology/Springer Verlag
Öppna denna publikation i ny flik eller fönster >>Automation services orchestration with function blocks: Web-service implementation and performance evaluation
2016 (Engelska)Ingår i: Service Orientation in Holonic and Multi-Agent Manufacturing: [International Workshop on Service Orientation in Holonic and Multi-agent Manufacturing, SOHOMA 2015, Cambridge, United Kingdom, 5-6 November 2015 / [ed] Theodor Borangiu ; Damien Trentesaux; André Thomas; Duncan McFarlane, Encyclopedia of Global Archaeology/Springer Verlag, 2016, s. 213-221Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

This paper presents service-oriented implementation of distributed automation systems and the results of a practical performance measurement of Web-services deployed on different platforms. In the experiments we used a technique that allows one to separate the characteristics of the Web-service, such as the delays introduced by the medium of communication. It is shown that the technology development and deployment of Web-services significantly affect their performance

Ort, förlag, år, upplaga, sidor
Encyclopedia of Global Archaeology/Springer Verlag, 2016
Serie
Studies in Computational Intelligence, ISSN 1860-949X ; 640
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-31175 (URN)10.1007/978-3-319-30337-6_20 (DOI)000386325800020 ()2-s2.0-84962313332 (Scopus ID)545309e5-ece2-4042-ac12-60b74d4f2b28 (Lokalt ID)978-3-319-30335-2 (ISBN)978-3-319-30337-6 (ISBN)545309e5-ece2-4042-ac12-60b74d4f2b28 (Arkivnummer)545309e5-ece2-4042-ac12-60b74d4f2b28 (OAI)
Konferens
International Workshop on Service Orientation in Holonic and Multi-agent Manufacturing : 05/11/2015 - 06/11/2015
Anmärkning

Validerad; 2016; Nivå 1; 2016-11-17 (andbra)

Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
Drozdov, D., Patil, S., Dubinin, V. N. & Vyatkin, V. (2016). Formal verification of cyber-physical automation systems modelled with timed block diagrams. In: IEEE International Symposium on Industrial Electronics, ISIE 2016: . Paper presented at 25th IEEE International Symposium on Industrial Electronics, ISIE 2016, Santa Clara, United States, 8-10 June 2016 (pp. 316-321). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), Article ID 7744910.
Öppna denna publikation i ny flik eller fönster >>Formal verification of cyber-physical automation systems modelled with timed block diagrams
2016 (Engelska)Ingår i: IEEE International Symposium on Industrial Electronics, ISIE 2016, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2016, s. 316-321, artikel-id 7744910Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper a new modelling approach is presented to be used for formal-verification of block-diagram executable specifications of distributed industrial cyber-physical systems following the IEC 61499 standard. The approach allows usage of timers and arithmetic operations in the controller code. SMV model-checker is used as the target tool. The function block modelswith multiple communicating plant-controller closed-loops are transformed to the SMV modelling language using a dedicated model-generator tool. The paper first deals with SMV modelling of the IEC 61499 specific timer function block types. In particular, modelling of hierarchical function block systems with timers located at different levels of hierarchy is addressed. The paper then presents plant abstraction techniques so that the complexity of cyber-physical systems models is reduced. The abstraction uses discrete-timed state machine model implemented in UPPAAL. Delays in the plant model are interpreted as model time constraints. The approach is illustrated with an example of formal verification of a modular mechatronic automated system. The achieved results extend the abilities in validation of real cyber-physical automation systems. The paper also demonstrates how this result helps in counterexample guided simulation in Ciros 3D simulation environment, which improves practical usability of formal verification

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2016
Serie
Proceedings of the IEEE International Symposium on Industrial Electronics, ISSN 2163-5137
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-61160 (URN)10.1109/ISIE.2016.7744910 (DOI)000390697400045 ()2-s2.0-85001086083 (Scopus ID)9781509008735 (ISBN)
Konferens
25th IEEE International Symposium on Industrial Electronics, ISIE 2016, Santa Clara, United States, 8-10 June 2016
Tillgänglig från: 2016-12-20 Skapad: 2016-12-20 Senast uppdaterad: 2018-04-03Bibliografiskt granskad
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.
Öppna denna publikation i ny flik eller fönster >>Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study
Visa övriga...
2016 (Engelska)Ingår i: Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016), Piscataway, NJ: IEEE Communications Society, 2016, artikel-id 7733650Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2016
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
Nationell ämneskategori
Annan elektroteknik och elektronik Datavetenskap (datalogi)
Forskningsämne
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 (Lokalt ID)978-1-4673-7929-8 (ISBN)8e793c87-3e8f-472d-a528-708f8dd2beeb (Arkivnummer)8e793c87-3e8f-472d-a528-708f8dd2beeb (OAI)
Konferens
IEEE International Conference on Emerging Technologies and Factory Automation : 06/09/2016 - 09/09/2016
Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2018-04-23Bibliografiskt granskad
Sinha, R., Patil, S., Pang, C., Vyatkin, V. & Dowdeswell, B. (2016). Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software (ed.). In: (Ed.), Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015. Paper presented at Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015 (pp. 2172-2177). Piscataway, NJ: IEEE Communications Society, Article ID 7392423.
Öppna denna publikation i ny flik eller fönster >>Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software
Visa övriga...
2016 (Engelska)Ingår i: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015, Piscataway, NJ: IEEE Communications Society, 2016, s. 2172-2177, artikel-id 7392423Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Requirements engineering is the first stage in the development of any system. For safety-critical industrial systems like smart-grids, we must ensure that requirements are properly elicited, defined, analyzed and managed. This paper adapts the requirements framework developed in the CESAR European project, called the CESAR requirements meta-model, to support all aspects of requirements engineering for safety-critical systems. This enables the formalization of requirements in order to automate and assist in many aspects of later stages in the system development life cycle. Using a smart grid system from the FREEDM project, we illustrate that the adapted requirements engineering framework is comprehensive and rich for large safety-critical systems. We find that the use of the IEC 61499 function block standard provides an appropriate system modelling and implementation framework, which complements the strengths of the proposed requirements engineering framework. Traceability links between requirements and components of an IEC 61499 system model can help with automatic test case generation and formal analysis of requirements.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2016
Serie
I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
Nyckelord
Information technology - Automatic control, Informationsteknik - Reglerteknik
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-37830 (URN)10.1109/IECON.2015.7392423 (DOI)000382950702043 ()2-s2.0-84973174958 (Scopus ID)bf7c3767-91ad-4087-bfc1-3a89f241193c (Lokalt ID)978-1-4799-1762-4 (ISBN)bf7c3767-91ad-4087-bfc1-3a89f241193c (Arkivnummer)bf7c3767-91ad-4087-bfc1-3a89f241193c (OAI)
Konferens
Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015
Anmärkning

Validerad; 2016; Nivå 1; 2016-11-25 (andbra)

Tillgänglig från: 2016-10-03 Skapad: 2016-10-03 Senast uppdaterad: 2018-07-10Bibliografiskt granskad
Organisationer

Sök vidare i DiVA

Visa alla publikationer