Skip to main content
SpringerLink
Log in

Avionik Prozessrechnersystem Für Sicherheitskritische Aufgaben

  • Conference paper
Prozeßrechner 1984

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 86))

  • 82 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 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).

    Google Scholar 

  2. Wensley, J. W., et al. Design Study of Software-Implemented FaultTolerance (SIFT) Computer, SRI International, June (1978).

    Google Scholar 

  3. Hopkins, A. L., et al. FTMP — A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft, Proceedings of the IEEE, Vol. 66, No. 10, Oct. (1978).

    Google Scholar 

  4. Sandner, N., Kleinschmidt, M., Test und Verfikation der Software von Kurs-Lagereferenz-Systemen, Proc. DGLR Symposium “Test und Verifikation…”, Köln, (1983).

    Google Scholar 

  5. ARINC Characteristic 701, Flight Control Computer System, (1979).

    Google Scholar 

  6. RTCA/DO-178, Software Considerations in Airborne Systems and Equipment Certification, Rad. Techn. Comm. Aeronautics, (1981).

    Google Scholar 

  7. Hach, J. P., Digitale Elektronik in Verkehrsflugzeugen, Proc. DGLR n Symp. “Test und Verifikation…”, Köln, (1983).

    Google Scholar 

  8. Afzali, H., Güsmann, B., Efficient Software Development with HOL for a Heading Determinator, Proc. 2 IASTED Symp. “Applied Informatics”, Innsbruck, (1984).

    Google Scholar 

  9. Feuer, A., Gehani, N., A Comparison of the Programming Languages C and Pascal, Comp. Surv., Vol. 14 No. 1, p. 73, (1982).

    Article  MATH  Google Scholar 

  10. Anderson, G., Shumate, K., Selecting a Programming Language, Compiler and Support Environment, Computer, p. 29, Aug. (1982).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LITEF, Freiburg i. Brsg., Germany

    B. Güsmann & D. Schmidt

Authors
  1. B. Güsmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Datenverarbeitung in der Technik (IDT), Kernforschungszentrum Karlsruhe GmbH, Postfach 3640, D-7500, Karlsruhe 1, Germany

    H. Trauboth  & A. Jaeschke  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation