Stephan FischerEntwurf und Verifikation von Ablaufsteuerungen | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-3359-5 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Series: | Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung Herausgeber: Prof. Dr.-Ing. Sebastian Engell Dortmund | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Volume: | 2015,1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Keywords: | Steuerungsentwurf; Verifikation; SFC | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Type of publication: | Thesis | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Language: | German | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Pages: | 182 pages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Figures: | 92 figures | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weight: | 269 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 21 x 14,8 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Binding: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Price: | 48,80 € / 61,00 SFr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Published: | February 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Buy: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Available PDF-Files for this title: You need the Adobe Reader, to open the files. Here you get help and information, for the download. These files are not printable.
User settings for registered users You can change your address here or download your paid documents again.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recommendation: | You want to recommend this title? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Review copy: | Here you can order a review copy. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Link: | You want to link this page? Click here. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export citations: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abstract: | Der störungsfreie Betrieb einer Anlage ist in der Verfahrenstechnik der Schlüssel zur effizienten Nutzung von Ressourcen und dem ökonomischen Erfolg der Anlage, da Produktionszeit, die durch Störungen oder Verzögerungen im Betriebsablauf oder während der Inbetriebnahme verloren geht, zusätzliche Kosten oder Produktionsausfälle von erheblichem Ausmaß verursacht. Eine fehlerfreie Steuerung zur Automatisierung der Anlage ist hierzu unerlässlich. Der Entwurf einer Steuerung erfordert das perfekte Ineinandergreifen zahlreicher Gewerke von der Definition der Anforderungen bis zur Inbetriebnahme. Die im Rahmen dieser Arbeit vorgestellte systematische Entwurfs- und Verifikationsmethoden adressieren einerseits die Notwendigkeit der Fehlervermeidung oder frühzeitigen -erkennung und andererseits durch entsprechende Softwareunterstützung die zeit- und ressourceneffiziente Zusammenarbeit der beteiligten Experten. Zu Beginn des Entwurfs steht eine schrittweise, iterative und softwaregestützte Formalisierung der informellen Anforderungen an die gesteuerte Anlage. Hierbei werden die Randbedingungen der industriellen Praxis, z. B. interdisziplinäre Entwicklungsteams, Änderungsmanagement und Komplexität der Anforderungen, einbezogen. Auf Basis der formalisierten Anforderungen werden Modelle algorithmisch generiert, die - je nach gewünschter Analyseart und -tiefe - zur Prüfung, Simulation oder Verifikation der Steuerung eingesetzt werden können. Ergebnisse dieser modellgestützten Prüfungen können zur Fehlerbehebung in der Steuerung eingesetzt werden. Die Eignung der Methoden und Softwarewerkzeuge wird anhand von Beispielen - teilweise aus der industriellen Praxis - nachgewiesen. |