Kurzfassung
Die Zuverlässigkeit eines Prozeßprogramms ist gleich der Wahrscheinlichkeit, daß das Prozeßprogramm die gestellten Anforderungen erfüllt. Am o.g. Institut wurden mit Hilfe von Modellprozessen Untersuchungen der Zuverlässigkeit von Prozeßprogrammen durchgeführt. Die Arbeiten umfaßten Vergleiche zwischen in PEARL, Assembler und FORTRAN mit Assembler geschriebenen Programmen, sowie Untersuchungen der verschiedenen Spracheigenschaften von PEARL. Die Ergebnisse zeigten, daß der Aufwand zur Erstellung hinreichend zuverlässiger Prozeß-programme durch die Verwendung von PEARL wesentlich verringert werden kann und daß PEARL neben Sprachmitteln, die zur zuverlässigen Programmierung sehr gut geeignet sind, auch solche besitzt, die einer Verbesserung bedürfen.
Dieser Bericht veröffentlicht Ergebnisse aus einem mit Mitteln des Bundesministers für Forschung und Technologie (Kennzeichen DV 5.505) geförderten Forschungsvorhaben des Projektes Prozeßlenkung mit DV-Anlagen (PDV) im Rahmen des 2. DV-Programms der Bundesregierung. Die Verantwortung für den Inhalt liegt ausschließlich bei den Autoren bzw. den geförderten Unternehmen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Schriftturnsverzeichnis
Parnas, D.L.: The influence of software structure on reliability, Proc. of the Intern. Conf. on Reliable Software, Los Angeles, 1975, pp. 358 – 362
Konakovsky, R.: A new method to investigate the safety of control systems, IFAC Congress, Boston, USA, 1975, Reprints Part II D, p. 26.5/1–8
Dijkstra, E.W.: The GOTO statement considered harmful, Comm. of the ACM, March 1968, pp. 147–148
Ramamoorthy, C.V. a.o.: Reliability and Integrity of Large Computer Programs, GFK-GE-GMR, Fachtagung Prozeßrechner 1974, Springer Verlag, pp. 86–161
Shopman, M.L.: Operational Testing and Software Reliability Estimation During Program Development, Rec. of the 1973 IEEE Symp. on Comp. Software Reliability, May 1973, pp. 51–57
Krüger, G.: Programmausrüstung für den Einsatz von Prozeßrechnern, Methoden zur Programmerstellung und Prüfung, Interkama 1974, Düsseldorf
Lauber, R.: Experimentelle Untersuchungen von Spracheigenschaften der Prozeßrechnersprache PEARL anhand von Modellprozessen, aus “Praxis von Sprachen, Programmiersystemen und Programmgeneratoren”, Hanser Verlag 1976
Lauber, R.: Prozeßautomatisierung I, Springer Verlag, Berlin-Heidelberg-New York 1976
Zeh, A.: Ein Vorschlag zur Erhöhung der Zuverlässigkeit der Prozeßprogrammiersprache PEARL bei der Synchronisierung von Betriebsmitteln für parallel ablauffähige Vorgänge, ASME-Bericht A-004, Ges. für Kernforschung Karlsruhe, PDV
Boehm, C., Jacopini, G.: Flow diagrams, touring machines and languages with only two formation rules, Comm. of ACM, May 1966, pp. 366–371
Knuth, Floyd: Notes avoiding GOTO statements Information processing letters 1, 1971, pp. 23–31
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Zeh, A. (1977). Erfahrungen mit der Zuverlässigkeit von Prozeßprogrammen bei der Verwendung von PEARL. In: Schmidt, G. (eds) Fachtagung Prozessrechner 1977. Informatik - Fachberichte, vol 7. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66599-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-66599-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08123-4
Online ISBN: 978-3-642-66599-8
eBook Packages: Springer Book Archive