• Publications
  • Influence
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
This paper shows how problems related to the lack of support for dynamic reconfigurations of hierarchical architectures can be addressed and presents an advanced component system SOFA 2.0 as a proof of the concept.
DEECO: an ensemble-based component system
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.
A Component Model for Control-Intensive Distributed Embedded Systems
A two-layer component model is proposed for design and development of embedded systems with the aim of using component-based development for decreasing the complexity in design and providing a ground for analyzing them and predicting their properties, such as resource consumption and timing behavior.
Patterns for Self-Adaptation in Cyber-Physical Systems
Self-adaptation in CPS, and consequently also in Cyber-Physical Production Systems (CPPS) as a member of the CPS family, is particularly challenging due to the specific characteristics of these systems, including the seamless integration of computational and physical components.
Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool
This paper presents a novel approach where the system model consists only of the essential input and output parameters, and provides an extensible tool for endorsing an arbitrary system with self-adaptation based on analysis of operational data coming from the system.
Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS
This paper reports on the results of the First International Workshop on Software Engineering of Smart Cyber-Physical Systems (SEsCPS 2015), where participants discussed characteristics, challenges and opportunities of SE for smart CPS, with the aim to outline an agenda for future research in this important area.
Towards Dependable Emergent Ensembles of Components: The DEECo Component Model
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.
SOFA 2 Component Framework and Its Ecosystem
This tutorial shows the SOFA 2 component framework and its ecosystem including tools for architecture modeling, component implementation, deployment, execution, and runtime monitoring and demonstrates development workflow stressing the advanced features of the used component model.
Requirement Specifications Using Natural Languages
We discuss the part of the requirement specification process which is located between the textual requirements definition and the semi-formal diagrams of the requirements specifications. It concerns