-
Adaptability and reconfiguration for embedded and real-time systems
Real-time systems can be large, distributed and have a dynamic environment. This requires the introduction of various operating modes and reliability techniques.... -
A Methodology to Develop High Performance Applications on GPGPU Architectures...
Complex physical phenomena can be numerically simulated by mathematical techniques. Usually, these techniques are based on discretization of partial differential... -
Contribution to multiplatform deployement of muttitasking applications by hig...
Given the complexity of multitasked software, linked to very pressing economic and competitive contexts, application portability and deployment process reusability has... -
Verification of Synchronization-Related Properties for UML-MARTE RTES Models ...
Critical Real-Time Embedded Systems (RTES) have strong requirement with respect to system's reliability. In Model-Driven Engineering (MDE), verification at early... -
Multi-View Power Modeling based on UML MARTE and SysML
The development of SoC involves different activities, usually driven by specialists. These specialists use specific languages and tools to manipulate their specific... -
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Tim...
Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted... -
Model-based design for on-chip systems using and extending Marte and IP-XACT
On-chip systems (also known as System-on-chip or SoC) are more and more complex. SoC design heavily relies on reuse of building blocks, called IPs (Intellectual... -
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models
International audience -
Lazy Parallel Synchronous Composition of In finite Transition Systems
International audience -
Hardware Control of partially reconfigurable FPGA-systems: from modeling to i...
This work proposes a control design methodology for FPGA-based reconfigurable systems aiming at increasing control design productivity and guaranteeing implementation... -
Modeling and formal control of reconfiguration -- Application to dynamically ...
This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work... -
Power consumption analysis using multi-view modeling
International audience -
Decentralized control for dynamically reconfigurable FPGA systems
International audience -
From high-level modelling of time in MARTE to real-time scheduling analysis.
International audience -
Two Semantic Models for Clock Relations in the Clock Constraint Specification...
International audience -
Modeling functional and non-functional properties of systems based on a multi...
At the system-level, experts specify functional and non-functional properties by employing their own theoretical models, tools and environments. Such experts attempt...
