Publications and responsibilities
Safety Certification of Mixed-Criticality Systems
Algorithms and Tools
Towards and Beyond TOSCA Orchestrations
GSN Support of Mixed-Criticality Systems Certification
Safety-critical applications could benefit from the standardisation, cost reduction and cross-domain suitability of current heterogeneous computing platforms. They are of particular interest for Mixed-Criticality Product Lines (MCPL) where safety- and non-safety functions can be deployed on a single...
How to support customisation on SaaS: a grounded theory from customisation consultants
This paper reports the initial result of a qualitative research on how to support customisation of SaaS (Software as a Service). The research follows the grounded theory method, and investigates the expectation of consultants who are specialized in customising enterprise software systems. The result...
Towards Meta-adaptation of Dynamic Adaptive Systems with Models@Runtime
A models@runtime environment keeps a model in synchrony with a running system, this way a reasoning engine adapts the system by modifying this model. Existing models@runtime environments typically fail to let the user control what concepts form the model nor how the model is synchronised with the ru...
Building Product-lines of Mixed-Criticality Systems
Abstract—Mixed-Criticality Systems (MCS) reconcile safetycritical requirements with multi-core architectures, by offering spatial and temporal isolation while preserving other extrafunctional properties such as optimised energy consumption or minimised latencies. MCS designers struggle to manually b...
Toward Robust Product Realisation in Software Product Lines
Product derivation is a building process of products from selected features in software product lines (SPLs). Realisation paves the way for automatic product derivation. A realisation defines a mapping between abstract features in a feature tree and their implementation artefacts in a model, and the...
Diversity: A Heuristic to Improve Robustness of Self-Adaptive Cloud Architectures
In complex biological systems, the hypothesis that bio-diversity contributes to stability or robustness is an active debate. The FP7 DIVERSIFY project tests whether this hypothesis holds for software systems, and explores the use of diversity as a heuristic to increase robustness in self-adaptive ar...