@article{25116, author = {{Becker, Markus and Kuznik, Christoph}}, journal = {{Forum on Specification & Design Languages (FDL 2014)}}, title = {{{Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation}}}, year = {{2014}}, } @inproceedings{25119, abstract = {{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. }}, author = {{Stern, Claudius and Kleinjohann, Lisa}}, booktitle = {{Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014}}, location = {{Kitakyushu, Japan, 26. - 29. Sep. 2014}}, pages = {{209--215}}, publisher = {{ Institute of Industrial Applications Engineers}}, title = {{{Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces}}}, year = {{2014}}, } @inproceedings{25122, author = {{Grösbrink, Stefan and Almeida, Luis}}, booktitle = {{19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}}, title = {{{A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors}}}, year = {{2014}}, } @inproceedings{25145, author = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{17th Euromicro Conference on Digital Systems Design (DSD)}}, title = {{{Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}}}, year = {{2014}}, } @inproceedings{25147, author = {{Jatzkowski, Jan and Kleinjohann, Bernd}}, booktitle = {{2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt)}}, title = {{{Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}}}, year = {{2014}}, } @inproceedings{25148, author = {{Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}}, booktitle = {{Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}}, pages = {{374--383}}, publisher = {{IEEE Xplore}}, title = {{{Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}}}, year = {{2014}}, } @inproceedings{25149, author = {{Rammig, Franz-Josef and Stahl, Katharina}}, booktitle = {{Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on}}, pages = {{334--341}}, title = {{{Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems}}}, year = {{2014}}, } @inproceedings{25150, author = {{Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 10th World Congress on Services (SERVICES)}}, pages = {{346--353}}, publisher = {{IEEE}}, title = {{{Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}}}, year = {{2014}}, } @inproceedings{25152, author = {{Grösbrink, Stefan}}, booktitle = {{8th IEEE International Conference on Software Security and Reliability}}, title = {{{Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems}}}, year = {{2014}}, } @inproceedings{25153, author = {{Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}}, booktitle = {{Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}}, pages = {{49--57}}, title = {{{Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}}}, year = {{2014}}, } @article{25154, author = {{Brink, Christopher and Jatzkowski, Jan}}, journal = {{SafeTRANS News (1)}}, pages = {{12--13}}, title = {{{EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community}}}, year = {{2014}}, } @inproceedings{25155, author = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}}, booktitle = {{ACM/IEEE 5th International Conference on Cyber-Physical Systems}}, title = {{{Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}}}, year = {{2014}}, } @inproceedings{25156, author = {{Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}}, booktitle = {{Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}}, title = {{{Security and Privacy Challenges in On-The-Fly Computing}}}, year = {{2014}}, } @inproceedings{25159, author = {{Grösbrink, Stefan}}, booktitle = {{GI Design For Future Workshop}}, title = {{{Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}}}, year = {{2014}}, } @inproceedings{25160, author = {{Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}}, booktitle = {{20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}}, title = {{{Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}}}, year = {{2014}}, } @inproceedings{25161, author = {{Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}}, booktitle = {{17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }}, title = {{{Portierung der TriCore-Architektur auf QEMU}}}, year = {{2014}}, } @inproceedings{25165, author = {{Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas}}, booktitle = {{Embedded World Conference}}, title = {{{Hypervisor-based Consolidation for Automated Teller Machines}}}, year = {{2014}}, } @inproceedings{25167, author = {{Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}}, booktitle = {{ Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}}, publisher = {{ INSTICC PRESS}}, title = {{{Evaluation of Color Spaces for Robust Image Segmentation}}}, year = {{2014}}, } @book{25168, author = {{Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Sextro, Walter}}, publisher = {{Springer-Verlag}}, title = {{{Dependability of Self-Optimizing Mechatronic Systems}}}, year = {{2014}}, } @inbook{25170, author = {{Grösbrink, Stefan and Korf, Sebastian and Porrmann, Mario and Priesterjahn, Claudia and Stahl, Katharina}}, booktitle = {{Design Methodology for Intelligent Technical Systems}}, pages = {{19--22}}, publisher = {{Springer-Verlag}}, title = {{{Self-optimization by Reconfiguration}}}, year = {{2014}}, }