Literatur

[Ast 68]

[Ast 84]

[Ast 86]

[Bee 91]

[Bee 92]

[Ben 88]

[Ber 90]

[Bir 90]

[Bla 87]

[Bol 91]

[Bra 87]

Aström, K J.: Lectures on the Identification Problem - The Least Squares Method. Report 6806, Lund-Inst. ofTechnology, Div. of Automatie Control, 1968.

Aström, K J.; Wittenmark, B.: Computer Controlled Systems. Theory and Design. Englewood Cliffs: Prentice Hall, 1984.

Aström, K J.; Anton, 1. 1.; Arzen, K-E.: Expert Control. Automatica, Vo1.22, No.3, 1986, 277-286.

Beestermöller, H J.; Eschbach, H.; Terhalle, M.: Verbesserungen des Prony-Verfahrens, seine Verifikation und seine Anwendung zur Reglersynthese rur die Zweifach-Regelung eines Pyrolyse-Reaktors. Studienarbeit, IAT, Universität Bremen, 1991.

Beestermöller, H. 1.; Trost, 1.: Erweiterungen eines PEARL-basierten Automatisierungsgeräts zur blockorientierten Konfigurierung konkurrierender Regelungs- und Steuerungstasks. Dipl.-Arbeit, !AT, Universität Bremen, 1992.

Bennet, S.: Real-Time Computer Control: An Introduction. New Y ork: Prentice Hall, 1988.

Berger, H: Automating with the SIMATIC S5-155U. München: Siemens AG, 1990.

Birch, M. C.; Edgar-Nevill, D. G.: Building Reliability into Mission­Critical Real-Time Systems. In H Zedan (Ed.): Real-Time Systems, Theory and Applications. Amsterdam: North-Holland, 1990.

Blaschek, G.; Pomberger, G.; Ritzinger, F.: Einfiihrung in die Programmiersprache Modula-2. Berlin: Springer Verlag, 1987.

Bolch, G.; Vollath, M.-M.: Prozeßautomatisierung. Stuttgart: B.G. Teubner Verlag, 1991.

Brauer, 1.; Dorn, J.; Otto, B.: Logisches Spezifizieren und Programmieren in der Prozeßdatenverarbeitung. atp 29, H.3, 1987, 132-139.

Literatur

[Bre 91]

[Bro 86]

[Bru 83]

[Bur 88]

[Bur 90]

[Con 89]

[Coo 91]

[Clo 84]

[DIN77]

[DIN 81]

[DIN 82]

[DIN 85]

[DIN 88]

[DIN 89]

[ESA 83]

[Eic 83]

[FeI84]

169

Breckling, B.; Tanha, A-R.; Thiele, G.: On Parameter Estimation of Ecosystem Models. In D. Popovic (Hrsg.): Analysis and Control of Industrial Processes. Braunschweig: Vieweg Verlag, 1991, 145-154.

Brownston, L.; Farrel, R.; Kant, E.; Martin, N.: Programming Expert Systems in OPS 5. Reading: Addison Wesley, 1986.

Bruhns, H.: Strukturiertes Programmieren, Teil 3. mc 11, 1983,52-55.

Bums, A.: Programming in Occam-2. Wokingham: Addison Wesley, 1988.

Bums, A; Wellings, A: Real-Time Systems and their Programming Languages. Wokingham: Addison Wesley, 1990.

Conlon, T.: Programming in P ARLOG. Wokingham: Addison Wesley, 1989.

Cooling, 1. E.: Software Design for Real-time Systems. London: Chapman and Hall, 1991.

Clocksin, W. F.; Mellish, C. S.: Programming in Prolog. Berlin: Springer Verlag, 2nd ed., 1984.

DIN 66001: Sinnbilder tUr Datenfluß- und Programmablaufpläne. Berlin: Beuth Verlag, 1977.

DIN 66253, Teil 1: Basic-PEARL. Berlin: Beuth Verlag, 1981.

DIN 66253, Teil 2: Full-PEARL. Berlin: Beuth Verlag, 1982.

DIN 66261: Sinnbilder tUr Struktogramme nach Nassi-Shneiderman. Berlin: Beuth Verlag, 1985.

DIN 66268: Programmiersprache Ada (ISO 8652, 1987). Berlin: Beuth Verlag, 1988.

DIN 66253, Teil 3: Mehrrechner-PEARL. Berlin: Beuth Verlag, 1989.

Mazza, C. (Chairman): ESA Software Engineering Standards. Board for Software Standardization and Control (BSSC), Darmstadt: European Space Agency, 1983.

Eichenauer, B. F.: Sprachkonzepte tUr die Parallelprogrammierung in Ada und PEARL. rtp 25, H. 2, 1983, 67-72.

Fels, G.: Programmieren mit PEARL. Berlin: Siemens AG, 1984.

170

[Fer 88]

[Fre 85]

[Gan 92]

[Goo 77]

[Gre 91]

[Grä 89]

[Hah 91]

[HaI 91]

[Häu 90]

