Technologies for engineering manufacturing systems control in closed loop / Sebastian Preusse.

Format:

Book

Author/Creator:

Preusse, Sebastian, author.

Series:

Hallenser Schriften zur Automatisierungstechnik

Language:

English

Subjects (All):

Manufacturing processes--Technological innovations.

Manufacturing processes.

Production engineering--Technological innovations.

Production engineering.

Physical Description:

1 online resource (148 pages)

Edition:

1st ed.

Place of Publication:

Berlin : Logos Verlag, [2013]

Summary:

Long description: Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Überprüfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfür werden die verwendeten Formalismen weitestehend durch domänenspezifische Beschreibungsmöglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstützen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms überprüft. Auf diese Weise lässt sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten für die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.

Contents:

Intro

1 Introduction

2 Basic Principles

2.1 Technologies for studying Behavior

2.2 Plants

2.3 Controllers

2.3.1 IEC 61131-3

2.3.2 IEC 61499-1

2.4 System Models

2.4.1 Syntax

2.4.2 Semantics

2.5 Basics of Specifications

2.5.1 Computation Tree Logic

2.5.2 Extended Computation Tree Logic

2.5.3 Timed Computation Tree Logic

2.5.4 Symbolic Timing Diagrams

2.6 Closed-Loop Composition

2.7 Model Checking

2.7.1 General Remarks

2.7.2 Model Checking Algorithm

2.8 Summary

3 Formal Modeling of Plant, Controller, and the Closed Loop

3.1 Demonstration Example

3.2 Formal Plant Modeling

3.2.1 Modeling of Components

3.2.2 Semi-Automatic Model Generation

3.3 Formal Controller Modeling

3.3.1 Controller Modeling

3.3.2 Model Generation

3.4 Formal Closed-Loop Modeling

3.5 Summary

4 Specification

4.1 Safety-Oriented Technical Language

4.1.1 Syntax

4.1.2 Semantics

4.1.3 Compiler for SOTL

4.2 Symbolic Timing Diagrams

4.2.1 Modifications

4.2.2 Translation

4.2.3 STD Editor

4.3 Summary

5 Analysis of the Closed-Loop Behavior

5.1 Simulation in Closed Loop

5.1.1 Hardware-In-The-Loop Simulation

5.1.2 Software-In-The-Loop Simulation

5.2 Verification in Closed Loop

5.2.1 Hardware-In-The-Loop Verification

5.2.2 Software-In-The-Loop Verification

5.2.3 Limits of Verification

5.3 Summary

6 Conclusion and Outlook

6.1 Conclusion

6.2 Outlook

A Temporal Logics

B SOTL Grammar

C Algorithms

D Example for Model Checking

Bibliography

Index.

Notes:

Description based on print version record.

PublicationDate: 20131231

ISBN:

3-8325-9363-2

OCLC:

1021810937