Dominique Blouin

Télécom Paris · Computer Science and Networks

Cite as: Author/s, “Title of contribution-presentation”, in Proceedings of the 3rd Summer School on Cyber-Physical Systems and Internet-of Things, Editors: Lech Jozwiak, Radovan Stojanovic and Nikolaos Voros, Vol. III, June 2022, pp. xx-yy, DOI: https://doi.org/10.5281/zenodo.6698644 Citation example: Lech Jóźwiak, Green CPS and IoT for Green Wo...

Incremental model transformation (IMT) tools have been proposed to improve performances of model transformations by updating only the parts of a model that need to be changed when another model on which it depends has been changed. Yet, the question is how these tools are suitable for modeling large and complex systems with rich modeling languages...

Cyber-Physical Systems (CPS) are heterogeneous and require cross-domain expertise to model. The complexity of these systems leads to questions about prevalent modeling approaches, their ability to integrate heterogeneous models, and their relevance to the application domains and stakeholders. The methodology for Multi-Paradigm Modeling (MPM) of CPS...

The complexity of cyber–physical systems ( CPSs ) is commonly addressed through complex workflows , involving models in a plethora of different formalisms , each with their own methods, techniques, and tools. Some workflow patterns , combined with particular types of formalisms and operations on models in these formalisms, are used successfully in...

This chapter introduces the different background material needed to understand the next three Chapters respectively presenting the Cyber-Physical Systems (CPS), Multi-Paradigm Modelling (MPM) and Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) ontologies. It first introduces the approach and tools that have been used to define the ont...

This chapter is devoted to formalisms for describing system architectures, and in particular to the Architecture Analysis and Design Language (AADL). AADL is an Architecture Description Language (ADL) well suited for the modelling of embedded and cyber-physical systems. The architecture is central in Multi- Paradigm modelling for Cyber-Physical Sys...

INTRODUCTION:: Cyber comes from Greek adjective kyberneticos (cybernetic) which means skilled in steering or governing. Already from ancient times people constructed various machines (physical systems) and their controllers (cyber systems). Cyber-physical system (CPS) is a compound system engineered through integration of cyber and physical sub-s...

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

There is currently a lack of Requirements Engineering (RE) approaches applied to, or supporting, the development of a Domain-Specific Language (DSL) taking into account the environment in which it is to be used. We present a model-based RE approach to support DSL development with a focus on usability concerns. RDAL is a RE fragment language that ca...

Due to the increase of their complexity, currently engineered systems cannot be developed by one individual, but are a product of a collaboration between multiple stakeholders who develop the system from different domain-specific views. Inconsistencies between views, however, hinder collaboration and therefore, must be managed. Since the encountere...

Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational database case the relational algebra and generalized discrimination networks have been studied to find appropriate decompositions into subqueries and ordering of these subqueries for query e...

This article describes TBES, a software end-to-end environment for synthesizing multitask applications on FPGAs. The implementation follows a template-based approach for creating heterogeneous multiprocessor architectures. Heterogeneity stems from the use of general-purpose processors along with custom accelerators. Experimental results demonstrate...

We report our experience of using Triple Graph Grammars (TGG) to synchronize models of the rich and complex Architecture Analysis and Design Language (AADL), an aerospace standard of the Society of Automotive Engineers. A synchronization layer has been developed between the OSATE (Open Source AADL Tool Environment) textual editor and the Adele grap...

Model-based Systems Engineering (MBSE) is a promising approach to handle the increasing complexity of embedded systems through the use of models that can be analyzed for early design errors detection. A critical phase of systems engineering is Requirements Engineering (RE), which occurs at the very beginning of the development cycle and aims at sta...

Software architectures are frequently represented as large models where many competing quality attributes have to be taken into account. In this context, there may be a large number of possible alternative architectural transformations that the architecture designer has to deal with. The complexity and dimensions of the solution space make that fin...

The development of embedded systems is a complex and challenging task. Part of this complexity originates from limited resources and the need to solve tradeoffs between competing quality properties and goals. Producing a correct design therefore requires a complete and understandable requirements specification. Non-Functional Goals (NFGs) are commo...

