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

26 août 2014·
Nicolas Belloir
,
Vanea Chiprianov
,
Manzoor Ahmad
Manuel Munier
Manuel Munier
,
Laurent Gallon
,
Jean-Michel Bruel
· 0 min. de lecture
Résumé
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)
Lieu

Paris, France, 10-13 juin 2014

publication
Systems of Systems
Manuel Munier
Auteurs
Manuel Munier
Maître de Conférences HC en Informatique

Manuel Munier a obtenu son doctorat d’informatique à l’Université de Nancy en janvier 1999. Ses travaux de thèse portaient sur les systèmes coopératifs, les modèles de transactions avancés et les systèmes distribués. Il a ensuite effectué un postdoc à l’INRIA Lorraine en collaboration avec le XRCE (Xerox Research Centre Europe) à Grenoble.

En septembre 1999 il a rejoint l’Université de Pau et des Pays de l’Adour en tant qu’enseignant-chercheur à l’IUT des Pays de l’Adour dans le département Réseaux & Télécommunications, site de Mont de Marsan. Manuel Munier est membre de l’équipe ISI-Know (Ingénierie et Sécurité de l’Information par la gestion des connaissances) du LIUPPA (Laboratoire d’Informatique de l’Université de Pau et des Pays de l’Adour).

Recherche   Publications   Enseignements