Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Abstract : Systems of systems (SoS) are large-scale systems composed of complex systems with difficult to elicit and model emergent properties. One of the most significant challenges in the engineering of such systems is how to elicit their non-functional requirements such as security. In this proposal paper we introduce a Model Driven Engineering (MDE) security requirement process for SoS. It is based on the Relax language to define invariant and relaxed security requirements. This enables taking into account security concerns early in the requirements phase of the SoS. We illustrate our process on a maritime safety and security case study.
Type de document :
Communication dans un congrès
ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32, 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01082400
Contributeur : Manuel Munier <>
Soumis le : jeudi 13 novembre 2014 - 14:17:32
Dernière modification le : mardi 10 juillet 2018 - 15:46:40

Identifiants

  • HAL Id : hal-01082400, version 1

Citation

Nicolas Belloir, Vanea Chiprianov, Manzoor Ahmad, Manuel Munier, Laurent Gallon, et al.. Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems. ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32, 2014. 〈hal-01082400〉

Partager

Métriques

Consultations de la notice

101