Sökning: "reusable automation component RAC"

Hittade 2 avhandlingar innehållade orden reusable automation component RAC.

  1. 1. On Industrial Automation Software Components

    Författare :Oscar Ljungkrantz; Chalmers University of Technology; []
    Nyckelord :IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

    Sammanfattning : 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. LÄS MER

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

    Författare :Oscar Ljungkrantz; Chalmers University of Technology; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER