Industrial Automation

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 360 Experts worldwide ranked by ideXlab platform

Kleanthis Thramboulidis - One of the best experts on this subject based on the ideXlab platform.

  • a cyber physical system based approach for Industrial Automation systems
    Computers in Industry, 2015
    Co-Authors: Kleanthis Thramboulidis
    Abstract:

    System-based approach for the development of Industrial Automation systems.UML modeling of the software part of Mechatronic component.Semi-automatic transformation to object oriented IEC 61131.Semi-automatic transformation to Java code as alternative to use embedded boards.The case study is developed as a lab exercise. Industrial Automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on programmable logic controllers (PLCs). Their software part is commonly considered only after the development and integration of mechanics and electronics. However, this approach narrows the solution space for software; thus, it is considered inadequate to address the complexity of today's systems. In this paper, we adopt a system-based approach for the development of IASs. Based on this, the UML model of the software part of the system is extracted from the SysML system model and it is then refined to get the implementation code. Two implementation alternatives are considered to exploit both PLCs and the recent deluge of embedded boards in the market. For PLC targets, the new version of IEC 61131 that supports object-orientation is adopted, while Java is used for embedded boards. The case study used to illustrate our approach was developed as a lab exercise, which aims to introduce to students a number of technologies used to address challenges in the domain of cyber-physical systems and highlights the role of the Internet of Things (IoT) as a glue for their cyber interfaces.

  • a cyber physical system based approach for Industrial Automation systems
    Computers in Industry, 2015
    Co-Authors: Kleanthis Thramboulidis
    Abstract:

    System-based approach for the development of Industrial Automation systems.UML modeling of the software part of Mechatronic component.Semi-automatic transformation to object oriented IEC 61131.Semi-automatic transformation to Java code as alternative to use embedded boards.The case study is developed as a lab exercise. Industrial Automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on programmable logic controllers (PLCs). Their software part is commonly considered only after the development and integration of mechanics and electronics. However, this approach narrows the solution space for software; thus, it is considered inadequate to address the complexity of today's systems. In this paper, we adopt a system-based approach for the development of IASs. Based on this, the UML model of the software part of the system is extracted from the SysML system model and it is then refined to get the implementation code. Two implementation alternatives are considered to exploit both PLCs and the recent deluge of embedded boards in the market. For PLC targets, the new version of IEC 61131 that supports object-orientation is adopted, while Java is used for embedded boards. The case study used to illustrate our approach was developed as a lab exercise, which aims to introduce to students a number of technologies used to address challenges in the domain of cyber-physical systems and highlights the role of the Internet of Things (IoT) as a glue for their cyber interfaces.

  • a cyber physical system based approach for Industrial Automation systems
    arXiv: Software Engineering, 2014
    Co-Authors: Kleanthis Thramboulidis
    Abstract:

    Industrial Automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. In this paper, a system-based approach for the development of IASs is adopted. A framework is described to refine the UML model of the software part, which is extracted from the SysML system model, and get the implementation code. Two implementation alternatives are considered to exploit PLCs but also the recent deluge of embedded boards in the market. For PLC targets, the new version of IEC 61131 that supports Object-Orientation is adopted, while Java is used for embedded boards. The case study was developed as a lab exercise for teaching the various technologies that address challenges in the domain of cyber-physical systems where Internet of Things (IoT) would be the glue regarding their cyber interfaces.

  • a cyber physical system based approach for Industrial Automation systems
    arXiv: Software Engineering, 2014
    Co-Authors: Kleanthis Thramboulidis
    Abstract:

    Industrial Automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. In this paper, a system-based approach for the development of IASs is adopted. A framework is described to refine the UML model of the software part, which is extracted from the SysML system model, and get the implementation code. Two implementation alternatives are considered to exploit PLCs but also the recent deluge of embedded boards in the market. For PLC targets, the new version of IEC 61131 that supports Object-Orientation is adopted, while Java is used for embedded boards. The case study was developed as a lab exercise for teaching the various technologies that address challenges in the domain of cyber-physical systems where Internet of Things (IoT) would be the glue regarding their cyber interfaces.

  • an mdd process for iec 61131 based Industrial Automation systems
    Emerging Technologies and Factory Automation, 2011
    Co-Authors: Kleanthis Thramboulidis, Georg Frey
    Abstract:

    Model Driven Development (MDD) has been proved as a quite successful paradigm in general-purpose computing and is currently exploited in the embedded systems domain. On the other hand, the majority of Industrial Automation systems is developed based on the IEC 61131 standard. This standard defines a model and a set of programming languages for the development of Industrial Automation software and it is supported by the majority of the commercial tools in this domain. This work proposes an MDD process to increase the productivity and reliability of the development process of Industrial Automation systems. Piping and instrumentation diagrams are considered as source of requirements for process control engineering and SysML is used to reduce the gap between these diagrams and the 61131 based design specs of the control system. The foundation for a SysML profile to facilitate the exploitation of SysML in this domain is described. This profile will allow the developer to work in higher layers of abstraction than the one supported by IEC 61131 and effectively move from requirement specifications into the implementation model of the system.

Andreas Willig - One of the best experts on this subject based on the ideXlab platform.