[Hen 89]

[Her 89a]

[Her 89b]

[Hos 82]

[Hru 77]

Literatur

Ferling, H.-D.; Klittich, M.: Standardisierung von graphischen Entwurfsobjekten rur die realisierungsneutrale Beschreibung von Anwenderfunktionen in offenen Automatisierungssystemen. In R. Lauber (Hrsg.): Proc. Prozeßrechensysteme 88, Berlin: Springer Verlag, IFB 167, 1988,312-321.

Frevert, L.: Echtzeitpraxis mit PEARL. Stuttgart: Teubner Verlag, 1985.

GanssIe, J. G.: The Art ofProgramming Embedded Systems. San Diego: Academic Press, 1992.

Goodwin, G. C.; Payne, R. L.: Dynamic System Identification: Experiment Design and Data Analysis. New York: Academic Press, 1977.

Greiner, T.; Pandit, M.: Ein Multitaskingsystem zum effizienten Einsatz von Personalcomputern als Prozeßrechner in der Automatisierungstechnik. atp 33, H. 6, 1991,302-312.

Grätsch, E.: SPS-Speicherprogrammierbare Steuerungen. Vom Relaisersatz bis zum CIM-Verbund. München: R. Oldenbourg Verlag, 1989.

Hahn, B. D.: Turbo Pascal 5.0/6.0 for Engineers. Manchester: NCC Blackwell, 1991.

Halang, W. A; Stoyenko, A D.: Constructing Predictable Real Time Systems. Boston: Kluwer Academic Publ., 1991.

Häußler, G.; Guthseel, P.: Transputer-Systemarchitektur und Maschinensprache. München: Franzis Verlag, 1990.

Hensel, H.: Menuegeruhrtes Programmieren von Mehrprozessorsystemen. Hard and Soft 6, Nr. 5/6, 1989,51-54.

Herrtwich, R. G.; KnolI, A: Die Programmiersprache Ada. atp 31, H. 6, 1989,272-281.

Herrtwich, R. G.; Hommel, G.: Kooperation und Konkurrenz. Nebenläufige, verteilte und echtzeitabhängige Programmsysteme. Berlin: Springer Verlag, 1989.

Hossens, W.; Spengler, M.; Gruner, W.: Pascal in Beispielen. München: R. Oldenbourg Verlag, 1982.

Hruschka, P.: Basic PEARL - Language Description. Karlsruhe: Gesellschaft rur Kernforschung, PDV-Berichte, KFK-PDV 120.

Literatur

[INM88]

[Ise 87]

[Jan 92]

[Kap 77]

[Kap 79]

[Kes 91]

[Kna 88]

[Koc 89]

[Kos 93]

[Kne 89]

[Kün 90]

[Las 89]

[Lau 76]

Inmos Ltd.: Transputer Instruction Set - a compiler writers guide. New York: Prentice Hall, 1988.

171

Isermann, R: Digitale Regelsysteme. Berlin: Springer Verlag, 2.Aufl., Bd. II, 1987.

Janocha, H(Hrsg.): Aktoren - Grundlagen und Anwendungen. Berlin: Springer Verlag, 1992.

Kappatsch, A: Full PEARL - Language Description. Karlsruhe: Gesellschaft fiir Kernforschung, PDV-Berichte, KFK-PDV 130, 1977.

Kappatsch, A; Mittendort: H.; Rieder, P.: PEARL - Systematische Darstellung rur den Anwender. München: R Oldenbourg Verlag, 1979.

Kessler, M.; Göddertz, 1.; Lindner, K.-P.: Sensor/Aktor- und Feldbussysteme. In G. Schnell(Hrsg.): Sensoren in der Automatisierungstechnik. Braunschweig: Vieweg Verlag, 1991, 192-218.

Knapp, T.; Kofahl, R; Peter, K.; Isermann, R: Synthese dezentraler Mehrgrößenregelungen mit parameteradaptiven Verfahren. In R. Lauber (Hrsg.): Proc. Prozeßrechensysteme 88. Berlin: Springer Verlag, IFB 167, 1988, 594-604.

Koch, E.; Wendland, E.: On Modelling and Control of a Reactor for Pyrolysis. In D. Popovic (Hrsg.): Analysis and Control ofIndustrial Processes. Braunschweig: Vieweg Verlag, 1991, 182-191.

Kositzky, W.-D.; Landenberger, H.: Erweiterung aufMehrebenen­Konfigurierbarkeit und Re-Entwurf des SoftwarePakets zur graphischen Erstellung von Funktionsblock-Koppelplänen einer konfigurierbaren und parametrierbaren Feldstation. Dipl.-Arbeit, IAT, Universität Bremen, 1993.

Kneuer, E.; Windauer, H: Ist PEARL noch aktuell? In R Henn, K. Stieger (Hrsg.): Proc. PEARL 89 - Workshop über Realzeitsysteme. Berlin: Springer Verlag, IFB 231, 1989, 13-24.

