Zusammenfassung
Dieser Beitrag beschreibt als Teil 1 die Realisierung eines fehlertoleranten Rechnersystems für Prozeßsteuerungen. Die Fehlertoleranz wird durch hierarchisch abgestufte Hardware- und Software-Maßnahmen bewirkt. Anwendungsbereiche dieses Systems sind u.a. Regelungsaufgaben in Flugzeugen. Teil 2 befaßt sich mit der besonderen Problematik der Programmierung von Avionik-Regelungsaufgaben. Die zu beachtenden Restriktionen und die spezifische Software-Struktur werden beschrieben.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Herrscher, G., Kirst, B., Schmidt, D., Szlachta, J.,Entwicklung eines redundanten Rechnersystems zur mehrachsigen Flugstabilisierung und -trimmung, LITEF Freiburg, BMFT-Forschungsbericht W83-027, Oktober (1983).
Wensley, J. W., et al. Design Study of Software-Implemented FaultTolerance (SIFT) Computer, SRI International, June (1978).
Hopkins, A. L., et al. FTMP — A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft, Proceedings of the IEEE, Vol. 66, No. 10, Oct. (1978).
Sandner, N., Kleinschmidt, M., Test und Verfikation der Software von Kurs-Lagereferenz-Systemen, Proc. DGLR Symposium “Test und Verifikation…”, Köln, (1983).
ARINC Characteristic 701, Flight Control Computer System, (1979).
RTCA/DO-178, Software Considerations in Airborne Systems and Equipment Certification, Rad. Techn. Comm. Aeronautics, (1981).
Hach, J. P., Digitale Elektronik in Verkehrsflugzeugen, Proc. DGLR n Symp. “Test und Verifikation…”, Köln, (1983).
Afzali, H., Güsmann, B., Efficient Software Development with HOL for a Heading Determinator, Proc. 2 IASTED Symp. “Applied Informatics”, Innsbruck, (1984).
Feuer, A., Gehani, N., A Comparison of the Programming Languages C and Pascal, Comp. Surv., Vol. 14 No. 1, p. 73, (1982).
Anderson, G., Shumate, K., Selecting a Programming Language, Compiler and Support Environment, Computer, p. 29, Aug. (1982).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Güsmann, B., Schmidt, D. (1984). Avionik Prozessrechnersystem Für Sicherheitskritische Aufgaben. In: Trauboth, H., Jaeschke, A. (eds) Prozeßrechner 1984. Informatik-Fachberichte, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70086-6_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-70086-6_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13858-7
Online ISBN: 978-3-642-70086-6
eBook Packages: Springer Book Archive