Tesis Doctorales en Red (TDR)
This thesis describes the integration of the end-to-end flow real-time model, which is defined in the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard, into distribution middleware, as it can facilitate the development process of distributed real-time systems based on the Model-Driven Engineering (MDE) paradigm. The study focuses on how distribution standards and their implementations guarantee the real-time behaviour of these kinds of applications, thus providing a set of features required to develop analyzable distributed real-time systems. The standards studied are RT-CORBA (Real-Time Common Object Request Broker Architecture), the DSA (Distributed Systems Annex) of Ada, and DDS (Data Distribution Service for real-time systems). The features analysed will contribute to the definition of the endpoints pattern, a new proposal that, when integrated with distribution middleware, enables the use of MDE and schedulability analysis techniques more easily. This thesis also presents a distributed real-time platform supporting different distribution standards, and scheduling policies, and several examples or case studies to validate the features and usability of the endpoints pattern. In addition, this thesis deals with the use of the end-to-end flow model in high-integrity systems by adapting the endpoints pattern to the Ravenscar profile, and also explores the integration of the proposal into a toolset for MDE to enable the automatic generation of Ravenscar-compliant distribution code. Finally, specific implementations of the endpoints pattern are presented for full and restricted Ada.
