From UML/MARTE to RTDT: A model driven based method for scheduling analysis and HW/SW partitioning

Kacem, Yessine Hadj; Mahfoudhi, Adel; Tmar, Hedi; Abid, Mohamed

doi:10.1109/aiccsa.2010.5586936

Cited by 1 publication

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Contrary to the simulation and test of feasibility, the model-checking provides examples showing why an imposed constraint is not satisfied. In this context, some research studies [12] [10] [6] [9] aim at transforming UML/MARTE model into a scheduling analysis tool such as [4], [2], [16] and [15]. Unfortunately, UML diagrams are generally mapped into simulation platforms for schedulability test as mention.…”

Section: Introductionmentioning

confidence: 99%

Using MDE and priority time petri nets for the schedulability analysis of embedded systems modeled by UML activity diagrams

Kacem¹,

Mahfoudhi²,

Magdich³

et al. 2012

2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems

Self Cite

View full text Add to dashboard Cite

This paper proposes a model driven approach for the schedulability analysis at an early stage of the embedded system development life-cycle. The activity diagram of Unified Modeling Language (UML) annotated with the profile for the Modeling and Analysis of Real-Time and Embedded systems (MARTE) is mapped into Priority Time Petri Net (PTPN) to enhance formal schedulability test of given real time tasks. The generated PTPN model is interpreted and executed to check whether a schedule of a task execution meets the imposed timing constraints. Therefore, the present paper focuses on the definition of temporal properties and tasks dependency by means of activity diagram and MARTE profile. Besides, it describes the transformation rules from analysis model to formal model.

show abstract