Framework for the Design of Java Firm Real-time Systems Oriented to the Generation of Timing Behaviour Models

This work proposes a framework for the design of complex Java firm real-time applications that run on embedded systems. The framework simplifies the real-time patterns included in the Real-Time Specification for Java (RTSJ) with the aim of systematizing the process of modelling and configuring the scheduling of real-time object-oriented applications. Moreover, with the proposed strategy, the designer of a real-time application can automatically obtain the timing behaviour model of the application, which is used to analyse and/or configure its schedulability so that it can be executed on an embedded system meeting its firm real-time requirements. The framework supports the design of applications whose real-time tasks interact asynchronously with non real-time ones.