Search
Now showing items 1-10 of 11
Dissertation
Formal Verification for ALICA Plans
(2021)
Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...
Technischer Report
Model-driven Development of Microservice Architecture: An Experiment on the Quality in Use of a UML- and a DSL-based Approach
(2020-04-15)
Microservice Architecture denotes a software architectural style for service-based software systems whereby business capabilities are encapsulated in autonomously developable and deployable services. To foster a more efficient development it is considered feasible to apply the means of Model-driven Development in order to handle the complexity of such a distributed system and avoid the manual creation of boilerplate code using code generation. In this paper, we present and evaluate two modeling approaches for ...
Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams
(2020-11)
Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel ...
Dissertation
Analyzing Given Names
(2020)
Computer science has evolved so much that it influences almost every part of human live. A particularly personal part of human live is the selection of a given name for a newborn baby. The name discovery service Nameling is our way to help expectant parents with this decision. It is a web service that helps parents to find a given name for their newborn baby. We want to further improve the user experience of Nameling by personalizing its name results for the current user. We deem this important, because the selection ...
Dissertation
Load Balancing, Fault Tolerance, and Resource Elasticity for Asynchronous Many-Task Systems
(2021-12-21)
High-Performance Computing (HPC) ermöglicht die Lösung komplexer Probleme aus verschiedenen wissenschaftlichen Bereichen, einschließlich gesellschaftlicher Probleme wie z.B. COVID-19. In letzter Zeit gibt es neben traditionellen Simulationen immer mehr irreguläre Anwendungen, welche die Vorhersagbarkeit der Berechnungen einschränken. Die Anwendungen werden auf HPC-Maschinen ausgeführt, die aus immer mehr Hardwarekomponenten bestehen und von mehreren Benutzern gleichzeitig verwendet werden. Um eine effiziente und ...
Dissertation
Einfache Methoden und Techniken zur Entwicklung von Serious Games
(2021-12)
Im Rahmen dieser Arbeit wurde ein einfacher Workflow entwickelt, mit dem eine reale Umgebung aufgenommen werden kann mit dem Ziel diese mit virtuellen Objekten und Tangibles anzureichern. Dazu werden zunächst Aufnahmeverfahren gesucht, mit denen sich ein begrenzter realer Ort auf eine Weise analysieren lässt, dass dieser später realistisch, also deutlich wiedererkennbar, darstellen lässt. Dieses Modell der Realität wird nun mit virtuellen, also nicht tatsächlich existenten Objekten angereichert. Diese Objekte sind ...
Preprint
An Overview of Modeling Concepts for Service-Based Software Architectures
(2020)
This document provides an overview of modeling concepts for service-based software architectures (SBSAs). The concepts were extracted during a survey of conceptual frameworks for architecture modeling of SBSAs.
Dissertation
A Self-Organising Multi-Agent Knowledge Base
(2021-12)
Digitale Städte sind zunehmend auf IT- und Kommunikationsinfrastruktur angewiesen. Sie können als große verteilte Systeme betrachtet werden, die aus heterogenen und autonomen Teilnehmern bestehen. Besonders in Notfall- und Krisensituationen muss kritisches Wissen, beispielsweise über verletzte Personen oder beschädigte Infrastruktur, zuverlässig auch unter eingeschränkter Kommunikation erreichbar sein. In einer solchen Umgebung würde eine zentrale Verwaltung des kritischen Wissens einen Engpass verursachen. Daher ...
Dissertation
Towards Service Co-evolution in the Internet of Things
(2021-12)
Nowadays, in the world of technology, where the new technologies are devolved and replace the old ones every single day, any software product in order to maintain its competitiveness, must be updated continually. Updating a software product results from an evolution process, including adding new features, replacing outdated features, repairing bugs, closing security gaps, and improving performance, which requires a lot of effort and knowledge. Therefore, the Internet of Things (IoT) services are no exception.
An ...
Dissertation
On the requirements and advantages of cooperative collision avoidance systems for vulnerable road users
(2021-10)
Jedes Jahr sterben etwa 350.000 ungeschützte Verkehrsteilnehmer (engl. vulnerable road users (VRUs)), wie Fußgänger und Fahrradfahrer, durch Kollisionen mit Fahrzeugen. Ein Ansatz zur Verringerung dieser Zahl von Todesopfern ist der Einsatz von Kollisionsvermeidungssystemen für VRUs in Fahrzeugen. Diese fahrzeugbasierten VRU-Kollisionsvermeidungssysteme verwenden in den Fahrzeugen installierte Sensoren. Fahrzeugbasierte Kollisionsvermeidungssysteme sind bereits hilfreich, um Kollisionen zu vermeiden, funktionieren ...