Change search
Refine search result
1 - 7 of 7
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Derhamy, Hasan
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Drozdov, Dmitrii
    Computer Science Department, Penza State University, Penza.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    van Deventer, Jan
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Eliasson, Jens
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study2016In: Proceedings of 2016 IEEE 20th International Conference on Emerging Technologies & Factory Automation (ETFA 2016), Piscataway, NJ: IEEE Communications Society, 2016, article id 7733650Conference 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.

  • 2.
    Drozdov, Dmitrii
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Dubinin, Victor N.
    Penza State University.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Aalto University, Helsinki.
    Towards formal verification for cyber-physically agnostic software: A case study2017In: Proceedings IECON 2017: 43rd Annual Conference of the IEEE Industrial Electronics Society, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 5509-5514Conference paper (Refereed)
    Abstract [en]

    Cyber-physical agnosticism (CPA) is a property of software in cyber-physical systems (CPS) to withstand various disturbances and keep maintaining the required behaviour of the physical process. With the increased research on the use of internet of things (IoT) in industrial automation (IoT-A), there is a need for robust distributed automation control systems that can take into account some overheads of using wireless devices in such an IoT setup. For example, data transfer delays between wireless sensors and the controller might result in the controller acting on a stale sensor value. In this paper, we present an approach of using time-aware computations to let the controller to assess quality of the input data and formal verification as a method to check the CPA property of the IoT-A applications. The paper specifically considers IEC 61499 standard for implementation of distributed IoT-A application. Ptolemy II PTIDES inspired time stamped event semantics is used in the application to keep track of the origin of different events. Timed automata are used to model the plant. The IEC 61499 application together with abstract plant model is then converted to SMV language and NuSMV model checker is used for formal verification. The paper presents a case study of an elevator example to demonstrate the proposed approach. A random delay is used to model the communication delay in the wireless network. It is shown that if the communication delay was not accounted for, then the elevator would stop in-between the floors and open the doors that is considered unsafe. The paper then shows how time-aware computation is used to make sure that the elevator always follows safe behaviour.

  • 3.
    Drozdov, Dmitrii
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Formal Modelling of Distributed Automation CPS with CP-Agnostic Software2017In: 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 (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

  • 4.
    Drozdov, Dmitrii
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Patil, Sandeep
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Yang, Chen-Wei
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Zhabelova, Gulnara
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Formal verification of protection functions for power distribution networks2018In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Conference paper (Refereed)
  • 5.
    Patil, Sandeep
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Drozdov, Dmitrii
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering.
    Dubinin, Victor
    Computer Science Department, Penza State University, Penza, Penza State University.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications2015In: 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 (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

  • 6.
    Patil, Sandeep
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Drozdov, Dmitrii
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications2018In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), IEEE, 2018, p. 725-732Conference 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.

  • 7.
    Patil, Sandeep
    et al.
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Drozdov, Dmitrii
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Penza State University.
    Zhabelova, Gulnara
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
    Vyatkin, Valeriy
    Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Aalto University, Helsinki.
    Refactoring of IEC 61499 function block application: A case study2018Conference 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.

1 - 7 of 7
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf