Stephan FischerEntwurf und Verifikation von Ablaufsteuerungen | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-3359-5 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Reihe: | Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung Herausgeber: Prof. Dr.-Ing. Sebastian Engell Dortmund | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Band: | 2015,1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Schlagwörter: | Steuerungsentwurf; Verifikation; SFC | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Publikationsart: | Dissertation | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sprache: | Deutsch | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Seiten: | 182 Seiten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abbildungen: | 92 Abbildungen | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Gewicht: | 269 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 21 x 14,8 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Bindung: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Preis: | 48,80 € | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Erscheinungsdatum: | Februar 2015 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Kaufen: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Verfügbare Online-Dokumente zu diesem Titel: Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien. Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Benutzereinstellungen für registrierte Online-Kunden Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weiterempfehlung: | Sie möchten diesen Titel weiterempfehlen? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Rezensionsexemplar: | Hier können Sie ein Rezensionsexemplar bestellen. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Verlinken: | Sie möchten diese Seite verlinken? Hier klicken. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export Zitat: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Zusammenfassung: | 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. |