Abstract

There is a growing interest in modeling Real-Time Embedded Systems (RTES) using high-level approaches. The recent extension of Unified Modeling Language (UML) profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) is enclosing a lot of stereotypes and sub-profiles providing support for designers to beat the shortcomings of complex systems development. In particular, the MARTE/GRM (Generic Resource Modeling) package offers stereotypes for annotating class diagrams with the needed information which will be extracted to fulfill a scheduling phase. However, GRM does not allow designers to specify data to be used neither in half-partitioned nor in global scheduling approaches; indeed, it does not support the modeling of task migration concept. Thus, we propose through this paper an extension of MARTE/GRM sub-profile to consider the modeling of information needed for the half-partitioned and global scheduling step.KeywordsClass DiagramObject Constraint LanguageSchedule ApproachObject Management GroupSchedulability AnalysisThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call