Split of Composite Components for Distributed Applications

International audienceComposite structures as in UML are a way to ease the development of complex applications. Composite classes contain sub-components that are instantiated, interconnected and configured along with the composite. Composites may also contain operations and further attributes. Their deployment on distributed platforms is not trivial, since their sub-components might be allocated to different computing nodes. In this case, the deployment implies a split of the composite. In this paper, we will motivate why composites need to be allocated to different nodes in some cases by examining the particular case of interaction components. We will also discuss several options to achieve the separation and their advantages and disadvantages including modeling restrictions for the classes

UML2 as an ADL Hierarchichal Hardware Modeling

Taking into account the hardware architecture specificities is a crucial step in the development of an efficient application. This is particularly the case for embedded systems where constraints are strong (real-time) and resources limited (computing, power). This approach is called co-design, and it is found more or less explicitly in ADLs (Architecture Description Languages). Many works have been done around co-design and ADLs, but no standard notation and semantics have emerged. Concerning software engineering, UML has become a recognized standard language for modeling, proving the need of users for common syntax and vocabulary to specify their applications. We believe that it would useful to use the well achieved syntax and vocabulary of UML for both applications and hardware architectures, that is to say using UML as an ADL. Our approach consists in a clear specialization of an UML subset via a the proposition of a generic profile that allows the definition of precise semantic and syntaxic rules. The generic profile can then be extended to suit the need of the user. To illustrate our subject, we give a refinement example of the profile to get relevant informations for a simulation at the TML level (Transaction Level Modeling). The modeling of the TI OMAP2410 and OMAP2420 is provided as an example

Toward an Accurate and Fast Hybrid Multi-Simulation with the FMI-CS Standard

International audienceMulti-simulation in the context of future smart electrical grids consists in associating components modeling different physical domains, but also their local or global control. Our DACCOSIM multi-simulation environment is based on the version 2.0 of the FMI-CS (Functional Mock-up Interface for Co-Simulation) standard maintained by the Modelica Association. It has been specifically designed to run large-scale and complex systems on a single PC or a cluster of multicore nodes. But it is quite challenging to accurately simulate FMUs-composed systems involving predictable and unpredictable events while preserving the system overall performance. This paper presents some additions to the FMI-CS standard aiming to improve the accuracy and the performance of distributed multi-simulations involving a mix of both time steps and various kinds of events. The proposed FMI-CS primitives are explained, as well as the Master Algorithm strategies to exploit them efficiently

Gaspard2 UML profile documentation

This document describes the current UML profile of Gaspard2. This profile extends the UML semantics to allow the user to describe a SoC (System-on-Chip) in three steps: the application (behavior of the Soc), the hardware architecture, and the association of the application to the hardware architecture. The application is represented following a data flow model, but additional mechanisms permit the usage of control flow on those applications. In addition to those notions, the profile contains a package introducing factorization mechanisms to enable the compact description of massively parallel and repetitive systems

Modélisation unifiée des aspects répétitifs dans la conception conjointe logicielle/matérielle des systèmes sur puce à hautes performances

Des contrôleurs embarqués d'autrefois aux systèmes sur puce multiprocesseurs actuels, il existe un saut de complexité que les outils d'aide à la conception n'arrivent pas à franchir. Les concepteurs ne disposent pas d'outil leur permettant d'exploiter à un coût raisonnable les transistors potentiellement mis à leur disposition. Pour tenter de résoudre ce problème, le flot de conception Gaspard propose des solutions originales: une approche orientée modèle pour gérer la complexité du flot, et une orientation vers les systèmes multiprocesseurs réguliers Intégrée dans ce flot, cette thèse propose une contribution à deux niveaux: définition d'une syntaxe abstraite sous forme de métamodèles exprimés en MOF (infrastructure pour la mise en œuvre du flot), et définition d'une syntaxe concrète sous la forme d'un profil UML. L'objectif principal est de définir des mécanismes communs pour exprimer la régularité et le parallélisme des systèmes, tant au niveau applicatif qu'au niveau matériel.LILLE1-BU (590092102) / SudocSudocFranceF

