Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems
August 26, 2014·
,
,
,
,
·
0 min read
Nicolas Belloir
Vanea Chiprianov
Manzoor Ahmad
Manuel Munier
Laurent Gallon
Jean-Michel Bruel
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
Publication
In ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014)
Location
Paris, France, 10-13 juin 2014
Authors
Associate Professor in Computer Science
Manuel Munier received his Ph.D. in Computer Science from University of Nancy in january 1999. His thesis works studied cooperative systems, advanced transaction models, distributed systems. Immediately after receiving his Ph.D., he worked as a postdoctoral researcher for INRIA Lorraine and Xerox Research Centre Europe in Grenoble.
In september 1999 he joined the University of Pau (IUT des Pays de l’Adour, département Réseaux & Télécommunications, site de Mont de Marsan). Manuel Munier is a member of ISI-Know team (Information Security and engIneering through knowledge management) of the LIUPPA (Laboratoire d’Informatique de l’Université de Pau et des Pays de l’Adour).