Our contribution lies in offering a fast and parametrized domain-space exploration to the designer, whose expertise drives the whole process while staying the actor of added-value creation. In this paper, we present two new features and two important improvements of our H-MPSoC synthesis framework. The first one is a new template-based approach for...

Currently, designing low-power complex embedded systems is a main challenge for corporations in a large number of electronic domains. There are multiple motivations which lead designers to consider low-power design such as increasing lifetime, improving battery longevity, limited battery capacity, and temperature constraints. Unfortunately, there i...

In this paper, the QAML (Quantitative Analysis Modeling Language) DSML is presented. It is a formalism for representing quantitative analysis models applied to embedded system architecture models. Issued from the need to standardize the representation of heterogeneous power consumption analysis models, QAML has been generalized to support the analy...

In this paper, we put into action an ATL model transformation in order to automatically generate SystemC models from AADL models. The AADL models represent electronic systems to be embedded into FPGAs. Our contribution allows for an early analytical estimation of energetic needs and a rapid SystemC simulation before implementation. The transformati...

Our software platform is designed, from the very beginning, to be extensible : not only is the library of available components (both hardware and software) for modeling open for extension with user-defined data; the set of features offered by the platform is also extensible, all of these features being provided by "plug-ins" (a.k.a. "add-ons", i.e....

Our software platform is composed of several tools implemented as a set of Eclipse plugins using the Eclipse RCP standard "extension point" mechanism. This is the lightweight software integration model we decided to use during the conception of the OPSWP (see deliverable D2.2 for details), whose graphical consistency is guaranteed a minima thanks t...

Several requirements modeling languages such as the requirements package of SysML have been developed to improve the elicitation, analysis, validation and verification of requirements during project development life cycles. However, none of these languages is generic enough to be used in conjunction with arbitrary system architecture languages inte...

With the evolution of technology, the system complexity increased and the application fields of the embedded system expanded. Current applications need a high degree of performance, flexibility, and efficient development environments. Today, reconfigurable logic allows to meet the on-chip processing requirements with new benefits resulting from par...

CAT, the Consumption Analysis Toolbox, used with an AADL editor like OSATE allows for system-level power and energy consumption estimation. For MARTE users, such a tool is very valuable. This is why building a bridge from MARTE to AADL was essential. Transforming models is the solution that was adopted. This is why a MARTE to AADL mapping was neede...

The Model-Driven Engineering development methodology (MDE) is gaining more and more importance in the process of developing complex embedded systems. This is mainly due to the fact that system complexity is constantly growing, thus increasing the need for higher abstraction levels in the design flow. Nowadays, given the importance of environmental...

This paper presents a methodology that permits to estimate the power and energy consumption of embedded applications. Estimation is performed from high-level specifications of the complete system. Power models are built from physical measurements on the hardware platform. Operating system's services are modeled: scheduler/timer interrupt, inter-pro...

This paper presents a System level Model Driven Architecture (MDA) approach for power estimation of real time operating system (RTOS) communication and synchronization services at early design phases.The approach integrates the Architecture Analysis and Design Language (AADL) in the design flow. We describe how to extend the language for modeling R...

The aim of our works is to provide for methods and tools to quickly estimate the power consumption at the first steps of a system design. We introduce multi-level power models and show how to use them at different levels of the specification refinement in the model-based AADL (Architecture & Analysis Design Language) design flow. Those power models...

A novel fingerprint integrated sensor using skin resistivity variation resulting from ridges and valleys on the fingertip is presented. This straightforward detection principle leads to a simpler reading circuitry compared to other integrated fingerprint sensors. The skin resistivity pattern is detected by sweeping the fingertip over a line of 256...

Sh 185, which is associated with the B0-B0.5IV star γ Cas and contains the two nebulae IC 63 and IC 59, has been observed with the DRAO synthesis telescope in continuum emission at 408 and 1420 MHz, and in H I line emission. Continuum emission is clearly detected for IC 63 and weakly detected for IC 59. The emission from both nebulae is thermal, wi...

Sh 185, which is associated with the B0-B0.5IV star gamma Cas and contains the two nebulae IC 63 and IC 59, has been observed with the DRAO synthesis telescope in continuum emission at 408 and 1420MHz, and in H i line emission. Continuum emission is clearly detected for IC 63 and weakly detected for IC 59. The emission from both nebulae is thermal,...