Skip to main content
SpringerLink
Log in

Die 80er Jahre

  • Chapter
Informatikforschung in Deutschland

Zusammenfassung

PRO-ART (PROmetheus ARTificial intelligence) bezeichnet eines von sieben Teilprojekten des EUREKA-Projektes PROMETHEUS (PROgraM for a European Traffic with Highest Efficiency and Unprecedented Safety), das bereits vor mehr als zwanzig Jahren begonnen und vor dreizehn Jahren abgeschlossen worden ist – für unsere schnelllebige Zeit fast vor einer Ewigkeit. Dennoch kommen erfahrene Forscher und Entwickler in der europäischen Automobil- sowie Zuliefererindustrie bei Gesprächen zum „Stand der Kunst“ über kurz oder lang auf PROMETHEUS als Schlüsselereignis zurück.

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 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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

Literatur zu Abschnitt II.2.1

  1. Braess, H.-H. & Reichart, G.: Prometheus: Vision des „intelligenten Automobils“ auf „intelligenter Straße“? – Versuch einer kritischen Würdigung. Automobiltechnische Zeitschrift ATZ 97:4 (1995) 200–205 (Teil I) und 97:6 (1995) 330–343 (Teil II).

    Google Scholar 

  2. Enkelmann, W.: Entwicklung von Systemen zur Interpretation von Straßenverkehrsszenen durch Bildfolgenauswertung. Verlag Dr. Ekkehard Hundt, „infix“, Sankt Augustin 1997.

    Google Scholar 

  3. Invent-2005-Kontakt: INVENT-Büro, Hülenbergstr. 10, D-73230 Kirchheim unter Teck (http://www.invent-online.de).

    Google Scholar 

  4. Makino, N. & Hoshino, Y.: Weltmacht am Wendepunkt – Krise und Perspektive der Hochtechnologie aus japanischer Sicht. Deutsche Übersetzung: Management Presse Verlag, München 1991.

    Google Scholar 

  5. Masaki, I. (Editor): Vision-based Vehicle Guidance. Springer-Verlag Inc., New York NY 1992.

    MATH  Google Scholar 

  6. Maurer, M. & Stiller, C. (Hrsg.): Fahrerassistenzsysteme mit maschineller Wahrnehmung. Springer-Verlag Berlin Heidelberg 2005.

    Google Scholar 

  7. Moto-oka, T; Aiso, H.; Fuchi, K.; Karatsu, H. & Yamamoto, K. (Eds.): Proceedings International Conference on Fifth Generation Computer Systems (FGCS-81), 19–22 October 1981, Tokyo; Japan Information Processing Development Center 1981a.

    Google Scholar 

  8. Moto-oka, T. et al. (1981b): Challenge for Knowledge Information Processing Systems. In Moto-oka et al. 1981a, pp. 1–85.

    Google Scholar 

  9. Nagel, H.-H. (Hrsg.): Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung. Verlag Dr. Ekkehard Hundt, „infix“, Sankt Augustin 1995 (2 Bände).

    Google Scholar 

  10. Porter, M.E.; Takeuchi, H., Sakakibara, M.: Can Japan Compete? Macmillan Press Ltd, London 2000.

    Google Scholar 

  11. PReVENT-Kontakt: http://www.prevent-ip.org

    Google Scholar 

  12. Roland, A. with Shiman, P.: Strategic Computing: DARPA and the Quest for Machine Intelligence 1983–1993. The MIT Press, Cambrige, MA 2002.

    Google Scholar 

  13. sc (Kürzel des NZZ-Korrespondenten in Tokio, Sommer 1983): Japans Rolle als Halbleiter-„Kopist“. Neue Zürcher Zeitung, 29. Juli 1983 (Fernausgabe Nr. 174, S. 9).

    Google Scholar 

  14. Seetharaman, G.; Lakhotia, A., Blasch, E.P. (Guest Editors): Unmanned Vehicles Come of Age: The DARPA Grand Challenge (Introduction to this Special Issue). IEEE Computer 39:12 (December 2006) 26–29; siehe auch die weiteren Beiträge zu diesem Themenheft.

    Google Scholar 

  15. Shapiro, E., Warren, D.H.D. (Guest Editors): The Fifth Generation Project: Personal Perspectives. Communications of the ACM 36:3 (1993) 46–101.

    Article  Google Scholar 

  16. Siegle, G.; Geisler, J.; Laubenstein, F.; Nagel, H.-H., Struck, G: Autonomous Driving on a Road Network. Proc. Intelligent Vehicles Symposium IVS ‘92, 29 June – 1 July 1992, Detroit/MI, pp. 403–408.

    Google Scholar 

  17. Womack, J.P.; Jones, D.T., Roos, D.: The Machine That Changed The World. Rawson Assoc., Macmillan Publ. Co., New York, 1990.

    Google Scholar 

Literatur zu Abschnitt II.2.2

  1. Bidian, P.; Tatar, M.; Cascio, F.; Theseider-Dupré, D.; Sachenbacher, M.; Weber, R.; Carlén, C.: Powertrain Diagnostics: A Model-Based Approach, Proceedings of ERA Technology Vehicle Electronic Systems Conference ‘99, Coventry, UK, 1999.

    Google Scholar 

  2. Brignolo, R.; Cascio, F.; Console, L.; Dague, P.; Dubois, P.; Dressler, O.; Millet, D.; Rehfus, B.; Struss, P.: Integration of Design and Diagnosis Into a Common Process. In: Electronic Systems for Vehicles, pages 53–73. VDI Verlag, Duesseldorf, 2001.

    Google Scholar 

  3. Hotz, L.; Guckenbiehl, T.; Struss, P.: Intelligente Diagnose in der industriellen Anwendung. Shaker Verlag, Aachen, 2000.

    Google Scholar 

  4. Keller, K.: Health Management Technology Integration. In: Biswas, G. et al. (eds.), DX‘07, 18th International Workshop on Principles of Diagnosis. Nashville, USA, 2007.

    Google Scholar 

  5. Picardi, C.; Console, L.; Berger, F.; Breeman, J.; Kanakis, T.; Moelands, J.; Collas, S.; Arbaretier, E.; Domenico, N. De; Girardelli, E.; Dressler, O.; Struss, P.; Zilbermann, B.: AUTAS: A tool for supporting FMECA generation in aeronautic systems. In: Proceedings of the 16th European Conference on Artificial Intelligence August 22nd – 27th 2004 Valencia, Spain.

    Google Scholar 

  6. Poll, S.; Patterson-Hine, A.; Camisa, J.; Garcia, D.; Hall, D.; Lee, C.; Mengshoel, O.; Neukom, C.; Nishikawa, D.; Ossenfort, J.; Sweet, A.; Yentus, S.: Advanced Diagnostics and Prognostics Testbed. In: Biswas, G. et al. (eds.), DX‘07, 18th International Workshop on Principles of Diagnosis. Nashville, USA, 2007.

    Google Scholar 

  7. Sachenbacher, M.; Struss, P.; Weber, R.: Advances in Design and Implementation of OBD Functions for Diesel Injection Systems based on a Qualitative Approach to Diagnosis, SAE 2000 World Congress, Detroit, USA, 2000.

    Google Scholar 

  8. Struss, P.: A model-based methodology for the integration of diagnosis and fault analysis during the entire life cycle. In: Hong-Yue Zhang (ed.). Fault Detection, Supervision and Safety of Technical Processes (Safeprocess 2006), Elsevier, 2006.

    Google Scholar 

  9. Struss, P.: Model-based Problem Solving. In: Porter, B.; Lifschitz, V.; and van Harmelen, F. (eds.). Handbook of Knowledge Representation. Elsevier, 2007.

    Google Scholar 

Literatur zu Abschnitt II.2.3

  1. Gärtel, U.; Joppich, W.; Schüller, A.; Trottenberg, U.: Das europäische Wettermodell IFS auf parallelen Rechnern. In Meuer, H.-W. (ed.) Supercomputer 1994, K G Saur Verlag, München, 1994.

    Google Scholar 

  2. Giloi, W.K.: SUPRENUM: A Trendsetter in Modern Supercomputer Development, Parallel Computing 7, 1988.

    Google Scholar 

  3. Hey, T.; McBryan, O.: SUPRENUM and GENESIS, Parallel Computing 20, Special Issues 10–11, 1994.

    Google Scholar 

  4. McBryan, O.: A comparison of the INTEL iPSC/860 and the SUPRENUM-1 parallel computers, CS Dept. Technical Report, University of Colorado, Boulder, 1990.

    Google Scholar 

  5. Mierendorf, H.; Trottenberg, U. (eds.): Leistungsmessungen für technisch-wissenschaftliche Anwendungen auf dem SUPRENUM-System. Arbeitspapiere der GMD, Nr. 264, 1992.

    Google Scholar 

  6. Mierendorf, H.; Trottenberg, U. (eds.): Ergänzende Leistungsmessungen für technisch-wissenschaftliche Anwendungen auf dem SUPRENUM-System. Arbeitspapiere der GMD, Nr. 269, 1992.

    Google Scholar 

  7. Thole, C.-A.; Trottenberg, U.: A Short Note on Standard Parallel Multigrid Algorithms for 3D Problems, Applied Mathematics and Computation 27, 101–115, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  8. Trottenberg, U.: On the SUPRENUM Conception, Parallel Computing 7, 1988.

    Google Scholar 

  9. Trottenberg, U. (ed.): Situation und Erfordernisse des wissenschaftlichen Höchstleistungsrechnens in Deutschland, Initiative High Performance Scientific Computing (HPSC) – Positionspapiere der Arbeitsgruppen, 240 Seiten, GMD-Studie, GMD 1992.

    Google Scholar 

  10. Trottenberg, U. (ed.): Situation und Erfordernisse des wissenschaftlichen Höchstleistungsrechnens in Deutschland, Memorandum zur Initiative High Performance Scientific Computing (HPSC), Informatik Spektrum 15, 218–220, 1992.

    Google Scholar 

  11. Trottenberg, U.; Oosterlee, C.W.; Schüller, A.: Multigrid Methods, Academic Press, 2001.

    Google Scholar 

  12. Trottenberg, U.; Solchenbach, K.: Parallele Algorithmen und ihre Abbildung auf parallele Rechnerarchitekturen, informationstechnik it 30/2, 71–82, R. Oldenbourg Verlag, 1988.

    MATH  Google Scholar 

Literatur zu Abschnitt II.2.4

  1. Ahrendt, W.; Beckert, B.; Hähnle, R.; Menzel, W.; Reif, W.; Schellhorn, G.; Schmitt, P.H.: 1998, Integrating Automated and Interactive Theorem Proving. In: Bibel, W. and Schmitt, P.H. (eds.) Automated Deduction – A Basis for Applications, vol. II, Kluwer, pp. 97–116.

    Google Scholar 

  2. Antoniou, G. und Sperschneider, V.: 1984, Incompleteness of Hoare’s Calculus over Simple Datastructures. Int. Ber. 3/84, Fakultät Informatik, Univ. Karlsruhe.

    Google Scholar 

  3. Beckert, B.; Hähnle, R.; Schmitt, P.H.: 2007, Verification of Object-Oriented Software – The KeY-Approach. Springer-Verlag.

    Google Scholar 

  4. Bergstra, J.A. and Klop, J.W.: 1984, Proving Program Inclusion Using Hoare’s Logic. Theoretical Computer Science 30, North Holland, pp. 1–48.

    Article  MATH  MathSciNet  Google Scholar 

  5. Broy, M. and Jähnichen, St. (eds.): 1991, KORSO: Methods, Languages, and Tools, LNCS 1009, Springer-Verlag.

    Google Scholar 

  6. Burstall, R.M.: 1974, Program Proving as Hand Simulation with a Little Induction. Information Processing 74, North Holland.

    Google Scholar 

  7. Dershowitz, N.: 1983, The Evolution of Programs. Birkhäuser, Boston.

    MATH  Google Scholar 

  8. Dijstra, E.W.: 1988, Lecture held on 8/4/1988, Intern. Summer School „Constructive Methods in Computer Science“, Marktoberdorf.

    Google Scholar 

  9. Fuchß, Th.; Reif, W.; Schellhorn, G.; Stenzel, K.: 1991, Three Selected Case Studies in Verification. In [5], pp. 371–387.

    Google Scholar 

  10. Fuchß, Th.: 1998, Eine temporale Logik der Prozesse. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  11. Goldblatt, R.: 1982, Axiomatising the Logic of Computer Programming. LNCS 130, Springer-Verlag.

    Google Scholar 

  12. Gordon, M.; Milner, R.; Wadsworth, C.: 1979, Edinburgh LCF, LNCS 78, Springer-Verlag.

    Google Scholar 

  13. Gries, D.: 1981, The Science of Programming. Springer-Verlag.

    Google Scholar 

  14. Habermalz, E.: 2000, Ein dynamisches automatisierbares interaktives Kalkül für schematische theoriespezifische Regeln. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  15. Hähnle, R.: Programmverifikation durch symbolische Ausführung und Induktion. Diplomarbeit, Fakultät für Informatik, Karlsruhe, 1988.

    Google Scholar 

  16. Heisel, M.; Menzel, W.; Reif, W.; Stephan, W.: 1990, Der Karlsruhe Interactive Verifier (KIV) – Eine Übersicht. In: H. Kersten (Hrsg.), Sichere Software – Formale Spezifikation und Verifikation vertrauenswürdiger Systeme, Hüthig Verlag, Heidelberg, pp. 172–193.

    Google Scholar 

  17. Heisel, M.; Reif, W.; Stephan, W.: 1990, Tactical Theorem Proving in Program Verification. In: Stickel, M. (ed.),10th Int. Conf. on Automated Deduction, Proc., LNCS 449, Springer-Verlag, pp. 117–131.

    Google Scholar 

  18. Heisel, M.: 1991, Formale Programmentwicklung mit Dynamischer Logik. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  19. Heisel, M.; Reif, W.; Stephan, W.: 1991, Formal Software Development in the KIV System. In: Lowry, M. and Mc Cartney, R. (eds.), Automating Software Design, AAAI Press, pp. 547–574.

    Google Scholar 

  20. Hoare, C.A.R.: 1969, An Axiomatic Basis for Computer Programming. In: Comm. ACM 12, pp. 576–580, 583.

    Article  MATH  Google Scholar 

  21. Preiß, R.: 1998, Beweisvisualisierung und -analyse mit Hypergraphen. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  22. Reif, W.: 1991, Korrektheit von Spezifikationen und generischen Moduln. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  23. Reif, W.: 1992, Verification of Large Software Systems. In: Shyamusandar, R. (ed.) Conf. on Foundations of Software Technology and Theoretical Computer Science, New Delhi, LNCS 652, Springer-Verlag, pp. 241–252.

    Google Scholar 

  24. Reif, W. and Stenzel, K.: 1993, Reuse of Proofs in Software Verification. In: Shyamasundar, R. (ed.) Conf. on Foundations of Software Technology and Theoretical Computer Science, Bombay, Proc., LNCS 761, Springer-Verlag, pp. 284–291.

    Google Scholar 

  25. Schellhorn, G.: 1988, Verifikation von Programminklusion mit Hilfe der Hoare-Logik. Diplomarbeit, Fakultät Informatik, Universität Karlsruhe (TH).

    Google Scholar 

  26. Schellhorn, G. and Ahrendt, W.: 1998, The WAM Case Study – Verifying Compiler Correctness with KIV. In: Bibel, W. and Schmitt, P.H. (eds.) Automated Deduction – A Basis for Applications, vol. III, Kluwer, pp. 165–194.

    Google Scholar 

  27. Schönegge, A.: 1998, Spezifizierbarkeit berechenbarer Datentypen. Dissertation, Universität Karlsruhe (TH).

    Google Scholar 

  28. Smith, D.R.: 1985, Top-down synthesis of divide-and-conquer algorithms. In: Artificial Intelligence 27, pp. 43–96.

    Article  MATH  MathSciNet  Google Scholar 

  29. Stephan, W.: 1989, Axiomatisierung rekursiver Prozeduren in der Dynamischen Logik. Habilitationsschrift, Fakultät Informatik, Universität Karlsruhe (TH).

    Google Scholar 

  30. Ullmann, M.; Hauff, H.; Loevenich, D.; Baur, P.; Göhner, P.; Kejwal, P.; Förster, R.; Drexler, R.; Reif, W.; Stephan, W.; Wolpers, A.; Hutter, D.; Sengler, C.; Cleve, J.; Canver, E.: 1993, VSE Verification Support Environment, BSI Verlag, Bonn.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Algorithmen und Kognitive Systeme, Fakultät für Informatik, Universität Karlsruhe (TH), Karlsruhe, Deutschland

    Hans-Hellmut Nagel

  2. Technische Universität München, München, Deutschland

    Peter Struss

  3. Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen (SCAI), Sankt Augustin, Deutschland

    Ulrich Trottenberg

  4. Fakultät für Informatik, Universität Karlsruhe (TH), Karlsruhe, Deutschland

    Wolfram Menzel

  5. Universität Bochum, Bochum, Deutschland

    Werner von Seelen

Authors
  1. Hans-Hellmut Nagel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Struss
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ulrich Trottenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wolfram Menzel
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Werner von Seelen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Am Kirchberg 29, 53604, Bad Honnef, Deutschland

    Bernd Reuse

  2. Fakultät für Informatik, Universität Karlsruhe, Am Fasanengarten 5, 76128, Karlsruhe, Deutschland

    Roland Vollmar

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Nagel, HH., Struss, P., Trottenberg, U., Menzel, W., von Seelen, W. (2008). Die 80er Jahre. In: Reuse, B., Vollmar, R. (eds) Informatikforschung in Deutschland. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76550-9_6

Download citation

Publish with us

Policies and ethics

Search

Navigation