Kurzfassung
Häufig können Steuerungs-Funktionen unmittelbar in Regeln formuliert werden. Andererseits kann wegen der Komplexität eines Prozeß-Modells oder bei geringer Prozeß-Information eine Regel-basierte Formulierung der Automatisierungsfunktionen überhaupt die einzig sinnvolle sein. Weiterere Vorteile sind die leichte Lesbarkeit und die mit wissensbasierten Sprachen, wie z.B. PARLOG, vorhandene Möglichkeit der präzisen syntaktischen Ausdrucksweise. Deshalb eignet sich eine Regel-basierte Formulierung auch sehr gut zur Problemspezifikation, wobei in PARLOG auch bereits Realzeit-Aspekte durch die Möglichkeit der Formulierung paralleler Prädikate spezifiziert werden können.
Für die Entwurfsphase verfügt die Realzeitsprache PEARL über Sprachmittel, wie das zyklische Einplanen von Tasks, die über die Möglichkeiten wissensbasierter Sprachen weit hinausgehen, was zu der Überlegung führt, beide Ansätze miteinander zu verbinden. Wenn die Struktur der Regeln aber z.B. sehr einfach ist, so können diese auch direkt in einen PEARL-orientierten Entwurf eingebracht werden, wobei der Entwurf im Großen zunächst die Möglichkeit bietet, für das Regel-Wissen eigene und damit leicht austauschbare Moduln zu entwerfen.
In diesem Beitrag wird diese Vorgehensweise gewählt, indem die Aufgaben der Software einer natürlichen Belüftungsanlage zunächst Regel-basiert in PARLOG-ähnlicher Form spezifiziert werden, und diese Spezifikation dann systematisch in einen PEARL-orientierten Entwurf überführt wird. So können parallele Prädikate in parallele Tasks und deren Steuerung sowie Prozeß-E/A-Prädikate in Prozeß-E/A-Anweisungen auf hoher Ebene umgesetzt werden.
Im vorliegenden Fall wird auch die Implementation in PEARL vorgenommen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
B. Kreutzträger (1991). Strömungsverhalten der Glashallen auf dem Gelände der Universität Bremen (NW1). Leistungsschein, Institut für Automatisierungstechnik / Universität Bremen
T. Conlon (1989). Programming in PARLOG. Addison Wesley.
G. Thiele (1991). Software-Entwurf für Realzeit-Systeme in der Automatisierungstechnik in PEARLorientierter Form. Berichte Elektrotechnik, Nr. 4/91, Universität Bremen.
Th. Beck, R. J. Lauber (1990). Integration of an Expert-System into a Real-Time Software System. Prepr. IF AC World Congress, Tallinn 1990, vol. 1, pp. 158–161.
W. Gerth (1989). RTOS PEARL-Integriertes Echzeit-Multitasking-Programmiersystem. Verlag Heinz Heise GmbH.
K. Stieger (1989). PEARL 90 - Die Weiterentwicklung von PEARL. R. Henn, K. Stieger(Hrsg.): Proc. PEARL89-Workshop über Realzeitsysteme, IFB 231, Springer-Verlag, pp. 99–137.
S. M. McMenamin, J. F. Palmer (1989). Strukturierte Systemanalyse. Hanser-Verlag / Prentice Hall.
J. Brauer, J. Dom, B. Otto (1987). Logisches Spezifizieren und Programmieren in der Prozeßdatenverarbeitung, atp 29, H.3, pp. 132–139.
L. Wos, R. Overbeck, E. Lusk, J. Boyle (1984). Automated Reasoning - Introduction and Applications. Prentice Hall, pp. 292–302.
L. Brownston, R. Farrell, E. Kant, N. Martin (1986). Programming Expert Systems in OPS 5. Addison Wesley.
W. Werum, H. Windauer (1990). Introduction to PEARL. Vieweg Verlag, 4. Aufl.
G. Thiele (1987). Strukturierter Entwurf von Realzeit-Algorithmen für Mikro-Rechner in der ProzeßAutomatisierung. Berichte Elektrotechnik, Nr. 4/87, Universität Bremen.
G. Thiele (1990). Software-Entwurf für Automatisierungssysteme mit PEARL. In W.Gerth, P.Baacke(Hrsg.): Proc. PEARL90-Workshop über Realzeitsysteme. IFB 262, Springer-Verlag, pp. 22–33.
B. Bieker, G. Schmidt (1985). Fuzzy-Regelungen und Liguistische Regelalgorithmen - eine kritische Bestandsaufnahme, at 33, H. 2, pp. 45–52.
T. Wolf (1991). Das Fuzzy-Mobil - Steuern mit Fuzzy, mc 3/91, pp.50–57.
L. Hielscher (1988). Modellierung und Simulation einer im Zustandsraum geregelten Gewächshausanlage. Diss. Universität-GH Wuppertal.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thiele, G., Renner, L., Wendland, E. (1991). Spezifikation und Entwurf der Realzeit-Software für die Regel-basierte Automatisierung einer natürlichen Hallenbelüftung in PEARL-orientierter Form. In: Halang, W.A. (eds) PEARL 91 — Workshop über Realzeitsysteme. Informatik-Fachberichte, vol 295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77151-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-77151-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54909-3
Online ISBN: 978-3-642-77151-4
eBook Packages: Springer Book Archive