Volume 9 Number 7 (Jul. 2014)
Home > Archive > 2014 > Volume 9 Number 7 (Jul. 2014) >
JSW 2014 Vol.9(7): 1737-1748 ISSN: 1796-217X
doi: 10.4304/jsw.9.7.1737-1748

RTOS-Aware Refactoring for Portable Real-Time Design Models

Rania Mzid1, 2, 3, Chokri Mraidha1, Jean-Philippe Babau2, Mohamed Abid3
1CEA, LIST, Laboratory of model driven engineering for embedded systems, France
2Lab-STICC, UBO, UEB, France
3CES Laboratory, National School of engineers of Sfax, University of Sfax, Tunisia


Abstract—In a model-driven development context, the refinement of a Real Time Operating System (RTOS) independent design model of a real-time application to a RTOS specific implementation model is a non-trivial task. Indeed, the different design choices made to guarantee the application timing properties are not always implementable on the target RTOS. In this paper, we propose a pattern-based approach to perform the refactoring of the real-time design model when a deployment problem appears. This refactoring guarantees the deployment of the refactored design model and the respect of its timing properties. This paper explains in details two examples of patterns which are the Equal Priority Merge Pattern (EPMP) and the Distinct Priority Merge Pattern (DPMP). The automation of the proposed approach allows showing its applicability on a robotic case study.

Index Terms—real-time embedded systems; software development; model-driven development; real-time verification; design model; RTOS-specific model; patterns; refactoring

[PDF]

Cite: Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid, "RTOS-Aware Refactoring for Portable Real-Time Design Models," Journal of Software vol. 9, no. 7, pp. 1737-1748, 2014. 

 

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Mar 17, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 12 have been indexed by DBLP     [Click]

  • Mar 31, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]