• Publications
  • Influence
DEECO: an ensemble-based component system
TLDR
A new class of component systems (Ensemble-Based Component Systems - EBCS) which bind autonomic components with cyclic execution via dynamic component ensembles controlling data exchange is proposed.
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing
TLDR
This paper explores the idea of an autonomic cloud in the form of a platform-as-a-service computing infrastructure which does not consist of a well-maintained set of reliable high-performance computers, but instead is formed by a loose collection of voluntarily provided heterogeneous nodes which are connected in a peer-to-peer manner.
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
TLDR
The DEECo component model is introduced, where such bindings, as well as the associated communication, are managed in an automated way, enabling transparent handling of the dynamic changes in the system.
The Autonomic Cloud
The cloud case study within ASCENS explores the vision of an autonomic cloud, which is a cloud providing a platform-as-a-service computing infrastructure which, contrary to the usual practice, does
Gossiping Components for Cyber-Physical Systems
TLDR
It is argued, that exploitation of application-specific information, software architecture in particular, has a large potential for improving the robustness and performance of gossip-based communication.
DEECo: an ecosystem for cyber-physical systems
In this work we tackle the problem of designing and developing software-intensive cyber-physical systems (CPS), which are large distributed systems of collaborating elements that closely interact
Supporting Performance Awareness in Autonomous Ensembles
TLDR
This chapter provides an overview of five project contributions – performance monitoring based on the DiSL instrumentation framework, measurement evaluation using the SPL formalism, performance modeling with fluid semantics, adaptation with DEECo and design with IRM-SA – all in the context of the cloud case study.
Software Engineering for Software-Intensive Cyber-Physical Systems
TLDR
It is argued that this can be addressed by a synergy and adaptation of existing models and abstractions, and a proposal towards such a synergy is shown, and its implications are discussed.
Engineering autonomous systems
TLDR
The dynamism and autonomous nature of the system elements is modeled by the novel communication/distribution principle that is knowledge- and predicate-based, allowing for late (at run-time) evaluation of communication and connection rules among the system Elements.
Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations
TLDR
IRM-SA (Invariant Refinement Method for Self-Adaptation)-a design method and associated formally grounded model targeting siCPS that addresses self-adaptivity and supports dependability by providing traceability between system requirements, distinct situations in the environment, and predefined configurations of system architecture.
...
1
2
3
...