TY - CONF AB - Automatically composing service-based software solutions is a challenging task. Considering context information during this service composition process is even more challenging. In domains such as image processing, however, context-sensitivity is inherent and cannot be ignored when developing techniques for automatic service composition. Formal approaches tend to create ambiguous solutions, whenever the expressive power of the applied formalism is limited. For example, services may have the same formal specification, although their actual functionality depends on the concrete context. In order to satisfy individual user requests while providing data-dependent functionality, formal approaches have to be extended. We propose to incorporate Reinforcement Learning techniques and combine them with planning based composition approaches. While planning ensures formally correct solutions, learning enables the composition process to resolve ambiguity by implicitly considering context information. Preliminary results show that our combined approach adapts to a static context while still satisfying formally specified requirements. AU - Jungmann, Alexander AU - Kleinjohann, Bernd ID - 25112 T2 - Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom) TI - Towards Context-Sensitive Service Composition for Service-Oriented Image Processing ER - TY - JOUR AB - One goal of service-oriented computing is to realize future markets of composed services. In such markets, service providers offer services that can be flexibly combined with each other. However, although crucial for decision-making, market participants are usually not able to individually estimate the quality of traded services in advance. To overcome this problem, we present a conceptual design for a reputation system that collects and processes user feedback on transactions, and provides this information as a signal for quality to participants in the market. Based on our proposed concept, we describe the incorporation of reputation information into distinct decisionmaking processes that are crucial in such service markets. In this context, we present a fuzzy service matching approach that takes reputation information into account. Furthermore, we introduce an adaptive service composition approach, and investigate the impact of exchanging immediate user feedback by reputation information. Last but not least, we describe the importance of reputation information for economic decisions of different market participants. The overall output of this paper is a comprehensive view on managing and exploiting reputation information in markets of composed services using the example of On-The-Fly Computing. AU - Jungmann, Alexander AU - Brangewitz, Sonja AU - Petrlic, Ronald AU - Platenius, Marie Christin ID - 25114 JF - International Journal on Advances in Intelligent Systems 7(3&4) TI - Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services ER - TY - CONF AB - Automatically composing service-based software solutions is still a challenging task. Functional as well as nonfunctional properties have to be considered in order to satisfy individual user requests. Regarding non-functional properties, the composition process can be modeled as optimization problem and solved accordingly. Functional properties, in turn, can be described by means of a formal specification language. Statespace based planning approaches can then be applied to solve the underlying composition problem. However, depending on the expressiveness of the applied formalism and the completeness of the functional descriptions, formally equivalent services may still differ with respect to their implemented functionality. As a consequence, the most appropriate solution for a desired functionality can hardly be determined without considering additional information. In this paper, we demonstrate how to overcome this lack of information by means of Reinforcement Learning. In order to resolve ambiguity, we expand state-space based service composition by a recommendation mechanism that supports decision-making beyond formal specifications. The recommendation mechanism adjusts its recommendation strategy based on feedback from previous composition runs. Image processing serves as case study. Experimental results show the benefit of our proposed solution. AU - Jungmann, Alexander AU - Mohr, Felix AU - Kleinjohann, Bernd ID - 25115 T2 - Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) TI - Applying Reinforcement Learning for Resolving Ambiguity in Service Composition ER - TY - JOUR AU - Becker, Markus AU - Kuznik, Christoph ID - 25116 JF - Forum on Specification & Design Languages (FDL 2014) TI - Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation ER - TY - THES AU - Hagenkötter, Sebastian ID - 25118 SN - 978-3-942647-55-7 TI - Adaptive prozessintegrierte Qualitätsüberwachung von Ultraschalldrahtbondprozessen VL - 336 ER - TY - CONF AB - In case of a disaster it is of utmost importance to obtain an overview of the affected area in order to coordinate rescue operations. Recent research and development has led to affordable unmanned aerial vehicles (UAVs) and enabled (semi-)autonomous surveillance and mapping of a disaster areas by UAVs. Mapping an area from many images incorporates image registration. Commonly used registration techniques expect static images to be registered. However, while mapping a disaster area, it is very likely that objects like vehicles or persons are moving on the ground, thus leading to dynamic scenes. We formerly introduced a fast and robust approach to register large amounts of successively arriving images, e.g., from UAVs. The approach only uses rigid-body transformations, but the usage of virtual forces enables the registration to tolerate small perspective distortions. This paper investigates the performance of our approach when applied to dynamic scenes, which are represented by nonlinear disturbances within image correspondences. We show that our approach not only tolerates small perspective distortions but also is able to register dynamic scenes. AU - Stern, Claudius AU - Kleinjohann, Lisa ID - 25119 T2 - Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014 TI - Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces ER - TY - CONF AU - Grösbrink, Stefan AU - Almeida, Luis ID - 25122 T2 - 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) TI - A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors ER - TY - CONF AU - Becker, Markus AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 25145 T2 - 17th Euromicro Conference on Digital Systems Design (DSD) TI - Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software ER - TY - CONF AU - Jatzkowski, Jan AU - Kleinjohann, Bernd ID - 25147 T2 - 2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt) TI - Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems ER - TY - CONF AU - Sudhakar, Krishna AU - Zhao, Yuhong AU - Rammig, Franz-Josef ID - 25148 T2 - Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) TI - Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System ER - TY - CONF AU - Rammig, Franz-Josef AU - Stahl, Katharina ID - 25149 T2 - Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on TI - Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems ER - TY - CONF AU - Jungmann, Alexander AU - Mohr, Felix AU - Kleinjohann, Bernd ID - 25150 T2 - Proceedings of the 10th World Congress on Services (SERVICES) TI - Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services ER - TY - CONF AU - Grösbrink, Stefan ID - 25152 T2 - 8th IEEE International Conference on Software Security and Reliability TI - Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems ER - TY - CONF AU - Jungmann, Alexander AU - Brangewitz, Sonja AU - Petrlic, Ronald AU - Platenius, Marie Christin ID - 25153 T2 - Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) TI - Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services ER - TY - JOUR AU - Brink, Christopher AU - Jatzkowski, Jan ID - 25154 JF - SafeTRANS News (1) TI - EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community ER - TY - CONF AU - Becker, Markus AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 25155 T2 - ACM/IEEE 5th International Conference on Cyber-Physical Systems TI - Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems ER - TY - CONF AU - Petrlic, Ronald AU - Jungmann, Alexander AU - Platenius, Marie Christin AU - Schäfer, Wilhelm AU - Sorge, Christoph ID - 25156 T2 - Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) TI - Security and Privacy Challenges in On-The-Fly Computing ER - TY - CONF AU - Grösbrink, Stefan ID - 25159 T2 - GI Design For Future Workshop TI - Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization ER - TY - CONF AU - Grösbrink, Stefan AU - Almeida, Luis AU - de Sousa, Mario AU - Petters, Stefan M. ID - 25160 T2 - 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) TI - Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization ER - TY - CONF AU - Koppelmann, Bastian AU - Becker, Markus AU - Müller, Wolfgang ID - 25161 T2 - 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) TI - Portierung der TriCore-Architektur auf QEMU ER -