Künzel, 0.: Meßdatenverarbeitung einer Meteo-Station mit Pascal­RTK. In H Rzehak, L. Drebinger (Hrsg.): Proc. Echtzeit 90, Sindelfingen 1990, 449-456.

Laskowski, M.; van Wüllen, M.; Unbehauen, H: Portierbarkeit von Anwenderprogrammen rur freiprogrammierbare Steuerungen. at 37, H. 8, 1989,295-303.

Lauber, R: Prozeßautomatisierung I. Berlin: Springer Verlag, 1976.

172 Literatur

[Lau 89] Lauber, R: Prozeßautomatisierung. Berlin: Springer Verlag, Bd. 1, 1989.

[Lau 90] Lauber, R (Hrsg.): EPOS - Kurzbeschreibung. IRP Forschungs- und Ingenieurgesellschaft tUr Rechnertechnik und Prozeßautomatisierung mbH Stuttgart und GPP Gesellschaft tUr Prozeßrechnerprogrammierung mbH Oberhaching b. München, Jan. 1990.

[Law 92] Lawson, H. W.: Parallel Processing in Industrial Real-Time Applications. New Jersey: Englewood Cliffs,1992.

[Ley 89] Ley, F.; van Wüllen, M.: Eine freiprogrammierbare Steuerung zur Realisierung von parallelen Ablaufstrukturen. atp 30, H. 7, 343-349.

[Man 43] Mann, H. B.; Wald, A.: On the Statistical Treatment ofLinear Stochastic Difference Equations. Econometrica 11, Vol. 3 and 4, 1943, 173-220.

[MAN 87] Fa. MannesmannlHartmann und Braun/Schoppe und Faeser GmbH.: Prozeßleitsystem Contronic E. Prospekt 50/65-01 DE, 659/9.87 JA, 1987.

[Men 87] McMenamin S. M.; Palmer, J. F.: Strukturierte Systemanalyse. München: Carl Hanser Verlag und London: Prentice HaU, 1988.

[Mes 87] Mesch, F.: SIDAS 11 - Ein blockorientiertes Simulationssystem tUr dynamische Systeme. Informationsblatt des Inst. f Meß- und Regelungstechnik, Universität Karlsruhe, 1987.

[Mey 88] Meyer, B.: Object-oriented Software Construction. New York: Prentice Hall, 1988.

[Mie 92] Miedtank, B.; Seifert, T.: Diagnosekriterien der tUr die Belüftungsregelung in den GlashaUen NWI eingesetzten Sensoren. Studienarbeit, IAT, Universität Bremen, 1992.

[MöI83] Möller, D.; Popovic, D.; Thiele, G.: ModeUing, simulation and Parameter-Estimation ofthe Human Cardiovascular System. Braunschweig: Vieweg Verlag, 1983.

[Nag 90] Nagl, M.: Software-Technik: Methodisches Programmieren im Großen. Berlin: Springer Verlag, 1990.

[Nas 73] . Nassi, 1.; Shneiderman, B.: Flowchart Techniques for Structured Programming. SIGPLANNotices, Vol. 8, 12-26.

[NEW 93] GI-Fachgruppe 4.4.2 "Echtzeitprogrammierung, PEARL" (Hrsg.): PEARL-News, H.1/93, 1993.

Literatur

[Nie 88]

[Nie 90]

[pEA 93]

[pet 91]

[pop 88]

[pop 89]

[pop 90]

[Reh 91]

[Rei 88]

[Rze 91]

[Sag 90]

[Schn 79]

[Scho 83]

173

Nielsen, K; Shumate, K: Designing Large Real-TimeSystems with Ada. New York: Mc Graw HilI, 1990.

Nielsen, K: Ada in Distributed Real-Time Systems. New Y ork: Mc Graw Hili, 1990.

GI-Fachgruppe 4.4.2 "Echtzeitprogrammierung, PEARL" (Hrsg.): PEARL 90 - Sprachreport. Vers. 1.0, Jan. 1993.

Peterson, P.: Real-Time Multi-Tasking Kernel rur Pascal und C unter MS-DOS. In H Rzehak, L. Drebinger (Hrsg.): Proc. Echtzeit 91,Sindelfingen 1991,161-168.

Popovic, D.; Bhatkar, Y.: Distributed Computer Control Systems in Industrial Automation. New York: Marcel Decker, 1988.

Popovic, D.; Thiele, G.; Kouvaras, M.; Bouabdallah, N.; Wendland, E.: Conceptual Design and C-Implementation ofa microcomputer­based programmable multiloop controller. Journ. ofMicrocomp. Appl., Vo112, 159-165.

Popovic, D.; Schulz-EkiofI, G.; Thiele, G.; Wendland, E.: On Modelling, Identification and C0!ltrol of a Reactor for Pyrolysis of Organic Materials. In V. Utkin, U. Jaaksoo (Eds.): Prepr. 11th IFAC World Congress, Tallinn 1990, Vol. 1,262-267.

