Automotive Software-Connected Services in Mobile Networks
Springer Berlin (Verlag)
978-3-540-37677-4 (ISBN)
Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform.- On the Fault Hypothesis for a Safety-Critical Real-Time System.- A Compositional Framework for Real-Time Guarantees.- Validation of Component and Service Federations in Automotive Software Applications.- Towards a Component Architecture for Hard Real Time Control Applications.- Adding Value to Automotive Models.- Automotive Software: A Challenge and Opportunity for Model-Based Software Development.- Software for Automotive Systems: Model-Integrated Computing.- Simulink Integration of Giotto/TDL.
Erscheint lt. Verlag | 27.9.2006 |
---|---|
Reihe/Serie | Information Systems and Applications, incl. Internet/Web, and HCI | Lecture Notes in Computer Science |
Zusatzinfo | XIV, 156 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 570 g |
Themenwelt | Informatik ► Software Entwicklung ► Mobile- / App-Entwicklung |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Schlagworte | Ad-Hoc Networking • Architecture • automotive hardware • automotive software • CASE • control flow analysis • Distributed Systems • Electronic Control Unit • error containment • error detection • fault hypothesis • fault tolerance • Intelligent interfaces • Mobile Networking • platform • privacy • Quality of Service • real-ti • real-time • Real-Time Systems • Reliability • Safety • saftey-critical systems • security • sensor networks • state repair |
ISBN-10 | 3-540-37677-1 / 3540376771 |
ISBN-13 | 978-3-540-37677-4 / 9783540376774 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich