To main content

Franck Chauvel

Research Scientist

Franck Chauvel

Research Scientist

Franck Chauvel
Phone: +47 479 07 838
Mobile: +47 479 07 838
Department: Software and Service Innovation
Office: Oslo

publications and responsibilities

Publications

Publication

Building Product-lines of Mixed-Criticality Systems

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1396466

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...

Authors Barner Simon Diewald Alexander Eizaguirre Fernando Vasilevskiy Anatoly Chauvel Franck
Year 2016
Type Conference paper/Book chapter
Publication

Toward Robust Product Realisation in Software Product Lines

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1395770

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...

Year 2016
Type Conference paper/Book chapter
Publication

The BVR Tool Bundle to Support Product Line Engineering

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1249838

The Base Variability Resolution (BVR) is a modern language to build software product lines (SPL). The language incorporates advanced concepts for feature modeling, reuse and realization of components in SPL. The BVR bundle implements and supports the language. The tool covers design, implementation ...

Year 2015
Type Presentation
Publication

Towards Feature-driven Goal Fulfillment Analysis - a Feasability Study

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1261163

Design of a system architecture normally refers to a pre-defined goal. We consider the goal as the desired (functional or non-functional) aspect that is achieved by providing functionalities or mechanisms that support it. For example, a security goal is supported by a set of security mechanisms. How...

Authors Singh Avjot Garcha Omerovic Aida Chauvel Franck Ferry Nicolas
Year 2015
Type Conference paper/Book chapter
Publication

Evaluating robustness of cloud-based systems

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1264799

Various services are now available in the Cloud, ranging from turnkey databases and application servers to high-level services such as continuous integration or source version control. To stand out of this diversity, robustness of service compositions is an important selling argument, but which rema...

Year 2015
Type Journal article
Publication

Diversity: A Heuristic to Improve Robustness of Self-Adaptive Cloud Architectures

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1456567

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...

Year 2015
Type Conference paper/Book chapter
Publication

CONSOLAS: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1331195

This paper demonstrates CONSOLAS, an automatic tool for the configuration and deployment of software applications in cloud. We provide Domain-Specific Modelling Languages for application developers to specify the components in the application and the possible cloud resources to host them, as well as...

Year 2015
Type Journal article
Publication

On Architectural Diversity of Dynamic Adaptive Systems

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1280693

We introduce a novel concept of ``architecture diversity'' for adaptive systems and posit that increased diversity has an inverse correlation with adaptation costs. We propose an index to quantify diversity and a static method to estimate the adaptation cost, and conduct an initial experiment on an ...

Authors Song Hui Elgammal Amal Nallur Vivek Chauvel Franck Fleurey Franck Clarke Siobhán
Year 2015
Type Journal article
Publication

Using Adaptation Plans to Control the Behavior of Models@runtime

http://www.sintef.no/en/publications/publication/?pubid=CRIStin+1281711

The models@runtime pattern proposes to leverage models as executable artefacts. A runtime model describing the state of the system is causally connected to the running system. Models@runtime engines typically play an active role in the definition of the adaptation plan that specifies the set of conc...

Year 2015
Type Journal article
View all publications