Abstract:As partially reconfigurable technologies develop for embedded systems, the need for a proper model to describe its behavior emerges. Most academic and industrial tools available on the market does not address dynamic structure modeling. The arising of discrete-event modeling, in particular, Discrete Event System Specification (DEVS), propose formal tools for representing and simulating models. DEVS has already extension which handles the dynamic structure modeling. However, the capacities of these existing formalism have limitations. Notably, they do not address the components context aspect. Also, the existing formalisms have not integrated the system engineering approach. System engineering brings beneficial procedures, notably modeldriven architecture which proposes to separate the system description from its execution target. A platform-specific model is formed from a platformdescription model coupled with a platform independent model. To address these needs, we propose a model description formalism which takes into consideration these two aspects: dynamic structure modeling and system engineering. This formalism is based on DEVS and called Partially Reconfigurable Discrete Event System Specification (PRDEVS). PRDEVS allows to represent dynamic-structure models independently from the simulation platform. The presented approach can be applied to different types of targets, such as software and reconfigurable hardware. This thesis addresses these two kinds of platforms, demonstrating the suitability of the abstract formalism to actual platforms.

Software Component Model for Field Devices

Multi-component Agent Based Collaborative Design System

Pcanel: a model driven component framework

Component-based and Model-Driven Embedded Operating System

A Component-Based Model Integrated Framework For Embedded Software

Applying RMA for Scheduling Field Device Components

Software Framework for Component-Based Rapid Prototyping System Design

Formal Component Model Framework

Modification of product data for remote collaborative design

Research on Component-Based Software Development for Embedded System

Component Model Optimization For Distributed Realtime Embedded Software

Modeling Non-Functional Application Domain Constraints for Component-Based Robotics Software Systems

Gestion Dynamique des Services Techniques pour Modele a Composants

Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models

Survey on Modeling and Verification Techniques of Composable Embedded Software

Study on the Component-Based Applications System Framework

Towards A Software Framework For Building Highly Flexible Component-Based Embedded Operating Systems

A Feature-Oriented Adaptive Component Model for Dynamic Evolution

Simulation of Dynamically Structured Systems in a Model-Based System Engineering Approach Applied to Reconfigurable Hardware

Model-Based Firmware Generation for Acquisition Systems Using Heterogeneous Hardware

Hierarchical integration of runtime models