1 / 7

Traditional control system design multiple backends

Traditional control system design. Traditional control system design multiple backends. ?. … Coder. PLC Coder. C Coder. Coder. IEC 61131-3. ?. ?. Architect. C code. ?. Control Requirements and Design. Controller Realization. System Requirements and Design.

danielstevens
Télécharger la présentation

Traditional control system design multiple backends

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Traditional control system design Traditional control system design multiple backends ? … Coder PLC Coder C Coder Coder IEC 61131-3 ? ? Architect C code ? Control Requirements and Design Controller Realization ... System Requirements and Design Causes of observed errors? Emulation Commissioning Emulation Model Plant Requirements and Design Plant Realization Emulation Coder

  2. Errors In the traditional way of working, the causes of errors are difficult to find: • Architect and coders speak different languages, leading to misunderstandings • Informal requirements can be: • ambiguous: interpreted differently by architect and coders • inconsistent • erroneous and incomplete • Coding errors and backend specific coding errors can be present • On site adaptations not always reflected in code base This leads to: • long delays, many design/coding/testing iterations • high cost • inflexibility, difficult to make substantial changes

  3. Controller design with code generation Coder ? Verification Model Control System Modeller ? Architect Controller Realization generate Control Model Control Requirements and Design generate • C • … System Requirements and Design Causes of observed errors? Emulation Commissioning Emulation Model Plant Requirements and Design Plant Realization Emulation Coder

  4. Controller design with code generation + co-simulation Coder ? Verification Model Control System Modeller ? Architect Controller Realization generate Control Model Control Requirements and Design generate • C • … System Requirements and Design Causes of observed errors? Emulation Co-simulation Commissioning Plant Model Emulation Model Plant Requirements and Design Plant Realization Plant Modeller Emulation Coder

  5. 4TC00: high-level model-based control system design Verification Coder ? • Uppaal • mCRL2 • NuSMVprotot Code generation for various targets ? Modeller Iterative simulation-based improvement of control model and requirements No additional errors expected in emulation mode Few remaining errors in commissioning Architect Controller Realization Controller Realization generate Control Model Control Requirements and Design generate • IEC 61131-3 • Siemens PLC • C Emulation System Requirements and Design Causes of observed errors? Simulation and visualization Commissioning Plant Model Emulation Model Plant Requirements and Design Plant Realization Emulation Coder

  6. 4TC00: final assignment Verification Coder • Uppaal • mCRL2 • NuSMVprotot Code generation for IEC 61131-3 Structured Text Controller Realization generate Control Model Control Requirements and Design Soft PLC generate System Requirements and Design Group of three members Simulation and visualization Commissioning Plant Model Plant Requirements and Design Festo Workstation

  7. Follow up master course 4CM30: control system synthesis Verification • Uppaal • mCRL2 • NuSMVprotot Iterative simulation-based improvement of control requirements andplant models Controller Realization Controller Realization generate Control Requirements Model CIF Control Model CIF Control Model Control Requirements Document synthesize generate • IEC 61131-3 • Siemens PLC • C Architect Modeller System Requirements and Design abstract Simulation and visualization Commissioning CIF Plant Model Plant Requirements and Design Plant Realization

More Related