Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme (German)
- New search for: Becker, Markus
- New search for: Zabel, Henning
- New search for: Müller, Wolfgang
- New search for: Kiffmeier, Ulrich
- New search for: Becker, Markus
- New search for: Zabel, Henning
- New search for: Müller, Wolfgang
- New search for: Kiffmeier, Ulrich
In:
GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 12
;
167-176
;
2009
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
-
Additional title:Integration of abstract RTOS simulation in the design of embedded automotive electronic systems
-
Contributors:Becker, Markus ( author ) / Zabel, Henning ( author ) / Müller, Wolfgang ( author ) / Kiffmeier, Ulrich ( author )
-
Published in:Berichte aus der Informatik ; 167-176
-
Publisher:
- New search for: Shaker
-
Place of publication:Aachen
-
Publication date:2009
-
Size:10 Seiten, 9 Bilder, 11 Quellen
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:German
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 7
-
QMiraXT - A multithreaded QBF solverLewis, Matthew / Schubert, Tobias / Becker, Bernd et al. | 2009
- 17
-
Quantitative Qualitätsaussagen über Testbenches mittels formaler EigenschaftenOberkönig, Martin / Schickel, Martin / Eveking, Hans et al. | 2009
- 27
-
Proofs of unsatisfiability for mixed boolean and non-linear arithmetic constraint formulaeKupferschmid, Stefan / Teige, Tino / Becker, Berd / Fränzle, Martin et al. | 2009
- 37
-
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler SchaltungsdesignsSchönherr, Jens et al. | 2009
- 47
-
Increasing the accuracy of SAT-based debuggingSülflow, Andre / Frey, Görschwin / Braunstein, Cecile / Kühne, Ulrich / Drechsler, Rolf et al. | 2009
- 57
-
A re-use methodology for SoC protocol compliance verificationNguyen, Minh D. / Thalmaier, Max / Wedler, Markus / Stoffel, Dominik / Kunz, Wolfgang et al. | 2009
- 67
-
Equivalence checking of reversible circuitsWille, Robert / Große, Daniel / Miller, D. Michael / Drechsler, Rolf et al. | 2009
- 77
-
Using implications for optimizing state set representations of linear hybrid systemsPigorsch, Florian / Scholl, Christoph et al. | 2009
- 87
-
Symbolic CTL model checking for incomplete designs by selecting property-specific subsets of local component assumptionsMiller, Christian / Nopper, Tobias / Scholl, Christoph et al. | 2009
- 97
-
Using IP cores in synchronous languagesBrandt, Jens / Scneider, Klaus / Willenbücher, Adrian et al. | 2009
- 107
-
Reduzierung der Kommunikation in TTA-Verbindungsnetzen mittels LaufzeitanalyseMoser, Nico / Hauser, Stefan / Gremzow, Carsten et al. | 2009
- 117
-
An application-optimized network on chip platformGremzow, Carsten / Lüdtke, Daniel / Tutsch, Dietmar et al. | 2009
- 127
-
Architektur für das echtzeitfähige Debugging ausführbarer Modelle auf rekonfigurierbarer HardwareSchwalb, Tobias / Graf, Philipp / Müller-Glaser, D. et al. | 2009
- 137
-
HDL-Synthese und Simulation von Hochgeschwindigkeits-Digitalschaltungen mit gemischten CMOS- und ECL-BibliothekenWinkler, F. / Kell, G. / Schrape, O. / Gustat, H. / Jagdhold, U. et al. | 2009
- 147
-
Power modeling of an embedded RISC core for function-accurate energy profilingHübert, Heiko / Stabernack, Benno et al. | 2009
- 157
-
Testfallgenerierung für SystemC-Designs mit abstrakten ModellbeschreibungenGladigau, Jens / Haubelt, Christian / Streubühr, Martin / Schneider, Axel / Knäblein, Joachim / Lindig, Michael / Teich, Jürgen et al. | 2009
- 167
-
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-SystemeBecker, Markus / Zabel, Henning / Müller, Wolfgang / Kiffmeier, Ulrich et al. | 2009
- 177
-
Modellierung dynamisch partieller Rekonfiguration mit VPRSProß, Uwe / Adam, Christian / Berger, Benjamin / Heinkel, Ulrich et al. | 2009
- 187
-
High-level architecture modelling assisting the processor platform development, debugging and simulationZabel, Martin / Preußer, Thomas B. / Spallek, Rainer G. et al. | 2009
- 197
-
Modellierung und Verifikation von Steuerungen in der AutomatisierungstechnikHaufe, Jürgen / Donath, Ulrich / Fordan, Eva / Klotz, Thomas / Straube, Bernd et al. | 2009
- 207
-
Modellierung und Simulation von Networks-on-Chip mit OSCITLM2Kohler, Adan / Radetzki, Martin et al. | 2009
- 217
-
New methods for system-level verification using SystemC-AMS extensions: Application to an automotive ECURafaila, Monica / Decker, Christian et al. | 2009
- 227
-
Erstellung und Verifizierung eines VHDL-AMS-Modells für einen kapazitiven Delta-Sigma-ModulatorSlawinski, Sven / Zacharias, Lutz / Dorn, Robert / Hauer, Johann et al. | 2009