Polytech

SAIA is a model based architecture for the development of sensors based real time applications. This paper presents the mandatory concepts to manage the extra-functional properties relating to the communication with the physical environment. Moreover, it proposes an implementation of these concepts and then a way to realize a safe application deployment.

AADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Since both cover similar aspects, a clear assessment of their respective strength and weakness is required. Building on previous works, we focus here 1 on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equip UML activities with the execution semantics of an AADL specification. This is part of a much broader effort to build a generic simulator for UML models with the semantics explicitly defined within the model.

Résumé: Modeling self-adaptive applications is a difficult task due to the complex relationships they have with their environments. Designers of such applications strive to model accurately a few (re)-configuration possibilities deemed to be the most relevant with respect to environmental changes. This deliberate restriction of the variability space is cumbersome and may unnecessarily reject interesting (re)-configuration possibilities. We employ software product-line techniques to properly cover the whole variability space of a ...

Modern SoC design may rely on models, or on highlevel description languages. Although very close, the benefits obtained from either sides can be substantially different (and mismatch may occur). The IP-Xact formalism, now a standard (IEEE 1685), was introduced to help assemble component IP from distinct sources into an integrated design. Components could be expressed in high-level HDLs such as SystemC, so should be the full design after translation. Experience shows that in fact this is hardly the case, specially in publicly available methods and tools. The present contribution goes one step into linking SystemC designs to their IP-Xact structural representation by translation. It then exports the resulting IP-Xact model into the UML/MARTE profile modeling framework, to allow to annotating existing models with additional information (again in a publicly available fashion, as opposed to vendor extensions). Even if our approach is still far from being complete, it bridges a number of gaps induce by the combined uses of SystemC and IP-Xact.

Power is an important concern in embedded systems. Reduction of power consumption is achieved by balancing the control of multiple domains: switching power, reducing or increasing voltage and changing the frequency on system sections. Model-Driven Engineering gives tools to model the interactions of these domains. In this work, we propose to use MARTE combined to UPF concepts to capture the structure and behavior of these multiple domains. We adopt CCSL to unify the multiform aspects among domains and to verify their proper interaction. We provide an example to illustrate MARTE representation and a simulation of multi-domain power design, specified on CCSL and running on TIMESQUARE. RSUM. La puissance est une caractéristique importante qu'il est nécessaire de prendre en compte lors de la conception de systèmes embarqués. La réduction de consommation de puissance est réalisée en jouant sur le contrôle de plusieurs domaines: en commutant l'alimentation de certains composants du système, en réduisant ou en augmentant leur tension et en changeant leur fréquence. L'ingénierie dirigée par les modèles donne des outils pour modéliser les interactions entre ces domaines. Dans ce travail, nous proposons d'utiliser MARTE combiné aux concepts de UPF pour capturer la structure et le comportement de ces multiples domaines. Nous utilisons CCSL pour unifier les aspects multiformes entre ces domaines et pour vérifier la correction de l'interaction. Nous fournissons un exemple illustrant la représentation MARTE des différents aspects du système. À partir de cet exemple, nous modélisons les intéractions entre les différentes vues en CCSL. La modélisation en CCSL permet, grâce à l'outil TIMESQUARE , de fournir une simulation de la conception de puissance multi-domaine.

This paper overviews the benefits of using logical time in the context of the RT-Simex project. We focus on the use of logical time to, first, graphically specify the functional and extra-functional system requirements; second, to verify that an execution is correct with regards to the requirements. The system requirements are expressed by using the UML MARTE profile conjointly with CCSL, its formal and tooled companion language.

In the context of last year RTSS robotic competition, SAIA models and their implementation have been pro- posed. The goal was the development of an exploration robot. This year, the paper proposes the reuse one of these models for the ciberMouse design. The realized modifications are presented and an emphasis is made on benefits and limits of SAIA model reuse.

Data-flow models are convenient to represent signal processing systems. They precisely reflect the data-dependencies and numerous algorithms exist to compute a static schedule that optimizes a given criterion especially for parallel implementations. Once deployed the data-flow models must be refined with constraints imposed by the environment and the execution platform. In this paper, we show how we can model data dependencies supported by multi-dimensional synchronous data flow with logical time and extend these data dependencies with additional logical constraints imposed by the environment. Making explicit these external constraints allows the exploration of further solutions during the scheduling computation.

Embedded systems are very difficult to design and debug because of the limited access to the device itself. Therefore, debugging usually requires to instrument the code so as to produce execution traces that are then monitored from a base station. Such an intrusive method has a direct impact on performances. In case of multiple interacting embedded targets the problem is even more severe and is not limited to computations but also spreads to communications. To reduce the communication overhead, we propose an approach in which unsynchronized traces from several targets are reconciled a posteriori. Since each target has its own time base without a built-in clock synchronization protocol, our approach requires a multi-clock reconciliation specification. This paper describes our modelbased proposal developed during the ANR project RT-Simex. The different steps of the reconciliation are illustrated on a simple case-study used in the project, a terrestrial robot controlled in position.

This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external environment and the Quality of Service (QoS) provided by the used target. So, the method is MDA-based and proposes to separate the concerns, introducing a communication layer with the outside environment, an application layer and a connection layer between these two layers. Then, it is possible to emulate each part on the system in order to validate it.

SAIA is a model based architecture for the development of sensors based real time applications. This paper presents the mandatory concepts to manage the extra-functional properties relating to the communication with the physical environment. Moreover, it proposes an implementation of these concepts and then a way to realize a safe application deployment.

Embedded and cyber-physical systems are becoming more and more complex. They are often split into subsystems and each subsystem can be addressed by a Domain Specific Modeling Language (DSML). A DSML efficiently specifies the domain concepts as well as their behavioral semantics. For a single system, several models conforming to different DSMLs are then developed and the system specification is consequently heterogeneous, i.e., it is specified by using heterogeneous languages. The behaviors of these models have to be coordinated to provide simulation and/or verification of the overall system. This thesis studies this coordination problem with the objective of enabling the execution and the verification of the heterogeneous systems, by relying on the behavioral composition of DSMLs. We are currently proposing a language named B-COoL (Behavioral Composition Operator Language) to specify the composition of DSMLs behavior. The aim of B-COoL is twofold: to capitalize the coordination at the language level, and to enable the automatic generation of the coordination between models conforming to composed DSMLs.

Je tiens également à remercier chacun des membres du jury pour avoir accepté de jouer ce rôle et en particulier, Jean-Marc Jézéquel et Lionel Seinturier pour les conseils avisés qu'ils m'ont procurés en tant que rapporteurs de cette thèse. Enn, pour ne pas utiliser un style trop répétitif et an d'apporter la touche d'originalité souvent recherchée dans les remerciements, la suite de mes remerciements est présentée, page suivante, sous forme de mots croisés. i