• Publications
  • Influence
DEECO: an ensemble-based component system
TLDR
The recent increase in the ubiquity and connectivity of computing devices allows forming large-scale distributed systems that respond to and influence activities in their environment via dynamic component ensembles controlling data exchange. Expand
  • 95
  • 8
  • PDF
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing
TLDR
We explore the idea of an autonomic cloud in the form of a platform-as-a-service computing infrastructure which, contrary to the usual practice, 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. Expand
  • 44
  • 3
  • PDF
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
TLDR
In the domain of dynamically evolving distributed systems composed of autonomous and (self-) adaptive components, the task of systematically managing the design complexity of their communication and composition is a pressing issue. Expand
  • 25
  • 2
  • PDF
The Autonomic Cloud
TLDR
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 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. Expand
  • 18
  • 1
The Invariant Refinement Method
TLDR
The chapter describes IRM, a method that guides the design of smart-cyber physical systems that are built according to the autonomic service-component paradigm. Expand
  • 11
  • 1
  • PDF
Gossiping Components for Cyber-Physical Systems
TLDR
This paper proposes a synergy between high-level architectural models and low-level communication models to effectively enable application-specific gossiping in component-based systems. Expand
  • 13
  • 1
  • PDF
DEECo: an ecosystem for cyber-physical systems
TLDR
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 with the physical world, such as intelligent transportation systems and crowdsourcing applications. Expand
  • 9
  • 1
  • PDF
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. Expand
  • 4
  • 1
  • PDF
Software Engineering for Software-Intensive Cyber-Physical Systems
TLDR
In software-intensive cyber-physical systems (siCPS) the interplay of software control with the physical environment has a prominent role. Expand
  • 4
  • 1
  • PDF
Engineering autonomous systems
TLDR
We present a 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. Expand
  • 4
  • 1