@inproceedings{25632,
  author       = {{Klobedanz, Kay and Jatzkowski, Jan and Rettberg, Achim and Müller, Wolfgang}},
  booktitle    = {{International Embedded Systems Symposium (IESS) 2013}},
  publisher    = {{Springer}},
  title        = {{{Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks}}},
  year         = {{2013}},
}

@article{25740,
  author       = {{He, Da and Müller, Wolfgang}},
  journal      = {{Microprocessors and Microsystems - Embedded Hardware Design 37(6-7)}},
  pages        = {{845--857}},
  title        = {{{ A heuristic energy-aware approach for hard real-time systems on multi-core platforms}}},
  year         = {{2013}},
}

@inbook{25743,
  author       = {{Anacker, Harald and Dellnitz, Michael and Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Horenkamp, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Korf, Sebastian and Krüger, Martin and Müller, Wolfgang and Ober-Blöbaum, Sina and Oberthür, Simon and Porrmann, Mario and Priesterjahn, Claudia and Radkowski, W. and Rasche, Christoph and Rieke, Jan and Ringkamp, Maik and Stahl, Katharina and Steenken, Dominik and Stöcklein, Jörg and Timmermann, Robert and Trächtler, Ansgar and Witting, Katrin and Xie, Tao and Ziegert, Steffen}},
  booktitle    = {{Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future}},
  pages        = {{187--356}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Methods for the Design and Development}}},
  year         = {{2013}},
}

@inproceedings{36919,
  abstract     = {{Faced with increasing demands on energy efficiency, current electronic systems operate according to complex power management schemes including more and more fine-grained voltage frequency scaling and power shutdown scenarios. Consequently, validation of the power design intent should begin as early as possible at electronic system-level (ESL) together with first executable system specifications for integrity tests. However, today's system-level design methodologies usually focus on the abstraction of digital logic and time, so that typical low-power aspects cannot be considered so far. In this paper, we present a high-level modeling approach on top of the SystemC/TLM standard to simulate power distribution and voltage based implications in a "loosely-timed" functional execution context. The approach reuses legacy TLM models and prevents the need for detailed lock-step process synchronization in contrast to existing methods. A case study derived from an open source low-power design demonstrates the efficiency of our approach in terms of simulation performance and testability.}},
  author       = {{Mischkalla, Fabian and Müller, Wolfgang}},
  keywords     = {{Time-varying systems, Time-domain analysis, Synchronization, Context modeling, Clocks, Semantics, Standards}},
  publisher    = {{IEEE}},
  title        = {{{Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models: A Non-Invasive Approach}}},
  doi          = {{10.1109/PATMOS.2013.6662171}},
  year         = {{2013}},
}

@inproceedings{36920,
  abstract     = {{In the electronic system development, energy consumption is clearly becoming one of the most important design concerns. From the system level point of view, Dynamic Power Management (DPM) and Dynamic Voltage and Frequency Scaling (DVFS) are two mostly applied techniques to adjust the tradeoff between the performance and power dissipation at runtime. In this paper, we study the problem of combined application of both techniques with regard to hard real-time systems running on cluster-based multi-core processors. To optimize the processor energy consumption, a heuristic based on simulated annealing with efficient termination criterion is proposed. The experiment results show that the proposed algorithm outperforms the existing approaches in terms of the energy reduction. }},
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the International Conference on Applied Computing (AC)}},
  editor       = {{Weghorn, Hans}},
  isbn         = {{978-989-8533-20-3 }},
  keywords     = {{Dynamic Power Management, Dynamic Voltage and Frequency Scaling, Hard Real-Time, Multi-core Processor}},
  title        = {{{An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors}}},
  year         = {{2013}},
}

@inproceedings{25744,
  author       = {{Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}},
  booktitle    = {{ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}},
  location     = {{ Bangalore, 14. - 16. Dez. 2012, IEEE}},
  publisher    = {{IEEE}},
  title        = {{{Automated Source Code Annotation for Timing Analysis of Embedded Software}}},
  year         = {{2012}},
}

@inproceedings{25758,
  author       = {{Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}},
  booktitle    = {{EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }},
  title        = {{{XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}}},
  year         = {{2012}},
}

@inproceedings{25761,
  author       = {{Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}},
  booktitle    = {{CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}},
  title        = {{{The System Verification Methodology for Advanced TLM Verification}}},
  year         = {{2012}},
}

@inproceedings{25767,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{15th Euromicro Conference on Digital System Design (DSD)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}}},
  year         = {{2012}},
}

