Automating the Generation of Platform Specific Models

Multi-threaded real-time applications run on platforms that offer services such as concurrency, timing and synchronization. In a model driven context, separation of concerns between functional specification and design choices is one of the key challenges. For that purpose, annotations defined by the MARTE sub-profile for software resource modeling (SRM) provide high level abstractions of target software platforms helping to deploy the same application model on various targets. However, deployment of an application on a platform is not only characterized by the API of the targeted OS, but it is also influenced by possible design restrictions set by the programming languages and their related libraries. We examine key characteristics that exist in two widely used programming languages (C++ and Java) and their libraries to analyze how this can be handled with an MDE approach based on the use of SRM.