-
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.... -
Cognitive Radio Equipments Modeling: Meta-Model and Tooling Proposal
International audience -
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... -
Formal object-oriented development of a voting system test oracle
International audience -
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... -
Integrated approach for disassembly processes generation and recycling evalua...
International audience -
DIAGRAM, un EIAH pour l'initiation à la modélisation orientée objet avec les ...
Cet article présente Diagram, un EIAH pour la modélisation orientée objet avec les diagrammes de classe UML. Diagram réifie un modèle dinteraction conçu pour favoriser... -
Design of a Library for Dense Matching
The algorithms involved for a dense 3D reconstruction from two frames are highly dependent of the viewed scene. Furthermore, the user goals themselves induce should... -
FPGA Configuration of Intensive Multimedia Processing Tasks Modeled in UML
Recent research have demonstrate interests in a codesign framework that allows description refinement at different abstraction level. We have proposed such a... -
Introducing Control in the Gaspard2 Data-Parallel Metamodel: Synchronous Appr...
In this document, we study the introduction of control in the Gaspard2 application UML metamodel by using the synchronous reactive system principles. This allows to... -
MultiCAD/MultiPDM integration framework
International audience -
Contribution à la mise-en-œuvre d'un moteur d'exécution de modèles UML pour l...
Model Driven Engineering (MDE) places models at the heart of the software engineering process. MDE helps managing the complexity of software systems and improving the... -
Towards a framework to manage formalised exchanges during collaborative design
International audience -
Utilisation de B pour la vérification de spécifications UML et le développeme...
The coupling of object-oriented approaches with the B method makes improvement the activities of software specification and development. The B method provides... -
Contribution of multi-agent system to analyze the organizational performance ...
Crisis management has become an essential activity in public and private organizations. It is most often supported by a "crisis cell" that aims to implement...