@inproceedings{26022,
  author       = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}},
  booktitle    = {{ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}},
  title        = {{{Binary Mutation Testing Through Dynamic Translation}}},
  year         = {{2012}},
}

@inproceedings{26023,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}}},
  year         = {{2012}},
}

@inproceedings{26024,
  author       = {{Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and Brazdrum, Helmut and Janssen, Peter and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Drechsler, Rolf and Koch, Gernot and Burger, Andreas and Bringmann, Oliver and Rosenstiel, Wolfgang and Görgen, Ralph}},
  booktitle    = {{edaWorkshop 12}},
  title        = {{{Compilation of Methodologies to Speed up the Verification Process at System Level}}},
  year         = {{2012}},
}

@inproceedings{26031,
  author       = {{He, Da and Müller, Wolfgang}},
  booktitle    = {{2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}},
  publisher    = {{IEEE Xplore}},
  title        = {{{Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}}},
  year         = {{2012}},
}

@inproceedings{26036,
  author       = {{Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}},
  booktitle    = {{Proceeding of Design and Verification Conference (DVCON)}},
  title        = {{{A SystemC Library for Advanced TLM Verification}}},
  year         = {{2012}},
}

@inproceedings{26079,
  author       = {{Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}},
  booktitle    = {{Design, Automation and Test in Europe (DATE 2012)}},
  title        = {{{MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}}},
  year         = {{2012}},
}

@inproceedings{26080,
  author       = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}},
  booktitle    = {{Design, Automation and Test in Europe DATE}},
  title        = {{{XEMU: A QEMU Based Binary Mutation Testing Framework}}},
  year         = {{2012}},
}

@inproceedings{26092,
  author       = {{Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}},
  booktitle    = {{In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}},
  title        = {{{Virtual Prototyping of Cyber-Physical Systems}}},
  year         = {{2012}},
}

@inbook{26695,
  abstract     = {{The Unified Modeling Language (UML) is now widely accepted by the software community. More recently, UML has attracted attention as a unification language for systems description combining both hardware and software components. First, it has been recognized that electronic systems design can no longer be seen as an isolated hardware design activity. In addition, recent advances in tools supporting high level hardware synthesis from electronic system level languages, which are predominantly based on C/C++, open new perspectives for automatic code generation from UML models and opportunities to enhance the link between a high level specification and a concrete hardware/software implementation. Finally, UML has become a general purpose language which can be customized for specific purposes, such as the modelization of electronic systems. This chapter presents recent advances of the UML language applied to System-on-Chip (SoC) and hardware-related embedded systems design. In particular, several examples of specific UML customizations (UML profiles) relevant for SoC design are summarized. Various approaches associating UML with existing hardware/software design languages are presented. The question of tool support and association with well-known simulation environments, such as MATLAB/Simulink, is addressed as well. A concrete example of a UML profile for hardware/software co-modeling and code generation for hardware/software co-simulation is presented in more details for illustration purposes.}},
  author       = {{Vanderperren, Yves and Müller, Wolfgang and He, Da and Mischkalla, Fabian and Dahaene, Wim}},
  booktitle    = {{Design Technology for Heterogeneous Embedded Systems}},
  editor       = {{Nicolescu, Gabriela and O'Connor, Ian and Piguet, Christian}},
  isbn         = {{978-94-007-1125-9}},
  pages        = {{13--39}},
  publisher    = {{Springer Verlag}},
  title        = {{{Extending UML for Electronic Systems Design: A Code Generation Perspective}}},
  year         = {{2012}},
}

@article{26038,
  abstract     = {{We present an enhanced UVM for SystemC library which incorporates verification best practices from OVM-ML and UVM as well as project partner implementations. Moreover, we extended functionality and implemented missing features, such as domain specific components, stimuli sequence generation and management, call-back facilities, response to request routing, transaction recording and many more. Apart from that, we added crucial verification components, such as functional coverage.}},
  author       = {{Kuznik, Christoph and Oliveira, Marcio F. and Müller, Wolfgang}},
  journal      = {{Design, Automation and Test in Europe DATE}},
  location     = {{ University Booth, Dresden , Mrz. 2012}},
  title        = {{{SYSTEMC UVM VERIFICATION COMPONENTS}}},
  year         = {{2012}},
}

@book{53593,
  editor       = {{Müller, Wolfgang and Ecker, Wolfgang}},
  title        = {{{Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs }}},
  year         = {{2012}},
}