Rehwaldt, B.: Ein Werkzeug zur funktionsbausteinorientierten Programmentwicklung rur die Geräte- und Kleinautomatisierung. In G. Hommel (Hrsg.): Proc. Prozeßrechensysteme 91, Berlin 1991. Berlin: Springer Verlag, IFB 269, 216-225.

Reißenweber, B.: Programmieren in PEARL. München: R. Oldenbourg Verlag, 1988.

Rzehak, H: Die Echtzeitdatenverarbeitung: Grundlagen und Methoden rur die Praxis. In H Rzehak, L. Drebinger (Hrsg.): Proc. Echtzeit 91, Sindelfingen 1991, 27-51.

Sage, A. P.; Palmer, J. D.: Software Systems Engineering. New York: John Wiley, 1990.

Schneider, G.: Identifikation bei geringer Störgrößeninformation. rt 27, H 4, 1979, 110-117.

Schoitsch, G.: Methoden strukturierten Programmierens in der Prozeßdatenverarbeitung (prozeßrechner und Mikroprozessoren). In P. Rechenberg, HSchauer, E. Schoitsch (Hrsg.): Software Engineering - Trends, Methoden, Anwendungen. Wien: R. Oldenbourg Verlag, 1985,92-227.

174

[Schu 88]

[Solb 85]

[Solt 89]

[Som 89]

eSte 91]

[Sti 89]

[Sto 90]

[Str 86]

[Suh 85]

[Tem 89]

[Tem 90]

[Tem 91]

[Thi 79]

[Thi 80]

Literatur

Schulz, A.: Handbuch der Informatik: Software-Entwurf - Methoden und Werkzeuge. München: R. Oldenbourg Verlag, 1988.

Solbrand, G.; Ahlen, A.; Ljung, L.: Recursive methods for off-line identification. Int. J. ofControl, Vol. 41, No. 1, 1985, 177-191.

Soltysiak, R.: Wissensbasierte Prozeßregelung. München: R. Oldenbourg Verlag, 1989.

Sommerville, 1.: Software Engineering. Wokingham: Addison Wesley, 3rd ed., 1989.

Steusloff, H; Batz, T.(Hrsg.): System Engineering fiir Realzeitsysteme - Bericht über das Verbundprojekt PROSYT. Berlin: Springer Verlag, 1991.

Stieger, K.: PEARL 90 - Die Weiterentwicklung von PEARL. In R. Henn, K. Stieger (Hrsg.): Proc. PEARL 89 - Workshop über Realzeitsysteme. Berlin: Springer Verlag, IFB 231, 99-137.

Stoll, 1.: Fehlertoleranz in verteilten Realzeitsystemen. Berlin: Springer Verlag, IFB 236, 1990.

Stroustrup, B.: The C++ Programming Language. Reading: Addison Wesley, 1986.

Suhattano, Y.: Ein PEARL-orientiertes Realzeit-FORTRAN. Dipl.­Arbeit, IAT, Universität Bremen, 1985.

Tempelmeier, T.: Praxis des Entwurfs von Echtzeit­Softwaresystemen. atp 31, H. 11, 1989, 532-544.

Tempelmeier, T.: Eine Übersicht über die Software-Entwurfsmethode HOOD. In W. Gerth, P. Baacke (Hrsg.): Proc. PEARL 90-Workshop über Realzeitsysteme. Berlin: Springer Verlag, IFB 262, 34-43.

Tempelmeier, T.: Eine kritische Bewertung der Software­Entwurfsmethode HOOD. In G. Hommel (Hrsg.): Proc. Prozeßrechensysteme 91. Berlin: Springer Verlag, IFB 269, 122-131.

Thiele, G.: Zur Identifikation mit Hilfe des Prony-Verfahrens bei fehlerbehafteten Messungen. FSP Dynamische Systeme, Rep.-Nr. 8, Universität Bremen, 1979.

Thiele, G.: Über verschiedene Ansätze und Konsistenzeigenschaften von Algorithmen zur Identifikation nach dem Prony-Verfahren. FSP Dynamische Systeme, Rep.-Nr. 28, Universität Bremen, 1980.

Literatur

[Thi 84]

[Thi 87a]

[Thi 87b]

[Thi 89]

[Thi 90a]

[Thi 90b]

[Thi 91a]

[Thi 91b]

[Tuf88]

[Unb 85]

[Weil 91]

175

Thiele, G.; Möller, D.; Popovic, D.: Probleme bei der Schätzung der Parameter eines nichtlinearen Modells des physiologisch geschlossenen Kardiovaskulären Systems. In D. Möller (Hrsg.): Proc. Systemanalyse biologischer Prozesse, Ebernburg 1984. Berlin: Springer Verlag, Med. Inf u. Stat., Bd. 52, 1984, 147-157.

Thiele, G.: Algorithmen zur Parameterschätzung zeitdiskreter Einfachmodelle mit dem Prozeßrechner. Düsseldorf VDI -Verlag, VDI-Fortschrittberichte, Reihe 8, Nr. 133, 1987.

