ABSTRACT Attacks on unsecured systems result in important loses. Many of the causes are related t... more ABSTRACT Attacks on unsecured systems result in important loses. Many of the causes are related to non-conformance of system architecture and implementation to the requirements. To reduce these conformity problems, Model Driven Engineering proposes using modelling languages for de�ning requirements and architecture and model transformations between them.We therefore introduce a modelling language extension/ro�le for de�ning system requirements with basic security requirement concepts. We also formalize the model transformation between this ro�le and a security formal veri�cation method. We exemplify our approach on a medical case study.
2013 18th International Conference on Engineering of Complex Computer Systems, 2013
ABSTRACT Autonomous defence systems are typically characterised by hard constraints on space, wei... more ABSTRACT Autonomous defence systems are typically characterised by hard constraints on space, weight and power. These constraints have a strong impact on the non-functional properties, and performance, of the final system. System execution modelling tools permit early prediction of the performance of model driven systems, however the focus to date has been on understanding the performance of a model rather than determining if it meets performance requirements, and subsequently carrying out analysis to reveal the causes of any requirement violations. In this paper, we propose an integrated approach to performance prediction of model-driven distributed real time embedded defence systems. Our architectural prototyping system supports a scenario-driven experimental platform for evaluating model suitability within a set of deployment and real-time performance constraints. We present an overview of our performance prediction system, demonstrating the integration of modelling, execution and visualisation, and discuss a case study to illustrate our approach.
Proceedings of the 2014 European Conference on Software Architecture Workshops - ECSAW '14, 2007
ABSTRACT Systems of systems (SoS) are large-scale systems composed of complex systems with diffic... more 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 nonfunctional 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.
2013 Military Communications and Information Systems Conference (MilCIS), 2013
ABSTRACT Autonomous defence systems are typically characterized by hard constraints on space, wei... more ABSTRACT Autonomous defence systems are typically characterized by hard constraints on space, weight and power. These constraints have a strong impact on the non-functional properties and especially performance of the final system. System execution modelling tools permit early prediction of the performance of model driven systems; however they are intended for one shot analysis, not for repeatable, interactive use. In this paper we propose a Domain Specific Language for describing scenarios to repeatedly test a system execution model within a Synthetic Environment. We exemplify it by describing and executing a scenario involving an UAV and a CMS.
Multiple Criteria Decision Aid (MCDA) algorithms help making the right decision. However, choosin... more Multiple Criteria Decision Aid (MCDA) algorithms help making the right decision. However, choosing and using an MCDA algorithm very often represents only a short and precise event of a much longer decision aid process. Moreover, this process involves multiple conflicting criteria and various stakeholders. In this work, we actually formalize a business process model of the MCDA process. Such a business process is a set of discrete activity steps, with associated computer and/or human operations, and rules governing the progression of ...
ABSTRACT Nowadays, there are several program criteria that are proposed for accreditation. Howeve... more ABSTRACT Nowadays, there are several program criteria that are proposed for accreditation. However, up to represent various accreditation bodies' requirements, diversity of disciplines, and specific national contexts, no global and unified framework for higher education has emerged. As such, the ability of educational organizations to work together is often hard to ensure.
Page 1. N° d'ordre : 2012telb0192 Sous le sceau de l'Université européenne de Bretagne Télécom Br... more Page 1. N° d'ordre : 2012telb0192 Sous le sceau de l'Université européenne de Bretagne Télécom Bretagne En habilitation conjointe avec l'Université de Bretagne Sud École Doctorale – SICMA Collaborative Construction of Telecommunications Services.
Abstract On the one hand, no one international model for quality assurance evaluation of higher e... more Abstract On the one hand, no one international model for quality assurance evaluation of higher education has emerged. On the other hand, as a reference model rather than a prescription, the CDIO initiative proposes a mature integrated framework for creation or continuous improvement of engineering programs. However, institutions developing and managing educational programs have to juggle the expectation of various accreditation and evaluation bodies, which may create consistency and interoperability problems. A need ...
ABSTRACT Attacks on unsecured systems result in important loses. Many of the causes are related t... more ABSTRACT Attacks on unsecured systems result in important loses. Many of the causes are related to non-conformance of system architecture and implementation to the requirements. To reduce these conformity problems, Model Driven Engineering proposes using modelling languages for de�ning requirements and architecture and model transformations between them.We therefore introduce a modelling language extension/ro�le for de�ning system requirements with basic security requirement concepts. We also formalize the model transformation between this ro�le and a security formal veri�cation method. We exemplify our approach on a medical case study.
2013 18th International Conference on Engineering of Complex Computer Systems, 2013
ABSTRACT Autonomous defence systems are typically characterised by hard constraints on space, wei... more ABSTRACT Autonomous defence systems are typically characterised by hard constraints on space, weight and power. These constraints have a strong impact on the non-functional properties, and performance, of the final system. System execution modelling tools permit early prediction of the performance of model driven systems, however the focus to date has been on understanding the performance of a model rather than determining if it meets performance requirements, and subsequently carrying out analysis to reveal the causes of any requirement violations. In this paper, we propose an integrated approach to performance prediction of model-driven distributed real time embedded defence systems. Our architectural prototyping system supports a scenario-driven experimental platform for evaluating model suitability within a set of deployment and real-time performance constraints. We present an overview of our performance prediction system, demonstrating the integration of modelling, execution and visualisation, and discuss a case study to illustrate our approach.
Proceedings of the 2014 European Conference on Software Architecture Workshops - ECSAW '14, 2007
ABSTRACT Systems of systems (SoS) are large-scale systems composed of complex systems with diffic... more 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 nonfunctional 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.
2013 Military Communications and Information Systems Conference (MilCIS), 2013
ABSTRACT Autonomous defence systems are typically characterized by hard constraints on space, wei... more ABSTRACT Autonomous defence systems are typically characterized by hard constraints on space, weight and power. These constraints have a strong impact on the non-functional properties and especially performance of the final system. System execution modelling tools permit early prediction of the performance of model driven systems; however they are intended for one shot analysis, not for repeatable, interactive use. In this paper we propose a Domain Specific Language for describing scenarios to repeatedly test a system execution model within a Synthetic Environment. We exemplify it by describing and executing a scenario involving an UAV and a CMS.
Multiple Criteria Decision Aid (MCDA) algorithms help making the right decision. However, choosin... more Multiple Criteria Decision Aid (MCDA) algorithms help making the right decision. However, choosing and using an MCDA algorithm very often represents only a short and precise event of a much longer decision aid process. Moreover, this process involves multiple conflicting criteria and various stakeholders. In this work, we actually formalize a business process model of the MCDA process. Such a business process is a set of discrete activity steps, with associated computer and/or human operations, and rules governing the progression of ...
ABSTRACT Nowadays, there are several program criteria that are proposed for accreditation. Howeve... more ABSTRACT Nowadays, there are several program criteria that are proposed for accreditation. However, up to represent various accreditation bodies' requirements, diversity of disciplines, and specific national contexts, no global and unified framework for higher education has emerged. As such, the ability of educational organizations to work together is often hard to ensure.
Page 1. N° d'ordre : 2012telb0192 Sous le sceau de l'Université européenne de Bretagne Télécom Br... more Page 1. N° d'ordre : 2012telb0192 Sous le sceau de l'Université européenne de Bretagne Télécom Bretagne En habilitation conjointe avec l'Université de Bretagne Sud École Doctorale – SICMA Collaborative Construction of Telecommunications Services.
Abstract On the one hand, no one international model for quality assurance evaluation of higher e... more Abstract On the one hand, no one international model for quality assurance evaluation of higher education has emerged. On the other hand, as a reference model rather than a prescription, the CDIO initiative proposes a mature integrated framework for creation or continuous improvement of engineering programs. However, institutions developing and managing educational programs have to juggle the expectation of various accreditation and evaluation bodies, which may create consistency and interoperability problems. A need ...
Uploads