DEANTONI , Julien

In the software and system modeling community, research on domain-specific modeling languages (DSMLs) is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, the current lack of support for explicitly relating concepts expressed in different DSMLs...

No description

The Clock Constraint Specification Language (\ccsl) has been informally introduced in the specifications of the \uml Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled ''Syntax and Semantics of the Clock Constraint Specification Language'', we equipped a kernel of \ccsl with an operational...

To understand the behavior emerging from the coordination of heterogeneous simulation units, co-simulation usually relies on either a time-triggered or an event-triggered Application Programming Interface (API). It creates bias in the resulting behavior since time or event triggered API may not be appropriate to the behavioral semantics of the...

International audience

The development of Cyber-Physical Systems involves several disciplines and stakeholders, which use heterogeneous models and formalisms to specify the system and make early validation and verification. In order to understand the behaviour emerging from the heterogeneous models, a collaborative simulation (co-simulation) can be used. To make it...

TimeSquare is an Eclipse and model-based environment for the specification, analysis and verification of causal and temporal constraints. It implements the MARTE Time Model and its specification language, the Clock Constraint Specification Language (ccsl). Both MARTE and ccsl heavily reliy on logical time, made popular by its use in distributed...

International audience

This document presents aMDA-based method for the development of systems dedicated to process control. It proposes to introduce a first sensors/actuators independent model. QoS semantic definitions are then stated; thus, dealing with Quality of Service (QoS) requirements is a way to safely introducesensors/actuators in the model.

Cet article propose un état de l'art sur les architectures logicielles dans le domaine de l'embarqué et du temps réel. Il présente et discute des entités à mettre en oeuvre comme le modèle à composant., du niveau de description des architectures, des contraintes et des langages de description, des types d'analyse et des stratégies de mise en...

NovemberAbstract Lots of paper deal with the problems of real time systems development. Some of them propose approaches to be independent of the operating system used for the system deployment. This paper introduces a method for development of real time systems independently of the sensors/Actuators (or simulators services) used. The method is...

ABSTRACT. SAIA is an architectural style for the development of systems dedicated to process control. Designing an architecture that conforms to a style implies the manipulation of a lot of entities and the respect of numerous constraints. The approaches based on models and models transformations are well adapted to manage the complexity and to...

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...

In the context of last year RTSS robotic competition, SAIA models and their implementation have been proposed. 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...

The paper sketches how architectural styles can be used as a way to make a high abstraction level model suitable to analysis.

The development of SoC involves different activities, usually driven by specialists. These specialists use specific languages and tools to manipulate their specific concepts. The problem is that the multiple views of the system are split into different tools with redundant information. It makes it difficult to ensure consistency as well as to...

Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages

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...

The need for verification and debugging of critical temporal constraints in embedded systems comes out at different stages of development. In the specification step, static and dynamic views of the system are established and simulations are performed. In the implementation step, code may be instrumented with the purpose of collecting traces as...

This extended abstract summarizes our article [ HDF22], published in the Journal ofSoftware and Systems Modeling and presented as Journal First paper at MODELS'22.

Model-Driven Engineering intensively uses models and model transformations. Transformation tools ensure that the target model conforms to the target metamodel, so that it is syntactically correct. However, there is few assistance, or none at all, to guarantee that the semantics is preserved during the transformation. This is mainly due to the...

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...

Non-functional properties take an important place in real-time systems. Power consumption, time performance and temperature are non-functional properties that are individually analyzed using specialized tools. Nevertheless, non-functional properties are interrelated, and changes on one property may affect the other ones, but also may impact the...

The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) provides a means to specify embedded systems. The Clock Constraint Specification Language (CCSL) allows the specification of causal, chronological and timed properties of MARTE models. Due to its purposedly broad scope of use, CCSL has an expressiveness that can...

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 on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational...