Zusammenfassung
Die rechnerunterstützte Konstruktion von Spezialrechnern aus Programmen anwendungsorientierter höherer Programmiersprachen wird motiviert.
Ein Rechnerbaukasten für Concurrent Pascal Programme wird kurz beschrieben. Danach werden die für ADA nötigen Änderungen skizziert. Anschließend werden Aufgaben und Aufbau eines Konfigurierungssystems (stark erweiterten Übersetzers) beschrieben. Es konfiguriert einen Spezialrechner aus Bausteinen des Rechnerbaukastens. Dabei sind vorgebene Qualitätsmerkmale einzuhalten und Kosten zu optimieren.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Leteratur
Ichbiah, Heliard, Roubine, Barnes, Krieg-Brueckner, Wichmann, Ledgard, Abrial: The Programming Language ADA; Reference Manual, Proposed Standard Document; United States Department of Defense, July 1980; Lecture Notes in Computer Science Vol. 106.
Per Brinch Hansen: The Programming Language CONCURRENT PASCAL; IEEE Transactions on Software Engineering 1, 2; June 1975; Seite 199 bis 207
Ulrich Frank, Hans Joachim Isenberg: Ein auf Concurrent Pascal basierendes Mehrmikrorechnerentwicklungssystem — Systemkonzept und Softwarerealisierung; Diplomarbeit am Institut für Informatik IV der Universität Karlsruhe, März 1980.
Hermann Hartig, Thomas Krause: COPRA — eine auf Concurrent Pascal basierende Rechner-Architektur; Hardware für Software, K.-H. Hauer, C. Seeger (Hrsg.), Tagung III/1980 des GERMAN CHAPTER OF THE ACM, Oktober 1980, Konstanz, Berichte des GERMAN CHAPTER OF THE ACM Band 6, B. G. Teubner Stuttgart, Seite 155 bis 169
Hermann Härtig, Andreas Pfitzmann, Leo Treff: Task State Transitions in ADA; ADA LETTERS, A Bimonthly Publication of ADATEC, the SIGPLAN Technical Committee on ADA, Volume I, Number 1, July, August 1981, Seite 31 bis 42 und Volume II, number 1, July, August 1982, Seite 6 und 7.
W. Händler, H.Rohrer: Gedanken zu einem Rechner-Baukasten-’; Elektronische Rechenanlagen 22, 1980, Heft 1, Seite 3 bis 13.
Boris A. Koslow, I. A. Uschakow: Handbuch zur Berechnung der Zuverlässigkeit für Ingenieure; In deutscher Sprache herausgegeben und ergänzt von Kurt Reinschke; Carl Hanser Verlag, München Wien, 1979
Sven A. Nilsson: Konzept und Architektur eines fehlertoleranten Mehrmikrorechner Systems; Hochschulsammlung Naturwissenschaft Informatik Band 9, Hochschulverlag, 1981
Andreas Pfitzmann, Hermann Härtig: Grenzwerte der Zuverlässigkeit von Parallel-Serien-Systemen; Fehlertolerierende Rechnersysteme, GI-Fachtagung München, März 1982, Informatik-Fachberichte Band 54, Springer Verlag, Berlin, Heidelberg, New York, 1982, Seite 1 bis 16
Andreas Pfitzmann: Konfigurierung und Modellierung von Mehrmikrorechnern aus um Zuverlässigkeitsanforderungen erweiterten ADA-Programmen; Interner Bericht Nr. 8/82, Institut für Informatik IV, Fakultät für Informatik, Universität Karlsruhe, Februar 1982
Werner Politz: Ein auf Concurrent Pascal basierendes Mehrmikrorechnerentwicklungssystem — Systemkonzept und Hardwarerealisierung; Diplomarbeit am Institut für Informatik IV der Universität Karlsruhe, März 80.
Johannes Rohrich: PATSY, Eine Sprache zur Spezifikation und Verifikation von Synchronisationsbeziehungen; Interner Bericht Nr. 6/80, Institut für Informatik II, Fakultät für Informatik, Universität Karlsruhe, 1980
W. Schröck: Ein Modell zur Konstruktion optimaler Konfigurationen von Rechensystemen; Messung, Modellierung und Bewertung von Rechensystemen, GI-NTG Fachtagung Jülich, Februar 1981, Informatik-Fachberichte Band 41, Springer Verlag, Berlin, Heidelberg, New York, 1981
Max Syrbe, Franz Saenger: Modelle zum Entwurf fehlertolerierender Mehrrechnersysteme und deren Simulation; Fehlertolerierende Rechnersysteme, GI-Fachtagung München, März 1982, Informatik-Fachber ichte Band 54, Springer Verlag, Berlin, Heidelberg, New York, 1982, Seite 1 bis 16
Martin I. Wolfe, Wayne Babich, Richard Simpson, Richard Thall, Larry Weissman: The ADA Language ’; COMPUTER June 1981, Seite 37 bis 45
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Härtig, H., Krause, T., Pfitzmann, A. (1982). Rechnerunterstützte Konstruktion von Spezialrechnern aus Programmen anwendungsorientierter höherer Programmiersprachen. In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-68603-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11609-7
Online ISBN: 978-3-642-68603-0
eBook Packages: Springer Book Archive