1,721,030 research outputs found

    Une Méthode Dirigée par les Modèles pour la Conception et l'Analyse des Architectures Sécurisées des Systèmes-de-Systèmes : Application à la Prédiction des Attaques en Cascade dans les Bâtiments Intelligents.

    No full text
    Le Système-de-Systèmes (SdS) devient l'un des principaux paradigmes pour l'ingénieriedes solutions de la prochaine génération, telles que les villes intelligentes, les bâtiments intelligents,les systèmes médicaux, les systèmes d'interventions d'urgence et les systèmes de défense. Parconséquent, l'intérêt apporté aux SdS, leur architecture et surtout leur sécurité est en croissancecontinue. Cependant, les caractéristiques de différenciation des SdS, telles que le comportementémergent et l'indépendance managériale et opérationnelle de ses constituants, peuvent introduiredes problèmes spécifiques qui rendent leurs modélisation, simulation et analyse de sécurité un déficritique. Dans cette thèse, nous étudions comment les approches du génie logiciel peuvent êtreétendues pour modéliser et analyser les architectures sécurisées de SdS, afin de découvrir lesattaques à fort impact (attaques en cascade) tôt à la phase d'architecture. Pour atteindre notreobjectif, nous proposons une méthode d'Ingénierie Dirigée par les Modèles (IDM), nommée Systems-of-Systems Security (SoSSec), qui comprend: (1) un langage de modélisation (SoSSecML) pour lamodélisation des architectures sécurisées des SdS, et une extension des Systèmes Multi-Agents(SMA) pour l'analyse des architectures sécurisées des SdS; (2) les outils correspondants: un éditeurgraphique, un générateur de code, une extension de la plate-forme Java Agent Development (JADE)pour la simulation des SMA, un outil personnalisé pour l'enregistrement des résultats de simulation;et (3) un processus pour guider l'utilisation de la méthode SoSSec. Pour illustrer notre approche,nous avons réalisé un cas d'étude sur un bâtiment intelligent réel, le bâtiment de l'école de santé del'Université d'Adélaïde (AHMS).Systems-of-Systems (SoS) is becoming one of the major paradigm forengineering next generation solutions such as smart cities, smart buildings, health-care, emergencyresponse and defense. Therefore, there is a growing interest in SoS, their architecture and speciallytheir security. However, SoS differentiating characteristics, such as emergent behavior andmanagerial and operational independence of its constituents, may introduce specific issues thatmake their security modeling, simulation and analysis a critical challenge. In this thesis we investigatehow Software Engineering approaches can be extended to model and analyze secure SoS solutionsfor discovering high impact attacks (cascading attacks) at the architecture stage. In order to achieveour objective, we propose a Model Driven Engineering method, Systems-of-Systems Security(SoSSec), that comprises: (1) a modeling description language (SoSSecML) for secure SoS modelingand an extension of Multi-Agent Systems (MAS) for secure SoS architecture analysis, (2) thecorresponding tools: a graphical editor, a code generator, an extension of the Java AgentDevelopment (JADE) MAS simulation framework, a custom logging tool, (3) an utilization process toguide the use of the SoSSec method. To illustrate our approach we conducted a case study on a reallifesmart building SoS, the Adelaide University Health and Medical School (AHMS)

    Collaborative Construction of Telecommunications Services. An Enterprise Architecture and Model Driven Engineering Method

    No full text
    In the context of world economies transitioning to services, telecommunications services are the primary means of communication between different economic entities and are therefore essential. The focus on the end consumer, the convergence with the Internet, the separation between the software and the hardware implementing a service, and the telecommunications market deregulation have led to a revolution and a new era in the telecommunications industry. To meet these challenges, former national telecommunications providers have to reduce the construction time, from months to days, while affecting non-negatively other parameters (e.g., cost, quality of service, quality of experience) of new telecommunications services. To tackle this broad theme, we propose a telecommunications service construction process, the software tools that are to be used in this process and a tool building process to build them. The telecommunications service construction process reflects current practices in the telecommunications industry. As such, it should be (easily) accepted by practitioners. The software tools (i.e., Domain Specific Modeling Languages designed as profiles of an Enterprise Architecture Modeling Language, graphical editors, code generators, Off the Shelf network simulators, a collaboration Design Rationale Domain Specific Modeling Language) help telecommunications providers face the challenges. The tool building process relies on models and provides a high automation degree, hence software tools can be build more rapidly. We illustrate the telecommunications service construction process and the tools using a multimedia conferencing service. Our proposals contribute to reducing the construction time of new telecommunications services, while providing the possibility of improved quality of service and increased involvement of the consumer. Faster provisioning of new telecommunications services, that better answer the consumers¿ needs, will increase the rate of development of new economic services in general, and will ultimately have a positive impact on world economic development.Dans le contexte de la transition des économies mondiales vers les approches orientées services, les services télécoms sont aujourd¿hui essentiels car ils constituent le principal médium de communication entre les différentes entités économiques. Les accents de plus en plus mis sur le consommateur final, la convergence avec l'Internet, la séparation entre le logiciel et le matériel permettant de réaliser un service, et la déréglementation du marché des télécommunications ont ouvert une nouvelle ère dans l'industrie des télécommunications. Dans ce domaine, pour relever ces différents défis, les fournisseurs télécoms historiques, auparavant plutôt nationaux, doivent réduire le temps de construction de leurs nouveaux services, de plusieurs mois à quelques jours, tout en affectant le moins possible d'autres paramètres (par exemple le coût, la qualité de service ou encore la qualité de l'expérience). Pour s'attaquer à ce vaste thème, nous proposons dans cette thèse un processus de construction de services télécoms, incluant les outils logiciels à utiliser dans ce processus et définissons un processus de construction de tels outils. D¿une part, le processus de construction de services télécoms résultant reflète les pratiques actuelles en place dans l'industrie des télécommunications. En tant que tel, il devrait être (facilement) accepté par les praticiens. D¿autre part, les outils logiciels proposés (par exemple des langages de modélisation spécifiques au domaine conçus comme des profils d'un langage de modélisation d'architecture d'entreprise, des éditeurs graphiques, des générateurs de code, des simulateurs réseaux " sur étagère ", un langage de modélisation spécifique au domaine pour supporter la collaboration lors des choix de conception) aident les fournisseurs de services télécoms à faire face aux défis précédents. Par ailleurs, le processus de construction d'outils s'appuie sur des modèles et fournit ainsi un degré d'automatisation élevé, et sein duquel des outils logiciels peuvent être construits plus rapidement. Pour illustrer nos résultats, nous utilisons un service de téléconférence multimédia clarifiant le processus de construction de services télécoms et les outils associés. Au final, nos propositions et résultats contribuent à réduire le temps de construction des futurs services télécoms, tout en offrant la possibilité d'avoir une qualité de service améliorée et une implication accrue du consommateur final. Une fourniture plus rapide de nouveaux services télécoms, qui répondent mieux aux besoins des consommateurs, augmentera le taux de développement de nouveaux services économiques en général, favorisera la réactivité par rapport au marché, et permettra potentiellement d¿avoir un impact positif sur le développement économique mondial

    Collaborative Construction of Telecommunications Services. An Enterprise Architecture and Model Driven Engineering Method

    No full text
    In the context of world economies transitioning to services, telecommunications services are the primary means of communication between different economic entities and are therefore essential. The focus on the end consumer, the convergence with the Internet, the separation between the software and the hardware implementing a service, and the telecommunications market deregulation have led to a revolution and a new era in the telecommunications industry. To meet these challenges, former national telecommunications providers have to reduce the construction time, from months to days, while affecting non-negatively other parameters (e.g., cost, quality of service, quality of experience) of new telecommunications services. To tackle this broad theme, we propose a telecommunications service construction process, the software tools that are to be used in this process and a tool building process to build them. The telecommunications service construction process reflects current practices in the telecommunications industry. As such, it should be (easily) accepted by practitioners. The software tools (i.e., Domain Specific Modeling Languages designed as profiles of an Enterprise Architecture Modeling Language, graphical editors, code generators, Off the Shelf network simulators, a collaboration Design Rationale Domain Specific Modeling Language) help telecommunications providers face the challenges. The tool building process relies on models and provides a high automation degree, hence software tools can be build more rapidly. We illustrate the telecommunications service construction process and the tools using a multimedia conferencing service. Our proposals contribute to reducing the construction time of new telecommunications services, while providing the possibility of improved quality of service and increased involvement of the consumer. Faster provisioning of new telecommunications services, that better answer the consumers¿ needs, will increase the rate of development of new economic services in general, and will ultimately have a positive impact on world economic development.Dans le contexte de la transition des économies mondiales vers les approches orientées services, les services télécoms sont aujourd¿hui essentiels car ils constituent le principal médium de communication entre les différentes entités économiques. Les accents de plus en plus mis sur le consommateur final, la convergence avec l'Internet, la séparation entre le logiciel et le matériel permettant de réaliser un service, et la déréglementation du marché des télécommunications ont ouvert une nouvelle ère dans l'industrie des télécommunications. Dans ce domaine, pour relever ces différents défis, les fournisseurs télécoms historiques, auparavant plutôt nationaux, doivent réduire le temps de construction de leurs nouveaux services, de plusieurs mois à quelques jours, tout en affectant le moins possible d'autres paramètres (par exemple le coût, la qualité de service ou encore la qualité de l'expérience). Pour s'attaquer à ce vaste thème, nous proposons dans cette thèse un processus de construction de services télécoms, incluant les outils logiciels à utiliser dans ce processus et définissons un processus de construction de tels outils. D¿une part, le processus de construction de services télécoms résultant reflète les pratiques actuelles en place dans l'industrie des télécommunications. En tant que tel, il devrait être (facilement) accepté par les praticiens. D¿autre part, les outils logiciels proposés (par exemple des langages de modélisation spécifiques au domaine conçus comme des profils d'un langage de modélisation d'architecture d'entreprise, des éditeurs graphiques, des générateurs de code, des simulateurs réseaux " sur étagère ", un langage de modélisation spécifique au domaine pour supporter la collaboration lors des choix de conception) aident les fournisseurs de services télécoms à faire face aux défis précédents. Par ailleurs, le processus de construction d'outils s'appuie sur des modèles et fournit ainsi un degré d'automatisation élevé, et sein duquel des outils logiciels peuvent être construits plus rapidement. Pour illustrer nos résultats, nous utilisons un service de téléconférence multimédia clarifiant le processus de construction de services télécoms et les outils associés. Au final, nos propositions et résultats contribuent à réduire le temps de construction des futurs services télécoms, tout en offrant la possibilité d'avoir une qualité de service améliorée et une implication accrue du consommateur final. Une fourniture plus rapide de nouveaux services télécoms, qui répondent mieux aux besoins des consommateurs, augmentera le taux de développement de nouveaux services économiques en général, favorisera la réactivité par rapport au marché, et permettra potentiellement d¿avoir un impact positif sur le développement économique mondial

    Modeling and architecting educational frameworks

    No full text
    International audienceNowadays, 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. Following constructive alignment principles, an educational program relies on three main pillars: (i) an intended curriculum, (ii) a taught curriculum, and (iii) a validated learned curriculum. At the core of program descriptions, those three views share concepts, such as learning outcomes. To enable interoperability among existing programs and frameworks, and sustain flexibility and evolution of standards, it is relevant to clarify common core concepts belonging to various frameworks. A system modeling approach is obvious for meeting such interoperability challenges, since it makes it possible to meaningfully, unambiguously, and accurately specify concepts, relations, and viewpoints among stakeholders. The CDIO Initiative celebrates its 10th anniversary by proposing today a mature integrated framework for engineering programs. Structured in twelve standards, it permits to create, to reform, or to continuously improve engineering educational programs. It encourages introducing appropriate pedagogical methods and also addresses student workspaces and staff workforce. Based on the CDIO standards as a proof of concept, this paper proposes to model three views based on structural diagrams. Significant relations between educational concepts are then defined. Furthermore, getting its inspiration from an architectural approach, this paper significantly contributes to lay the foundations of an architectural meta-model for describing complex educational systems, which will contribute to tackling interoperability and flexibility issues

    Co-construction of Computer Science Knowledge-to-be-taught in a French Context

    No full text
    International audienceThe French national curricula for elementary and secondary schools introduced teaching Computer Science (CS) concepts as mandatory, beginning the 2016-2017 school year. This also raised questions related to specifically what CS concepts should be taught and how. Several proposals of textbooks, pedagogical kits and other knowledge-to-be-taught have been made; some of them contain apparently surprising and even what seems, at a first glance, scientifically incorrect knowledge, which could prove to be obstacles in pupils' learning. In this paper we analyze such proposals, and advance explanations based on the Theory of the Didactic Transposition of Knowledge (TDTK). The TDTK considers that the knowledge-to-be-taught is the result of a complex process of various interactions and negotiations between the numerous actors of the educational system. We identify such interactions, which explain the existence of didactic obstacles. Being aware of such caveats may reduce the apparition of this type of obstacles in future construction of similar CS bodies of knowledge-to-be-taught

    Towards semantic interoperability of graphical domain specific modeling languages for telecommunications service design

    No full text
    International audienceHigh competition pressures Telecommunications service providers to reduce their concept-to-market time. To manage more easily service complexity among several actors in the design process and to ensure a more flexible maintainability, service decomposition into stakeholder dedicated views is now largely investigated by companies. However, there is still a lack of tools to fully support and implement this approach in various domains, especially Telecommunications. Consequently, in this position paper, we defend using a Domain Specific Modeling Language for each viewpoint, and regrouping them into a family of modeling languages relying on a meta-modeling approach. To ensure better interaction and coherence between the various viewpoints, we focus on some interoperability issues early at design time. To adequately and systematically manage interoperability between distinct graphical models, interoperability between their meta-models should be established as well. For this we rely on model transformations between meta-models. However, most often model transformations address only the syntactic level. To increase the formality of languages and of their interoperability, semantics must be taken into consideration as well. Therefore, we propose lifting the meta-models into ontologies, enriching and matching them into shared ontologies. This allows for semi-automatic generation of model transformations from shared ontologies

    Towards Modelling Educational Frameworks for Leveraging Interoperability and Sustaining Flexibility in Change

    No full text
    The CDIO Initiative celebrates its 10th anniversary by proposing today a mature integrated framework to reform or continuously improve engineering programs. It is now time to prepare the next decade in sustaining the evolution of its standards and ensuring their interoperability with other frameworks. Considering models and stakeholders' views, as well as taking inspiration from an enterprise architecture approach, offers several challenges for such. Derived from an analysis of the CDIO standards from a structural, behavioural/business and informational perspectives, this paper reveals some semantic relationships among some of these concepts which also shed light on dependencies among stakeholders' models

    Integrating DSLs into a Software Engineering Process: Application to Collaborative Construction of Telecom Services

    No full text
    International audienceThe development of large and complex systems involves many people, stakeholders. Engineeringly speaking, one way to control this complexity is by designing and analyzing the system from different perspectives. For each perspective, stakeholders benefit from means, tools, languages, specific to their activity domain. A Domain Specific Language (DSL) per perspective is such a dedicated means. While DSLs are used for modeling, other means, tools, languages, are needed for other connected activities, like testing or collaborating. However, using together such different types of tools, integrating DSLs into stakeholders' software process, is not straightforward. In this chapter we advance an integration process of DSLs with other tools. To each stakeholder, we propose they have their own DSL with associated graphical editor, operational semantics and generation of scripts for off the shelf simulators for e.g. testing. Additionally to the integrated stakeholders' software process, we introduce a model driven process dedicated to the tool vendor which creates the DSLs and its associated tools. Due to the integration of DSLs into this process, we contend that stakeholders will significantly reduce system construction time. We illustrate the two processes on Telecommunications service construction
    corecore