@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}}, } @inproceedings{26181, abstract = {{The paradigm shift from purchasing monolithic software solutions to a dynamic composition of individual solutions entails many new possibilities yet great challenges, too. In order to satisfy user requirements, complex services have to be automatically composed of elementary services. Multiple possibilities of composing a complex service inevitably emerge. The problem of selecting the most appropriate services has to be solved by comparing the different service candidates with respect to their quality in terms of inherent non-functional properties while simultaneously taking the user requirements into account.We are aiming for an integrated service rating and ranking methodology in order to support the automation of the underlying decision-making process. The main contribution of this paper is a first decomposition of the quality-based service selection process, while emphasizing major issues and challenges, which we are addressing in the On-The-Fly Computing project.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}}, pages = {{43--47}}, publisher = {{Xpert Publishing Services}}, title = {{{Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}}}, year = {{2012}}, } @inproceedings{26190, abstract = {{A major goal of the On-The-Fly Computing project is the automated composition of individual services based on services that are available in dynamic markets. Dependent on the granularity of a market, different alternatives that satisfy the requested functional requirements may emerge. In order to select the best solution, services are usually selected with respect to their quality in terms of inherent non-functional properties. In this paper, we describe our idea of how to model this service selection process as a Markov Decision Process, which we in turn intend to solve by means of Reinforcement Learning techniques in order to control the underlying service composition process. In addition, some initial issues with respect to our approach are addressed.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}}, publisher = {{IEEE}}, title = {{{Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}}}, year = {{2012}}, } @inproceedings{26212, author = {{Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}}, booktitle = {{The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}}, title = {{{Master Election for Time Synchronization in Swarm Robotic Systems}}}, year = {{2012}}, } @inproceedings{26264, author = {{Mathews, Emi and Mathew, Ciby}}, booktitle = {{Third International Conference on Networks & Communications, LNICST}}, publisher = {{Springer}}, title = {{{Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}}}, 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}}, } @inproceedings{36922, abstract = {{In this paper we present an approach for the self reconfiguration of distributed micro-controllers for increased fault tolerance. Based on a modified distributed system topology utilizing a time division multiple access (TDMA) protocol, i.e., Flex Ray, we present a self-organized distributed coordinator concept which performs the self-reconfiguration in the case of node failures. We introduce a distributed coordinator, which utilizes redundant slots in the Flex Ray communication schedule and combines messages in configured protocol frames and slots to avoid a complete bus restart. As such, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments determined in the design phase. To retrieve the necessary information, we present an analytical approach, which determines a combined solution for the initial configuration and all possible reconfigurations for the remaining nodes of the Flex Ray network in case of node failures. Hence, through this method we can design self-reconfiguring network-based systems enabling the handling of node failures for an increased fault tolerance.}}, author = {{Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim}}, keywords = {{Real time systems, Fault tolerant systems, Schedules, Protocols, Redundancy, Delay}}, publisher = {{IEEE}}, title = {{{An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems}}}, doi = {{10.1109/ISORCW.2012.41}}, year = {{2012}}, } @inproceedings{36921, author = {{Oliveira, M. F. and Kuznik, Christoph and Müller, Wolfgang and Esen, V. and Ecker, W.}}, booktitle = {{Proceedings of the Design & Verification Conference (DVCon)}}, title = {{{Towards an Enhanced UVM for SystemC}}}, year = {{2012}}, } @inproceedings{36994, abstract = {{This paper proposes a quality driven, simulation based approach to functional design verification, which applies mainly to IP-level HDL designs with well specified test instruction format and is evaluated on a soft microprocessor core MB-LITE [5]. The approach utilizes mutation analysis as the quality metric to steer an automated simulation data generation process. It leads to a simulation flow with two phases towards an enhanced mutation analysis result. First in a random simulation phase, an in-loop heuristics is deployed and adjusts dynamically the test probability distribution so as to improve the coverage efficiency. Next, for each remaining hard-to-kill mutant, a search heuristics on test input space is developed to iteratively locate a target test, using a specific objective cost function for the goal of killing HDL mutant. The effectiveness of this integrated two-phase simulation flow is demonstrated by the results with the MB-LITE microprocessor IP.}}, author = {{Xie, Tao and Müller, Wolfgang and Letombe, Florian}}, booktitle = {{Proceedings of SOCC2012}}, keywords = {{Analytical models, Hardware design languages, Microprocessors, Cost function, Data models, Search problems, IP networks}}, publisher = {{IEEE}}, title = {{{Mutation-Analysis Driven Functional Verification of a Soft Microprocessor}}}, doi = {{10.1109/SOCC.2012.6398362}}, year = {{2012}}, } @inproceedings{36997, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the MeCoES’12}}, title = {{{An IP-XACT-TO-SystemC Model Generator for Mutation Analysis}}}, year = {{2012}}, } @inproceedings{26276, author = {{Hosseinimehr, Masoud and Montealegre, Norma}}, booktitle = {{The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011)}}, location = {{ 14. - 16. Dez. 2011, ACTA Press, Calgary, Canada}}, publisher = {{ACTA Press}}, title = {{{Implementation of a Singular Value Decomposition Module on an FPGA}}}, year = {{2011}}, } @inproceedings{26279, abstract = {{In this paper an approach for automatic feature classification based on their motion in the image plane is introduced. By combining concepts of the human perception of motion with techniques belonging to the area of cluster analysis, we subsequently abstract the visual data in order to separate features, whose motion is caused by the sensor motion from features, which possibly belong to dynamic objects in the environment. The presented algorithm exclusively works on data, that can be extracted from the two dimensional image plane. Hence, no external data like the current motion of the applied camera is required. Furthermore, the algorithm works on any type of tracked feature, as long as it can be statistically represented. The results of the presented approach constitute a very good starting point for additional object detection mechanisms.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA)}}, location = {{Wellington, New Zealand, 6. - 8. Dez. 2011, IEEE}}, publisher = {{IEEE}}, title = {{{Automatic Feature Classification for Object Detection based on Motion Analysis}}}, year = {{2011}}, } @inproceedings{26281, abstract = {{This paper introduces a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. The envisioned application is the creation of an overview map of a disaster area from images made by unmanned aerial vehicles (UAVs) equipped with cameras. The camera systems only have uncertain information about flight attitude. With traditional methods, the relatively small perspective errors per image sum up over time resulting in perspective errors which prevent building a consistent map from successively arriving images. By using virtual forces between images, the image parameters are continuously adapted to the current map. The small projective errors of quasi orthographic images are distributed among overlapping images. Having UAVs which deliver quasi orthographic images, our approach can build a contemporary overview without the need to have all images in advance.}}, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}}, location = {{Wellington, New Zealand, Dez. 2011}}, title = {{{Towards Using Virtual Forces for Image Registration}}}, year = {{2011}}, } @inproceedings{26660, abstract = {{During rescue scenarios it is indispensable to obtain an overview of the situation. Unmanned aerial vehicles (UAVs) can gather the necessary information in a fast and efficient way. This paper presents an approach for path planning in 3D environments offering a solution to explore disaster areas including, e.g., partially or completely destroyed buildings. Using multiple UAVs decreases the time needed to receive a complete overview if the problem of coordination and task allocation is solved. We present an approach for the use of multiple UAVs. The UAVs work in a distributed manner without any central coordination instance and cover the exploration of terrains as well as goal-oriented path planning. When using multiple UAVs redundant exploration is avoided through the use of inter-UAV-communication. The approach is based on potential fields and uses the simplicity of the gradient method to calculate paths for fast exploration of the terrain. }}, author = {{Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{The 5th International Conference on Automation, Robotics and Applications (ICARA 2011)}}, title = {{{A Distributed Multi-UAV Path Planning Approach for 3D Environments}}}, year = {{2011}}, } @inproceedings{26663, author = {{Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}}, booktitle = {{Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems}}, publisher = {{Lecture Notes of ICST}}, title = {{{A Bio-inspired Coverage and Connectivity Maintenance Algorithm}}}, year = {{2011}}, } @inproceedings{26667, author = {{Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)}}, title = {{{Aspect enhanced functional coverage driven verification in the SystemC HDVL}}}, year = {{2011}}, } @inproceedings{26669, author = {{Xie, Tao and Müller, Wolfgang}}, booktitle = {{Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)}}, title = {{{IP-XACT based System Level Mutation Testing}}}, year = {{2011}}, } @article{26670, author = {{Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}}, journal = {{International Journal of Computer Systems Science & Engineering 26 (6)}}, title = {{{Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}}}, year = {{2011}}, }