Regular Hardware Architecture Modeling with UML2

International audienceNo abstrac

UML 2 as an ADL Hierarchichal Hardware Modeling

Taking into account the hardware architecture specificities is a crucial step in the development of an efficient application. This is particularly the case for embedded systems where constraints are strong (real-time) and resources limited (computing, power). This approach is called co-design, and it is found more or less explicitly in ADLs (Architecture Description Languages). Many works have been done around co-design and ADLs, but no standard notation and semantics have emerged. Concerning software engineering, UML has become a recognized standard language for modeling, proving the need of users for common syntax and vocabulary to specify their applications. We believe that it would useful to use the well achieved syntax and vocabulary of UML for both applications and hardware architectures, that is to say using UML as an ADL. Our approach consists in a clear specialization of an UML subset via a the proposition of a generic profile that allows the definition of precise semantic and syntaxic rules. The generic profile can then be extended to suit the need of the user. To illustrate our subject, we give a refinement example of the profile to get relevant informations for a simulation at the TML level (Transaction Level Modeling). The modeling of the TI OMAP2410 and OMAP2420 is provided as an example

Semantic framework for energy-aware resource management of IoT in business processes

International audienceRecently, IoT adoption has increased in several domains. IoT devices are multi-modal and heterogeneous due to their varied properties, standards, and manufactures. This leads to interoperability issues, which can be solved using semantic technologies. Likewise, these devices participate in numerous cross-organizational business processes (BPs). Being resource-constrained, they must be managed in an energy-aware manner to avoid BP failures. However, due to lack of a common ontology and formalization of energy-related concepts impedes their optimal management in BPs. To bridge this gap, the authors capitalize on existing semantic models such as FIESTA-IoT and IoT-BPO. They propose the following: (i) formalization of IoT concepts in BPs related to energy, their properties and constraints, and (ii) resolving resource conflicts based on strategies. The feasibility of this framework is illustrated by evaluating the semantic model for its coverage of concepts from IoT-A reference model, along with proof of concept tools that allows ontology-based support for process modeling

PhiSystem: a tooled methodology for design and validation of ADAS

International audienceAdvanced driver-assistance systems (ADAS) design is a complex task that naturally involves teams of engineers with different specialties such as requirements modeling, control design, software/hardware development. This task requires a holistic methodology encompassing the whole design process at system level, accounting for multiple viewpoints, dealing with open systems-of-systems, and enabling collaborative modeling and early stage evaluation of design choices. We present PhiSystem, a systemic modeling tool which aims at supporting such a holistic methodology for the development of ADAS applications

Semantic framework for Internet of Things-aware business process development

International audienceThe proliferation of connected devices, wherein Sensors, Actuators and Tags (such as Radio-Frequency Identification (RFID)) are able to seamlessly communicate to their environment and to each other for sharing information or to perform some actions has created the Internet of Things (IoT) ecosystem. These devices expose their functionality via standard services and application programming interfaces (APIs). They are considered to be one of the key technology enablers to foster the vision of a smart world, comprising of smart objects, smart supply chain management, smart manufacturing (Industry 4.0), smart buildings, to name a few. In fact, today these IoT devices continuously take part in various business processes that are being executing within the boundaries of the same enterprise or in different enterprises. Thus, there is an evident need to model these processes that are associated with IoT resources in a formal and unambiguous manner. However, in context of business processes, these is a lack of formalized and explicit description for IoT resources, thus hampering their efficient modeling and management. To bridge this gap, we propose a semantic framework for developing IoT-aware business processes as follows, (i) formalizing IoT resource description w.r.t Internet of Things Architecture (IoT-A) reference model in context of business processes, (ii) formalizing IoT properties and allocation rules for optimal resource management and (iii) resolving resource conflicts based on strategies. To illustrate the feasibility of our framework, we evaluated our semantic model for coverage of concepts in IoT-A reference model along with development of a proof of concept tool for integrating the IoT resources and our semantic model during the process modeling phas