Thiele, G.: Strukturierter Entwurfvon Realzeit-Algorithmen fiir Mikrorechner in der Prozeßautomatisierung. Berichte Elektrotechnik, Nr 4/87, Universität Bremen, 1987.

Thiele,G.; Popovic, D.; Baacke, P.; Flügel, P.; Renner, L.: Strukturierter Entwurf, Implementation und Validation eines Menü­gefiihrten Identifikations-Programmpakets auf einer PEARL-Engine. In R. Henn, K. Stieger (Hrsg.): Proc. PEARL 89 - Workshop über Realzeitsysteme. Berlin: Springer Verlag, IFB 231, 1989, 196-209.

Thiele, G.; Popovic, D.; Claussen, u.; Wendland, E.: Entwurfund Implementierung einer Menü-gefiihrten graphisch konfigurierbaren und Multi-Tasking-fähigen Mehrregelkreis-Feldstation. In H. Rzehak, L. Drebinger (Hrsg.): Proc. Echtzeit 90, Sindelfingen 1990, 147-156.

Thiele, G.: Software-Entwurffiir Automatisierungssystememit PEARL. In W. Gerth, P. Baacke (Hrsg.): Proc. PEARL 90-Workshop über Realzeitsysteme. Berlin: Springer Verlag, IFB 262, 1990, 22-33.

Thiele, G.: Software-Entwurffiir Realzeit-Systeme in der Automatisierungstechnik in PEARL-orientierter Form. Berichte Elektrotechnik, Report 4/91, Universität Bremen, 1991.

Thiele, G.; Renner, L.; Wendland, E.: Spezifikation und Entwurf der Realzeit-Software fiir die Regel-basierte Automatisierung einer natürlichen Hallenbelüftung in PEARL-orientierter Form. In W.A. Halang (Hrsg.): PEARL 91 - Workshop fiir Realzeitsysteme. Berlin: Springer Verlag, IFB 295, 1991, 50-67.

Tuffs, P. S.: Software aspects ofself-tuning contro!. In K. Warwick (Ed.): Implementation ofself-tuning controllers. London: Peter Perigrinus, 1988, 157-180.

Unbehauen, H.: Regelungstechnik 111. Braunschweig: Vieweg Verlag, 1985.

Wellenreuther, G.; Zastrow, D.: Steuerungstechnik mit SPS. Braunschweig: Vieweg Verlag, 1991.

176 Literatur

[Welt 91] Weiter, R: Implementierung einer konfigurierbaren Feldstation auf einem Einplatinenrechner. Studienarbeit, IAT, Universität Bremen, 1991.

[Welt 92a] Weiter, R; Thiele, G.; Popovic D.; Wendland, E.: A PEARL-based Multi-Ioop and Multi-sequence Controller. In B. G. Mortensen, A. Nunez (Eds.): Proc. EUROMICRO 92, Paris 1992. Microprocessing and Microprogramming, Vol. 35, No. 1-5, Sept. 92, 707-712.

[Welt 92b] Weiter, R; Thiele, G.; Popovic, D.; Wendland, E.; Renner, L.; Beestermöller, H J.; Trost, J. :PEARL-Implementierung eines konfigurierbaren und parametrierbaren Automatisierungsgeräts. In P. Holleczek (Hrsg.): Proc. PEARL 92 - Workshop über Realzeitsysteme. Berlin: Springer Verlag, Informatik aktuell, 1992, 108-124.

[Welt 92c] Weiter, R: Entwurfund Implementierung eines konfigurierbaren Automatisierungsgeräts tUr verteilte Systeme. Dipl.-Arbeit, IAT, Universität Bremen, 1992.

[WER 89] Fa. WERUM: VICO - Version, Interface and Configuration Contro1. Benutzerhandbuch und Installationsanleitung. Werum Datenverarbeitungssysteme, Lüneburg, Rel. 2.2, 1989.

[Wer 90] Werum, W.; Windauer, H: Introduction to PEARL. Braunschweig: Vieweg Verlag, 1990.

[Wos 84] Wos, L.; Overbeck, R; Lusk, E.; Boyle, J.: Automated Reasoning -Introduction and Applications. New Jersey: Prentice Hall, 1984.

[You 84] Young, S. J.: Programming language requirements for process control. In S. Bennet, D. A. Linkens (Eds.): Real-Time Computer Control. London: Peter Perigrinus, 1984, 101-113.

[You 87] Young, S. J.: Real Time Languages - design and development. Chichester: Ellis Horwood, 1987.

[Zöb 87] Zöbel, D.: Programmierung von Echtzeitsystemen. München: R Oldenbourg, 1987.

Index

Abtastregler 135 Ada 14, 148f, 164ff,

- Entry Call164ff, 167 - Package (paket) 133, 164

Task 149, 164f Aggregation des Funktions-

Strukturbaums 37 aktives Warten 40f, 144 Aktoren 86, 97, 112 Anforderungs -Analyse 20,53, 79

- Spezifikation 18, 71, 79, 86ff - -, . regelbasierte 18

