Auflistung nach Autor:in "Kroeger, Reinhold"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragQoS-based testing and selection of semantic services(ARCS 2012 Workshops, 2012) Schaefer, Jan; Kroeger, Reinhold; Meixler, Simone; Brinkschulte, UweThe importance of context-awareness is constantly increasing. Users want systems to react dynamically to their current context (e.g. their location). For emerging home service platforms, this represents a key element, as it allows systems to increase the users' comfort tremendously by acting on sensed and deducted situations. As such systems feature a lot of dynamic interaction between services, it has to be ensured that service selections and bindings simply work. This paper proposes an approach for QoS-based testing and selection of semantic services, which employs a service tester that uses genetic algorithms to check and monitor QoS properties. These properties are used to complete the semantic descriptions of services running on the platform, which are managed by a semantic service registry.
- TextdokumentUnified Approach to Static and Runtime Verification(INFORMATIK 2020, 2021) Thoss, Olga; Werner, Andreas; Kaiser, Robert; Kroeger, ReinholdSmart living environments are increasingly based on embedded information and communication technology. Generally, users are no technical experts and rely on the correct functioning of the system. Formal verification of a system's functional and non-functional properties is often regarded as the ultimate way to achieve the highest levels of trust as demanded for today's dependable systems. However, static verification, though sound in theory, is often impractical given the ever-increasing complexity of software and the non-deterministic nature of some mechanisms of the underlying hardware architecture. We argue that by supplementing static verification with runtime verification, a high level of trust can be achieved. In this paper, we report on an ongoing effort for tool-supported verification of functional and non-functional properties by combining static and runtime verification techniques.