Diego Gerbasio - One of the best experts on this subject based on the ideXlab platform.

  • on the implementation of Industrial Automation systems based on plc
    IEEE Transactions on Automation Science and Engineering, 2013
    Co-Authors: Francesco Basile, Pasquale Chiacchio, Diego Gerbasio
    Abstract:

    Industrial Automation is largely based on PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131 standard which are not ready to meet the new challenges of widely distributed Automation systems. Currently, an extension of IEC 61131 which includes object oriented programming as well as the new standard IEC 61499 are available. Moreover, service-oriented paradigms where autonomous and interoperable resources provide their functionalities in the form of services that can be accessed externally by clients without knowing the underlining implementation have been presented in the literature. In the supervisory control theory, methodologies based on formal models have been developed to improve the coordination of concurrent and distributed systems. In this paper, an event-driven approach is proposed to improve the design of Industrial control systems using commercial PLCs. At a lower level, basic sequences are coded in elementary software objects, called function blocks, providing their functionalities as services. At an upper level, a Petri Net (PN) controller forces the execution of such services according to desired sequences, while by a PN supervisor constraints on the sequences are satisfied.

  • on the implementation of Industrial Automation systems based on plc
    IEEE Transactions on Automation Science and Engineering, 2013
    Co-Authors: Francesco Basile, Pasquale Chiacchio, Diego Gerbasio
    Abstract:

    Industrial Automation is largely based on PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131 standard which are not ready to meet the new challenges of widely distributed Automation systems. Currently, an extension of IEC 61131 which includes object oriented programming as well as the new standard IEC 61499 are available. Moreover, service-oriented paradigms where autonomous and interoperable resources provide their functionalities in the form of services that can be accessed externally by clients without knowing the underlining implementation have been presented in the literature. In the supervisory control theory, methodologies based on formal models have been developed to improve the coordination of concurrent and distributed systems. In this paper, an event-driven approach is proposed to improve the design of Industrial control systems using commercial PLCs. At a lower level, basic sequences are coded in elementary software objects, called function blocks, providing their functionalities as services. At an upper level, a Petri Net (PN) controller forces the execution of such services according to desired sequences, while by a PN supervisor constraints on the sequences are satisfied.

Valeriy Vyatkin - One of the best experts on this subject based on the ideXlab platform.

  • a survey of static formal methods for building dependable Industrial Automation systems
    IEEE Transactions on Industrial Informatics, 2019
    Co-Authors: Roopak Sinha, Sandeep Patil, Luis Gomes, Valeriy Vyatkin
    Abstract:

    Industrial Automation systems (IAS) 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 that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system 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 IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase.

  • knowledge based web service integration for Industrial Automation
    International Conference on Industrial Informatics, 2014
    Co-Authors: Borja Ramis, Luis González, Sergii Iarovyi, Jose Martinez L. Lastra, Andrei Lobov, Valeriy Vyatkin
    Abstract:

    Web services are widely used for enterprise software development. Web service protocols simplify application integration thanks to interface description that can be processed at runtime and, in addition, due to mature and widely used standards for transportation and internetworking. Implementation of service-oriented architecture starts to get acceptance in the field of Industrial Automation ranging from international research project to the first implementations in industry including first commercial controller devices supporting web service communication protocols and executing deterministic control at the same time. The current research step is to allow knowledge-based integration of Industrial Automation systems and to exploit full potentials of run-time reconfiguration and adaptation of Industrial systems. This paper demonstrates implementation of knowledge-based Industrial system, the architecture and ontology model that can be generalized for implementation of other production systems.

  • software engineering in Industrial Automation state of the art review
    IEEE Transactions on Industrial Informatics, 2013
    Co-Authors: Valeriy Vyatkin
    Abstract:

    This paper presents one perspective on recent developments related to software engineering in the Industrial Automation sector that spans from manufacturing factory Automation to process control systems and energy Automation systems. The survey's methodology is based on the classic SWEBOK reference document that comprehensively defines the taxonomy of software engineering domain. This is mixed with classic Automation artefacts, such as the set of the most influential international standards and dominating Industrial practices. The survey focuses mainly on research publications which are believed to be representative of advanced Industrial practices as well.

  • OOONEIDA: an open, object-oriented knowledge economy for intelligent Industrial Automation
    IEEE Transactions on Industrial Informatics, 2005
    Co-Authors: Valeriy Vyatkin, James H. Christensen, Jose Luis Martinez Lastra
    Abstract:

    Open knowledge economy in intelligent Industrial Automation (OOONEIDA) is a new initiative for enabling decentralized, reconfigurable Industrial control and Automation in discrete manufacturing and continuous process systems. The goal of the OOONEIDA project is the creation of the technological infrastructure for a new, open knowledge economy for Automation components and automated Industrial products. This will be done by further development of the concept of reusable portable software modules (function blocks) and by their application in the time- and cost-effective specification, design, validation, realization, and deployment of intelligent mechatronic components in distributed Industrial Automation and control systems.

Daniele Miorandi - One of the best experts on this subject based on the ideXlab platform.

Related terms

Industrial Automation - 15 days free trial to Access Experts & Abstracts