Architektur -Beschreibung 114ff - Modul120

Automatisierungs-System 13, 22, 28, 96, 115 -, eingebettetes 13 -, fehlertolerantes 97f, 115 -, verteiltes 18,22,98, 112fT, 122

Collection 114ff, 122 - Kopplungsgraph 117 - lokal 114, 120 - Rekonfigurierung 115, 118

Datenkapselung 42 DATION26

- Deklaration 120 -, stationsübergreifende 114f, 118

defensiver Entwurf 131 defensive programming 131 Denken in PEARL 15, 19 Drift, kumulative 149

Eiffell04 Einbettung der Anwender-Tasks 154

Einplanbarkeit 69, 13 7f Einplanung 137, 139, 141, 146, 153ff EPOS 5,172 Feldstation 18, 96ff, 112, 116f, 121

-, konfektionierte 97 -, konfigurierbare 18, 29, 98ff, 112 -, parametrierbare 97 -, projektierbare 97

Feldbus 96f, 116 Funktionsbaustein 97 Funktionsblock (FB) 98ff, 107, 122

- Bibliothek 99f, 102, 104f, 116, 122

- Datenstruktur 98f, 102 -, Ein / Ausgabe 27, 116 -, Kommunikations 98, 112f, 120 - Objekttyp 103f, 107, 109, 111 - Parameter 100, 102 - Prozedur 98f, 101ff

Funktionsstrukturbaum 14, 39, 63, 90, 166f -, begleitender 46, 78 - Bezüge 37 - Dekomposition 23 -, eingepaßter 35, 38 -, Gesamt 45 - Knoten 38 -, korrespondierender 23,38,48,

90 -, Teil 35, 46, 48f, 62, 69, 76 -, vorläufiger 35

Gleichungsfehler 55ff, 75 -, geschätzter 55

178

-, rekonstruierter 55 -, wahrer 55f

graceful degradation 115

Hierarchie der Taskzustände 14lf HOOD 13, 164f

Identifikations -Modell 55 - Paket 23, 25, 31, 37, 43fT, 60,

72,75 Identifizierbarkeit 54, 71f

- und Validation 72 - und Verifikation 72

Import -Graph 14, 22f, 30, 89 - - in Baumstruktur 31

-, Quer 30 Inferenz 81f, 84 iterative -Reglersynthese 15, 17

- Wiederholung 57

Klausel, Export 25, 133, 163 -, Import 25, 133, 163 -, PARLOG81 -, pragma 164 -, Prolog 81 -, rekursive 83 -, USE 164 -, USES 163 -, WITH 164

Konfigurierung 98, 100, 113 -, Verbindungs 106f

Linguistische Variable 79, 85 Loop-Test 39f

MASCOT 13 Matrix, Meß 55, 59, 73

-, Präzisions 56, 63 Methode der Kleinsten Quadrate 55,

75 Modellfehler 72 Modul, Architektur 120

Index

- Architektur 14, 22, 26f, 44, 59f, 87

- Begriff 22f - Bildungskriterien 33 - Deklaration 133f - Fan-In 30, 33 - Fan-Out 30, 33 - global 26, 41, 43 - Hierarchie 44 - Initialisierungsteil133, 156, 164 - Kohäsion 33 - Konzept 14 - lokal 25, 35 43, 60, 69, 86, 132,

157, 164 - lokale Semaphore 43 -, Netzwerk-Verwaltungs 27, 120 -, PEARL 164 -, Portverwaltungs 120f -, Realzeit-Initialisierungs 27, 154,

156 -, Realzeit-Organisations 27,99,

132, 154 -, Realzeit-Verwaltungs 27, 149,

162, 165 - Schicht 23,48 - Schnittstelle 22, 25fT, 44 ,47,

133, 163 - -, orthogonale 47

- Struktogramm 25f, 60, 62f, 89 - -, vorläufiges 34, 88, 101

- Strukturbaum 14, 23fT, 27, 31, 33, 35, 37f, 59, 86, 89, 120, 166 - - Benutzbarkeitsbezug 23

-, System 28, 86, 88, 99, 120 - Unabhängigkeit 30f, 59 -, wiederverwendbarer 26f, 31, 33,

60, 67, 76f, 99 - Zugriffsprozedur 43, 105, 121,

157 Modula-2 14,25, 133, 163 Multi-Tasking 14, 19, 135, 165

Index

Objekt 103, 107 -, aktives 164 - Attribut 104, 107 - Dämon 110 - Klasse 103f, 107f, 111 - Methode 104, 107 -, Port 120 -, Semaphor 140 - Typ 103f

- - Instanz 104 - und Modul 22

Occam-2 114, 148fI - Prozeß 149

PAMELA13 Parameter 54, 73

- des Wahren Modells 71 -, Modell 53, 74, 76 -, phänomenologische 53,58, 74 -, Störmodell58 -, Struktur 75 -, System 71

