@book{25741,
  editor       = {{Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro C. and Rammig, Franz-Josef}},
  publisher    = {{Springer}},
  title        = {{{Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013}}},
  year         = {{2013}},
}

@inproceedings{25742,
  author       = {{Khaluf, Lial and Rammig, Franz-Josef}},
  booktitle    = {{The Ninth International Conference on Autonomic and Autonomous Systems}},
  title        = {{{Organic Programming of Real-Time Operating Systems}}},
  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{27054,
  author       = {{Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }},
  title        = {{{11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}}},
  volume       = {{311}},
  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{25749,
  author       = {{Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}},
  booktitle    = {{Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}},
  title        = {{{Real-Time Android: Deterministic Ease of Use}}},
  year         = {{2012}},
}

@inproceedings{25752,
  author       = {{Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}},
  booktitle    = {{In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}}},
  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{25776,
  author       = {{Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}},
  booktitle    = {{ IEEE 10th International Conference on Industrial Informatics,}},
  publisher    = {{IEEE Xplore}},
  title        = {{{ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}}},
  year         = {{2012}},
}

@inproceedings{25777,
  abstract     = {{This paper presents a hierarchical hyprid planning approach developed for realizing self-optimizing mechatronic systems. The hybrid planning approach is based on a discrete plan and a forecast of continuous system behavior generated by simulation during runtime. This does not only allow an online adaptation of a previously generated plan with regard to the actual system state as well as the current environmental conditions, even the planning objectives may be adapted to newly arising needs during system operation. The planner exploits the hierarchy already present in the system model by considering hierarchical parameterizations of the system as a discrete dimension of choice. The parameterizations are proposed by a novel hierarchical multiobjective optimization, which calculates Pareto points in a bottom up fashion, taking into account the constraints imposed by lower levels of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid planner in the context of an innovative railbound transport system show that it outperforms its non-hierarchical predecessor.
}},
  author       = {{Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}},
  booktitle    = {{7th IEEE Conference in Industrial Electronics and Applications}},
  location     = {{Singapore, 18. - 20. Jul. 2012 IEEE, IEEE}},
  publisher    = {{IEEE}},
  title        = {{{Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}}},
  year         = {{2012}},
}

@inproceedings{25781,
  author       = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}},
  location     = {{16. - 19. Jul. 2012; Las Vegas, Nevada, USA}},
  title        = {{{Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}}},
  year         = {{2012}},
}

@inproceedings{25783,
  author       = {{Grösbrink, Stefan}},
  booktitle    = {{Symposium on System-integrated Intelligence}},
  location     = {{27. - 29. Jun. 2012}},
  title        = {{{A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}}},
  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}},
}

@inbook{26025,
  author       = {{Montealegre, Norma and Hagenkötter, Sebastian}},
  booktitle    = {{Journal of Intelligent Manufacturing 23(3)}},
  pages        = {{699--715}},
  publisher    = {{Published online on June 2010}},
  title        = {{{Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}}},
  year         = {{2012}},
}