Tooling Support for Variability and Architectural Patterns in Systems Engineering

Abstract : In systems engineering, the deployment of software components is error-prone since numerous safety and security rules have to be preserved. Furthermore, many deployments on different heterogeneous platforms are possible. In this paper we present a technological solution to assist industrial practitioners in producing a safe and secure solution out of numerous architectural variants. First, we introduce a pattern technology that provides correct-by-construction deployment models through the reuse of modeling artifacts organized in a catalog. Second, we develop a variability solution , connected to the pattern technology and based on an extension of the common variability language, for supporting the synthesis of model-based architectural variants. This paper describes a live demonstration of an industrial effort seeking to bridge the gap between variability modeling and model-based systems engineering practices. We illustrate the tooling support with an industrial case study (a secure radio platform).
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01242180
Contributor : Thomas Degueule <>
Submitted on : Friday, December 11, 2015 - 3:44:38 PM
Last modification on : Thursday, February 7, 2019 - 3:27:07 PM
Long-term archiving on : Saturday, April 29, 2017 - 11:01:55 AM

File

SPLC2015-kCVLPatternsTool.pdf
Files produced by the author(s)

Identifiers

Citation

Thomas Degueule, Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, et al.. Tooling Support for Variability and Architectural Patterns in Systems Engineering. 19th International Conference on Software Product Line, Jul 2015, Nashville, United States. ⟨10.1145/2791060.2791097⟩. ⟨hal-01242180⟩

Share

Metrics

Record views

650

Files downloads

393