{'fraction_non_alphanumeric': 0.023273855702094646, 'fraction_numerical': 0.0, 'mean_word_length': 5.02803738317757, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
High level modeling for Real-time applications with UML & MARTE

This paper shows initial results and the research path in a methodology to use UML & the UML Profile for MARTE in the design of real-time applications. The modeling constructs used are those proposed in the High Level Application Modeling chapter of the MARTE standard. These elements are at a high abstraction level, and hence they need to be complemented with a number of constraints and rules of usage in order to get a consistent set of transformations to obtain code and analysis models automatically from them. The rules and patterns proposed in this effort are meant to address increasingly complex design intents. As a starting point in the methodology this paper shows some of the basic ones, concretely the simple independent tasking model, the passive protected data sharing, and the distributed end-to-end flows of linear execution. The models here defined are suitable to be transformed into both: schedulability analysis models and code generation models. These models are also represented in UML as a previous step to its execution, the profiling of its execution times, and the schedulability analysis. Keywords—code generation; modeling; UML; MARTE; modelbased schedulability analysis; MAST; Ada; real-time.