Author Archives: IliasGerostathopoulos

Employing Domain Knowledge for Optimizing Component Communication

Abstract The emerging area of (smart) Cyber Physical Systems (sCPS) triggers demand for new methods of design, development, and deployment of architecturally dynamic distributed systems. Current approaches (e.g. Component-Based Software Engineering and Agent-Based Development) become insufficient since they fail in … Continue reading

Posted in Conferences | Comments Off on Employing Domain Knowledge for Optimizing Component Communication

The Invariant Refinement Method

Abstract 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. IRM is a requirements-oriented design method that focuses on distributed collaboration. It relies on the invariant … Continue reading

Posted in Books/Chapters | Comments Off on The Invariant Refinement Method

Formalization of Invariant Patterns for the Invariant Refinement Method

Abstract Refining high-level system invariants into lower-level software obligations has been successfully employed in the design of ensemble-based systems. In order to obtain guarantees of design correctness, it is necessary to formalize the invariants in a form amenable to mathematical … Continue reading

Posted in Journal, Publications | Comments Off on Formalization of Invariant Patterns for the Invariant Refinement Method

Model-Driven Design of Ensemble-Based Component Systems

Abstract In this research abstract we describe our approach towards the design of ensemble-based component systems. Our motivation lies in the fact that, in these systems, tracing the behavior of individual constituents to system-level goals and requirements is challenging. Our approach is … Continue reading

Posted in Conferences | Comments Off on Model-Driven Design of Ensemble-Based Component Systems

Gossiping Components for Cyber-Physical Systems

Abstract Developing software for dynamic cyber-physical systems (CPS) is a complex task. One has to deal with the dynamicity and unreliability of the phys-ical environment where the software resides in, while, at the same time, provide sufficient levels of dependability … Continue reading

Posted in Conferences | Comments Off on Gossiping Components for Cyber-Physical Systems

DEECo: an Ecosystem for Cyber-Physical Systems

Abstract 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 with the physical world, such as intelligent transportation systems and crowdsourcing applications. Due to their specific constraints, … Continue reading

Posted in Conferences | Comments Off on DEECo: an Ecosystem for Cyber-Physical Systems

Software Engineering for Software-Intensive Cyber-Physical Systems

Abstract In software-intensive cyber-physical systems (siCPS) the interplay of software control with the physical environment has a prominent role. Nowadays, siCPS are expected to (i) effectively deal with the issues of distribution, scalability, and environment dynamicity, (ii) control their emergent … Continue reading

Posted in Workshops | Comments Off on Software Engineering for Software-Intensive Cyber-Physical Systems

DEECo: Software Engineering for Smart CPS

Abstract The functionality of smart complex networked Cyber-Physical Systems (CPS) is increasingly reliant on software. Software dominates to such an extent that smart CPS can be classified as software-intensive systems – systems in which software is by far the most … Continue reading

Posted in Books/Chapters | Comments Off on DEECo: Software Engineering for Smart CPS

A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase

Abstract Component ensembles are a promising way of building self-aware autonomic adaptive systems. This approach has been promoted by the EU project ASCENS, which develops the core idea of ensembles by providing rigorous semantics as well as models and methods … Continue reading

Posted in Workshops | Comments Off on A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase

DEECo – an Ensemble-Based Component System

Abstract 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. Engineering of such systems is very complex because of their inherent dynamicity, open-endedness, and … Continue reading

Posted in Conferences | Comments Off on DEECo – an Ensemble-Based Component System