@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{26032, abstract = {{Getting a contemporary aerial overview of a disaster area is a foremost task in search and rescue operations. We previously have introduced a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. This paper provides two new methods, which improve our method for image registration based on virtual forces. The goal is to improve the performance of creating a contemporary overview map of a disaster area assembling several images taken by unmanned aerial vehicles (UAVs) equipped with cameras. In this paper, two new methods are introduced: a method for rotation estimation and a method for scale estimation. Both methods use fast heuristic approximation approaches and statistical methods to provide high robustness. We discuss the methods in detail and compare them to our previous approach regarding robustness and calculation speed. We can show that the new methods significantly increase the performance of the image registration process.}}, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}}, publisher = {{IEEE Xplore}}, title = {{{Efficient Alignment of Aerial Images Based on Virtual Forces}}}, year = {{2012}}, } @inproceedings{26034, abstract = {{In this paper, a color based feature extraction and classification approach for image processing in embedded systems in presented. The algorithms and data structures developed for this approach pay particular attention to reduce memory consumption and computation power of the entire image processing, since embedded systems usually impose strong restrictions regarding those resources. The feature extraction is realized in terms of an image segmentation algorithm. The criteria of homogeneity for merging pixels and regions is provided by the color classification mechanism, which incorporates appropriate methods for defining, representing and accessing subspaces in the working color space. By doing so, pixels and regions with color values that belong to the same color class can be merged. Furthermore, pixels with redundant color values that do not belong to any pre-defined color class can be completely discarded in order to minimize computational effort. Subsequently, the extracted regions are converted to a more convenient feature representation in terms of statistical moments up to and including second order. For evaluation, the whole image processing approach is applied to a mobile representative of embedded systems within the scope of a simple real-world scenario.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}}, booktitle = {{Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}}, publisher = {{Xpert Publishing Services}}, title = {{{Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}}}, year = {{2012}}, } @inproceedings{26035, author = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}}, booktitle = {{Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}}, title = {{{Dynamic Resource Management for Virtualized Mixed-Criticality 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}}, } @article{26037, author = {{Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}}, journal = {{Innovations in Systems and Software Engineering 8}}, pages = {{19--33}}, title = {{{A model-driven engineering framework for embedded systems design}}}, year = {{2012}}, } @article{26046, author = {{Stefszky, Michael and Mow-Lowry, C M and Chua, S S Y and Shaddock, D A and Buchler, B C and Vahlbruch, H and Khalaidovski, A and Schnabel, R and Lam, P K and McClelland, D E}}, issn = {{0264-9381}}, journal = {{Classical and Quantum Gravity}}, title = {{{Balanced homodyne detection of optical quantum states at audio-band frequencies and below}}}, doi = {{10.1088/0264-9381/29/14/145015}}, 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}}, } @inbook{2608, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{49--72}}, title = {{{Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains}}}, 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{26081, author = {{Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}}, booktitle = {{Proceedings of Embedded World Conference}}, title = {{{Real-Time Android: Deterministic Ease of use}}}, year = {{2012}}, } @inproceedings{26086, abstract = {{In this paper, an image segmentation approach for object detection on the miniature robot BeBot - a deeply embedded system - is presented. In order to enable the robot to detect and identify objects in its environment by means of its camera, an efficient image segmentation approach was developed. The fundamental algorithm bases on the region growing and region merging concept and identifies homogeneous regions consisting of adjacent pixels with similar color. By internally representing a contiguous block of pixels in terms of run-lengths, the computational effort of both the region growing and the region merging operation is minimized. Finally, for subsequent object detection processes, a region is efficiently translated into a statistically feature representation based on discretized moments. }}, author = {{Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}}, pages = {{441--444}}, publisher = {{ INSTICC PRESS}}, title = {{{Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}}}, year = {{2012}}, } @inproceedings{26089, author = {{Bin Tariq, Fahad}}, booktitle = {{Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}}, title = {{{Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}}}, year = {{2012}}, } @inbook{2609, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{105--132}}, title = {{{Analyse des Bullwhip-Effekts in einer Supply Chain von KMU}}}, year = {{2012}}, } @inproceedings{26090, author = {{Mathews, Emi and Frey, Hannes}}, booktitle = {{13th International Conference On Distributed Computing And Networking (ICDCN)}}, publisher = {{Springer}}, title = {{{A Localized Link Removal and Addition based Planarization Algorithm}}}, year = {{2012}}, } @article{26091, author = {{Mathews, Emi and Mathew, Ciby}}, journal = {{International Journal of Computer Networks and Communications 4(1)}}, pages = {{175--192}}, title = {{{Deployment of mobile routers ensuring coverage and connectivity}}}, 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{26093, author = {{Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}}, booktitle = {{Self-Organization in Embedded Real-Time Systems}}, editor = {{Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}}, pages = {{75--92}}, publisher = {{Springer}}, title = {{{Swarm Robotic Time Synchronization for Object Tracking}}}, year = {{2012}}, } @inbook{26094, author = {{Rammig, Franz-Josef}}, booktitle = {{Schemata und Praktiken}}, editor = {{Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}}, pages = {{141--160}}, publisher = {{Wilhelm Fink Verlag}}, title = {{{Biologically Inspired Information Technology: Towards a Cyber Biosphere}}}, year = {{2012}}, } @inbook{26102, author = {{Bin Tariq, Fahad and Korrapati, Sandeep}}, booktitle = {{Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}}, pages = {{263--276}}, publisher = {{ IGI Global}}, title = {{{Adaptive Web Services for Modular and Reusable Software Development}}}, year = {{2012}}, }