Parameterschätzung 57 -, Block_RLS 60, 62, 69f -, DLS 60, 62fI -, En-bloc 48, 58, 60, 65, 72 -, halbrekursive 57 -, konsistente 55, 57, 72f, 75f -, rekursive 33, 57, 60, 65, 72f -, RLS _ Oftline 48, 60, 62, 65f -, RLS_Online 42,60,62, 69f -, robuste 33, 57, 72

PARLOG79fI PEARL, Basic 169, 170

-, Full139, 149 -, Mehrrechner 14, 18, 114f, 166 - - Architekturbeschreibung 114f

PEARL 90 14, 149, 154 Phasen-ModeIl20f, 35 Port 42, 114, 116, 120fI Prädikat 79ft: 92f

-, Bedingungs 81f, 93

-, Guard 82, 85 -, paralleles 80f -, Schlußfolgerungs 81 -, sequentielles 81 -, Ziel81

Produktionsregel 79 Programmierung im Großen 14 Programmiersprache, logische 81

-,objektorientierte 103f -, Realzeit 13f, 135, 163, 165 -, wissensbasierte 18

Prolog 81f -, Concurrent 79f

Prony-Verfahren 33,57 -, En-bloc 49 -, Rekursives 33,49

Protokoll, Kommunikations 114f -, Blocking-Send 114, 166 -, No-Wait-Send 115 -, Send-Reply 121, 166

Prototyping 20 -, Rapid20

Prozeß -Alarm 135 - Automatisierung 14f - Bedienung 79, 112 - Bild 112 - Ein I Ausgabe 14, 26, 39, 80,

115f, 133f, - - aufhoher Ebene 14, 26

179

- - Struktogramm-Symbol 134 -, Occam 148, 150f - Peripherie 39, 99, 114, 116 -, Signale 98 - Station 96 - Stelle 26 -, technischer 96, 100 - Visualisierung 112

Prozedur 22, 76fI, 89, 93, 154 - Aufruf39, 72, 93, 106, 128 - Bibliothek 22 - Dämon 110 - Deklaration 127f

180

-, eigentliche 37, 94, 127 -, Funktions 37, 89, 93, 95, 128f,

149 -, Funktionsblock 98f, 102ff -, Interrupt 127, 131f, 154, 157,

160, 162 -, modullokale 25,60 -,Ordnungsbestimmungs 76 - Parameter 25, 42, 67, 93f, 98,

129ff -, PARLOG 81, 83ff, 92ff -, Prolog 81 - Schnittstelle 67, 129 - Struktogramm 128f -, Trap 131f, 154, 156ff, 161 -, wiedereintrittsfahige 38f, 100

RCV-(Receive-)Block 112, 121 Realzeit-FORTRAN, PEARL­

orientiertes 154 Realzeit-Funktion 157

-, Dispatcher 154, 161 -, Null-Task 69, 139~ 154, 156,

161f -, Scheduler 154, 156ff -, Terminate-Verwaltungs 154,

156f, 159 -, Zeitverwaltungs 154, 157, 160,

162 Realzeitverwaltungs-ModellI57, 161 Rechenfolge 102 Re-Entwurf20f, 53, 74, 76f, 166 Regelung 79, 96f, 135

-, Klima 82, 87 -, Mehrfach 15, 17, 31f -, regelbasierte 79 -, wissensbasierte 80

Regler-Heuristik 97 Rekonfiguration 119f Rekonfigurationteil 119 Rendezvous 114

Schichten-Modell 23, 30, 60 Sensoren 79, 85f, 97, 112 Semaphor 39, 135, 140f, 151f

- Anweisung 43, 140f, 148 - Objekt 140 - Variable 140 - Warteschlange 140, 146

Software -Entwicklung 13, 20 - -, Phasenmodell der 20

Index

- Implementationssprache 14, 19 - Lebenszyklus 18, 20 - Test 39 - Transparenz 14, 18,22, 103 - Verständlichkeit 13

Software-Entwurf -im ganz Großen 115ff - im Großen 14, 18, 22, 25, 36,

154 - im Kleinen 18, 22f, 31, 35, 154 -, modularer 22f -,objektorientierter 14, 18,22, 96,

103ff -, PEARL-orientierter 14, 18, 22f -, Realzeit 13, 18, 135f -, strukturierter 23, 127

Softwareentwurfs -Beschreibungs­mittel 14f - Beschreibungssprache 14 - Kriterien 29 - Paradigma 15 - Strategie 23, 27, 44

- -, Bottom-Up 46 - -, gemischte 47f - -, Top-Down 44f - -, Up-Down 48

Steuerung 39f, 96ff, 113, 123 Ablauf 97 -,

-, Speicherprogrammierbare (SPS) 97

-, Verknüpfungs 97 Synchronisation 39,42

-, Steuerungs 112f

Index

Synchronisations -Anweisungen 39, 43, 140f - Bezüge 39

systematische Umsetzung des Entwurfs 15, 19, 27, 80, 89, 92f, 163

System, fehlertolerantes 97, 112 - Identifikation 18, 53 -, Mehrprozessor 137

