Search for dissertations about: "IEC 61131"

Showing result 1 - 5 of 8 swedish dissertations containing the words IEC 61131.

  1. 1. On Industrial Automation Software Components

    Author : Oscar Ljungkrantz; [2008]
    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

  2. 2. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

    Author : Oscar Ljungkrantz; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

    Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE

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

    Author : Goran Cengic; [2009]
    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. 4. Robust industrial automation software: outsets for non-determinism and real-time execution

    Author : Marcus Lindner; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Abstract : Studies about the industrial standard IEC 61499 and its relation to the RTFM Model of Computation represent the basis of this thesis. An overview of industrial automation software in general and in the scope of Svenska Kraftnät introduces the subject of software related issues. READ MORE

  5. 5. !secure(system) <=?=> !safe(system) On Security and Safety of Industrial Software Systems

    University dissertation from Luleå : Luleå University of Technology

    Author : Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Abstract : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. READ MORE