Search for dissertations about: "IEC 61499"

Showing result 1 - 5 of 9 swedish dissertations containing the words IEC 61499.

2. 1. On Formal Methods in Development of Control Logic Using IEC 61499

   Author : Goran Cengic; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

   Abstract : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. READ MORE

4. 2. On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499

   Author : Goran Cengic; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Automation Components; Discrete Event Systems; Fuber; Supervisory Control Theory; Software Development; IEC 61499;

   Abstract : Ever increasing need for new personalized products drives the development of flexible manufacturing system. Due to their complexity they are controlled using distributed control systems that use many cooperating computers for the control task. READ MORE

5. 3. Model-Integrated Engineering of Smart Energy Distribution Systems

   Author : Nikolai Galkin; Valeriy Vyatkin; Nicholas Etherden; Luleå tekniska universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Digital Twin; Data Centre; Automation; IEC 61850; IEC 61499; MATLAB; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Abstract : Model-Based Systems Engineering (MBSE) is a formal method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. READ MORE

6. 4. On Industrial Automation Software Components

   Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

   Abstract : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. READ MORE

7. 5. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations

   Author : Dmitrii Drozdov; Valeriy Vyatkin; Sandeep Patil; Andrei Lobov; Luleå tekniska universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Abstract state machines; CPS; formal semantics; formal verification; IEC 61499; time-aware computations; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Abstract : Wired and wireless networking is becoming a necessary part of industrial control systems’ design and is one of the reasons that required a new cyber-physical approach to modelling. The phenomenon observed in cyber-physical systems (CPS) is a variety of cross-dependencies and influences between physical processes, computational devices and communications, which needs to be taken into account at the design and verification stage. READ MORE