Szenario, Simulations 72 -, Test 71

Task 135ff - Ausfiihrung 39,41, 135, 138

- -, konkurrierende 89, 97f, 137, 151

- -, parallele 137 - -, rechtzeitige 13 7 - -, Round Robin 40 Ausplanung 139, 141 Beendigung 139 Einplanung 40,98, 110, 135, 137, 141 - -, explitzite 138 - -, frequenzmonotone 137 - -, paritätsabhängige 135 --, unmittelbare 39, 151, 154f,

161 - -, zyklisch-aperiodische 97,

139 - -, zyklisch-periodische 97,

135, 139, 148fT, 157, 166 - Fortsetzung 138, 143 - Kommunikation 135, 166 -, konfigurierte 112 - Kontrollbezug 37,39 - Kontrollblock 155 - Kopplungsgraph 39f, 122, 166

- -, verallgemeinerter 122 - Modell 14, 18, 127, 131, 135fI - Priorität 13 8, 164 -, Relais 120

-, Regelungs 97, 109, 135f - Start 139, 141 -, Steuerungs 39,97 - Steuerungsanweisungen 131,

135, 138f - Struktogramm 42, 131 - Strukturgraph 39 - Suspendierung 139 - Synchronisation 41,44, 135,

140f, 143, 148, 151, 153 - Verwaltungstabelle 155, 162 - Verzögerung 139 - Zustand 138, 141 - Zurückstellung 13 9 - Wechsel 37, 69, 135fI

Taskzustands-Übergangsdiagramm 135, 138, 140f

Test-Szenario 71

181

Transputer 149, 151 - Befehl 150f - Prozeß 149, 151

Turbo-Pascal I RTKerne1149f, 165

Ununterscheidbarkeit -von Parametern 71 - von Systemantworten 71

Validation 18, 20, 53, 58, 71fI Verbindungs-Vereinbarung 26f Verfeinerung 58

- des Modulstrukturbaums 31 -, schrittweise 31, 45 -, Spezifikations 80 -, Zustands 143

Verifikation 18,20, 53, 58, 71fT, 76 - durch Validation 73

VICO 176

Wahres Modell 54, 72 -, identifizierbares 71 -, nicht identifizierbares 71

wahrer Parameter 54f

182

Wasserfall-Modell 20f Wirkschaltbild 27f, 86, 96, 115f

XMT -(Transmit-)Block 112, 121

Zugriffsprozedur 24, 27, 42f, 70, 89, 99, 102, 104f, 121, 157

Index

Schönthaler /Nemeth Software -Entwicklungs­werkzeuge: Methodische Grundlagen

Das Buch behandelt die methodischen Grundlagen der wichtigsten heute am Markt verfügbaren Software-Entwicklungswerk­zeuge. Aufbauend auf der Darstellung elementarer methodischer Konzepte werden zunächst für unterschiedliche Projektphasen einsetzbare Methoden und Sprachen vorgestellt. Die sich seit den späten 70er Jahren bis heute zu einem Quasistandard entwickelten Methoden und Sprachen für die strukturierte Analyse werden ausführlich behandelt. Für die Spezifikation spezieller Aspekte in einem Software-Entwicklungspro­jekt stehen heute verschiedene Datenmo­delle, Methoden und Sprachen zur Spezifika­tion dynamischer Anforderungen und zur Spezifikation von Benutzerschnittstellen zur Verfügung. Die Vermittlung der hierfür wesentlichen Konzepte bildet einen Schwer­punkt des Buches. Einen weiteren Schwer­punkt bilden die Ausführungen zur Software­Entwicklungsphase Programmentwurf. Hier werden Konzepte des strukturierten, des datenorientierten sowie des objektorientier­ten Entwurfs erläutert. Das Buch behandelt darüber hinaus hoch aktuelle Konzepte wie Software-Wiederverwendung, Reverse Engineering und Prototyping, die nachhaltige Produktivitätsverbesserungen in der Soft­ware-Entwicklung erwarten lassen.

Aus dem Inhalt:

Grundlegende Entwicklungsstrategien -Universell einsetzbare Techniken - Methoden und Sprachen für die strukturierte Analyse -Datenmodellierung - Spezifikation des

SchOn

Software­EntwiCklungs­werkzeuge: Methodische Grundlagen

!H, SI r

Von Dr. Frank Schönthaler, PROMATIS Informatik, Straubenhardt, und Dipl. -Wirtschaftsing. Tibor Nemeth, PROMATIS Informatik, Straubenhardt

2., überarbeitete Auflage. 1992. 379 Seiten. 16,2 x 22,9 cm. Kart. DM 56,-ISBN 3-519-12417-3

(Leitfäden der angewandten Informatik)

Systemverhaltens - Entwurf von Benutzerschnittstellen - Programmentwurf -Objektorientierter Entwurf -Software-Wiederver­wendung - Prototyping -Operationale Spezifika­tionssprachen und Trans­formationssysteme

B. G. Teubner Stuttgart