Thesis & Dissertations

We are living in a dynamic, innovative environment that claims the importance of delivering new novel products with low prices in the shortest possible time while respecting the quality of the product. Accordingly, reusability, maintainability and portability are the main concern in the development processes of Real Time Multitasked Systems. In order to reduce the development cost throughout this process, an accurate deployment from the design to implementation model should be achieved, this deployment process allow to preserve functional and non-functional properties of the application model. The Model-driven architecture approach describes the functionality of a system using a platform-independent model that is translated to one or more platform-specific models. It provides a framework for developers to separate the application design from its implementation However, while developing Real-time multitasked system some verification techniques must be conducted in order to guarantee that the system respects the real-time operating systems RTOS constraints. In this thesis, our objective is to validate the deployment of real-time multitasked systems following the MDA approach over different RTOS. This deployment should allow porting of the application from one RTOS to another while ensuring that the constraints of the target RTOS are respected. To do this, this study proposes first to capture the platform constraints explicitly using our new language “Platform Constraint Language” (PCL). In a second step based on these constraints, this study proposes a generic process for validating the deployment of the application over RTOS. The originality of this approach is that it allows the designer of the application to detect potential problems before deploying the application. This will save time and reduce the cost of development of these systems. At the end of this study, an evaluation of this approach shows the validation of an application model over three different target platforms: JAVA, POSIX and μC/OS-II