Kurzfassung
Beim Architekturentwurf informationstechnischer Systeme bereitet insbesondere die Entwicklung komplexer Steuerungen Probleme. Entwurfskonzepte fehlen vor allem bei Aufgabenstellungen, die eine Aufteilung der Steuerung auf mehrere, miteinander kooperierende Teilsteuerwerke erfordern. In diesem Beitrag konzentrieren wir uns auf Fragen der Spezifikation, der Verifikation und der Realisierung solcher Steuerungen. Wir stellen ein integriertes Entwurfskonzept vor, in dessen Mittelpunkt die Funktionssicherheit nebenläufiger Systeme steht. Unser Ansatz basiert auf der Beschreibung einer Steuerungsaufgabe mit Hilfe strukturierter Ablaufgraphen. Diese Beschreibungsform eignet sich für den rechnerunterstützten Architekturentwurf und für die formale Analyse der Funktionssicherheit. Die Entwurfsmethode wird anhand eines praxisbezogenen Beispiels erläutert.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Quellenangaben
Dijkstra, E.: “Cooperating Sequential Processes”, F. Genuys (Editor), Pro gamming Languages, Academic Press, New York, 1968
Hack, M.: “Analysis of Production Schemata by Petri Nets”, Master’s Thesis, Depart. of. Electr. Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1972
Nolle, M.: “Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit”, Dissertation, Institut f¨r Technik der Informationsverarbeitung, Univ. Karlsruhe, Fortschrittberichte VDI-Verlag, D¨sseldorf, 1986
Patil, S.: “Limitations and Capabilities of Dijkstra’s Semaphore Primitives for Coordination Among Processes”; Computation Structures Group Memo 57, Project MAC, Massachusetts Institute of Technology, Cambridge, Massachusetts , 1971
Peterson, i. L. : “Petri Net Theory and the Modeling of Systems”; Prentice-Hall, London, 1981
Riddle, W.: “The Modeling and Analysis of Supervisory Systems”, Ph. D. Thesis, Computer Science Department, Stanford University, California, 1972
Thurn, K.“Ein Beschreibungsverfahren zum Entwurf digitaler Steuerungen f¨r nebenläufige Vorgänge”, Dissertation, Institut f¨r Technik der Informationsverarbeitung, Univ. Karlsruhe, 1982
Ullrich, G.: “Der Entwurf von Steuerstrukturen f¨r parallele Abläufe mit Hilfe von Petrinetzen”, Dissertation, Fakultät f¨r Informatik, Univ. Hamburg, 1976
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klein-Heßling, G., Schäfer, M. (1990). Architekturentwurf für nebenläufige, funktionssichere Steuerungen. In: Reusch, B. (eds) Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme. Informatik—Fachberichte, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84304-4_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-84304-4_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53163-0
Online ISBN: 978-3-642-84304-4
eBook Packages: Springer Book Archive