mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(2478)
2023
(7185)
2022
(8621)
2021
(8879)
2020
(8163)
2019
(8859)
2018
(8689)
2017
(8680)
2016
(8816)
2015
(8209)
2014
(7123)
2013
(6741)
2012
(5770)
2011
(5557)
Fakultäten
(5243)
Architektur
(128)
Bau Geo Umwelt
(875)
Chemie
(33)
Elektrotechnik und Informationstechnik
(1099)
Fachgebiet Bioanaloge Informationsverarbeitung (Prof. Hemmert)
(2)
Fachgebiet Elektrische Energieversorgungsnetze (Prof. Witzmann)
(18)
Fachgebiet Energiewandlungstechnik (Prof. Herzog)
(19)
Fachgebiet Höchstfrequenztechnik (Prof. Biebl)
(12)
Fachgebiet Hybride elektronische Systeme (Prof. Kreupl)
(41)
Fachgebiet Informationstechnische Regelung (Prof. Hirche)
(28)
Fachgebiet Leitungsgebundene Übertragungstechnik (Prof. Hanik)
(14)
Fachgebiet Methoden der Signalverarbeitung (Prof. Utschick)
(16)
Fachgebiet Mikrostrukturierte mechatronische Systeme (Prof. Schwesinger)
(9)
Fachgebiet Verteilte Messsysteme
Juniorprofessur Dynamische Mensch-Roboter-Interaktion (Prof. Lee)
(7)
Juniorprofessur Geometrische Optimierung und maschinelles Lernen (Prof. Kleinsteuber)
(6)
Juniorprofessur Neurowissenschaftliche Systemtheorie (Prof. Conradt)
Junior-Professur Verteilte Multimodale Informationsverarbeitung (Prof. Kranz)
(12)
Lehrstuhl für Datenverarbeitung (Prof. Diepold)
(13)
Lehrstuhl für Elektrische Antriebssysteme (Prof. Kennel)
(104)
Lehrstuhl für Elektrische Energiespeichertechnik (Prof. Jossen)
(1)
Lehrstuhl für Energiewirtschaft und Anwendungstechnik (Prof. Hamacher komm.)
(31)
Lehrstuhl für Entwurfsautomatisierung (Prof. Schlichtmann)
(23)
Lehrstuhl für Halbleitertechnologie (Prof. Amann)
(53)
Lehrstuhl für Hochfrequenzsysteme der Fernerkundung (Prof. Detlefsen)
(3)
Lehrstuhl für Hochfrequenztechnik (Prof. Eibert)
(65)
Lehrstuhl für Hochspannungs- und Anlagentechnik (Prof. Kindersberger)
(7)
Lehrstuhl für Integrierte Systeme (Prof. Herkersdorf)
(17)
Lehrstuhl für Kognitive Systeme (Prof. Cheng)
(8)
Lehrstuhl für Kommunikationsnetze (Prof. Eberspächer)
(46)
Lehrstuhl für Kommunikation und Navigation (Prof. Günther)
(12)
Lehrstuhl für Medientechnik ((Prof. Steinbach))
(34)
Lehrstuhl für Mensch - Maschine - Kommunikation (Prof. Rigoll)
(97)
Lehrstuhl für Messsystem- und Sensortechnik (Prof. Koch)
(42)
Lehrstuhl für Nachrichtentechnik (Prof. Kramer)
(37)
Lehrstuhl für Nanoelektronik (Prof. Lugli)
(80)
Lehrstuhl für Netzwerktheorie und Signalverarbeitung (Prof. Nossek)
(32)
Lehrstuhl für Realzeit-Computersysteme (Prof. Chakraborty)
(42)
Lehrstuhl für Sicherheit in d. Informationstechnik (Prof. Sigl)
(6)
Lehrstuhl für Steuerungs- und Regelungstechnik (Prof. Buss)
(66)
Lehrstuhl für Technische Elektronik (Prof. Schmitt-Landsiedel)
(34)
Lehrstuhl für Technische Elektrophysik (Prof. Wachutka)
(13)
Lehrstuhl für Theoretische Informationstechnik (Prof. Boche)
(57)
Informatik
(365)
Maschinenwesen
(693)
Mathematik
(118)
Medizin
(538)
Physik
(140)
Sport- und Gesundheitswissenschaften
(46)
TUM School of Education
(105)
Wirtschaftswissenschaften
(290)
Wissenschaftszentrum Weihenstephan
(814)
Integrated Research Centers
(84)
Zentrale Einrichtungen
(230)
2010
(5415)
2009
(4589)
2008
(4098)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Elektrotechnik und Informationstechnik
Lehrstuhl für Realzeit-Computersysteme (Prof. Chakraborty)
Back
Back to start of result list
Permanent link for displayed object
Author(s):
Broy, M.; Chakraborty, S.; Ramesh, S.; Satpathy, M.; Resmerita, S.; Pree, W.
Title:
Cross-layer analysis, testing and verification of automotive control software
Keywords:
CAN bus; FlexRay; Simulink model; Stateflow model; automotive architecture; automotive control software cross-layer analysis; automotive control software testing; automotive control software verification; code optimization; electronic control unit; mapping decision; message control; model-based code generation; multilayered design flow; scheduling policy; transient-state behaviour; peripheral interfaces; program compilers; program testing; program verification; traffic control
Book / Congress title:
Embedded Software (EMSOFT), Proceedings of the International Conference on
Year:
2011
Month:
oct.
Pages:
263 -272
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Hochschulbibliographie
2011
Fakultäten
Elektrotechnik und Informationstechnik
Lehrstuhl für Realzeit-Computersysteme (Prof. Chakraborty)
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Realzeit-Computersysteme (Prof. komm.)
2011
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Realzeit-Computersysteme (Prof. komm.)
2010