Sökning: "IEC 61499"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden IEC 61499.
1. On Formal Methods in Development of Control Logic Using IEC 61499
Sammanfattning : 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. LÄS MER
2. On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499
Sammanfattning : 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. LÄS MER
3. Model-Integrated Engineering of Smart Energy Distribution Systems
Sammanfattning : 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. LÄS MER
4. On Industrial Automation Software Components
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
5. Development and Verification of Dependable Software of Cyber-Physical Systems using Time-aware Computations
Sammanfattning : 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. LÄS MER