ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis


Cruz, Fabiano, Barreto, Raimundo, Cordeiro, Lucas and Maciel, Paulo (2008) ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. In, Design, Automation and Test in Europe (DATE), Munich, Germany, 10 - 14 Mar 2008. IEEE Computer Society, 1510-1515.

Download

[img] PDF
Download (279Kb)

Description/Abstract

In this paper, we introduce the ezRealtime project, which relies on the Time Petri Net (TPN) formalism and defines a Domain-Specific Modeling (DSM) tool to provide an easy- to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. Therefore, this paper presents a generative programming method in order to boost code quality and improve substantially developer productivity by making use of automated software synthesis. The ezRealtime tool reads and automatically translates the system's specification to a time Petri net model through composition of building blocks with the purpose of providing a complete model of all tasks in the system. Hence, this model is used to find a feasible schedule by applying a depth-first search algorithm. Finally, the scheduled code is generated by traversing the feasible schedule, and replacing transition's instances by the respective code segments. We also present the application of the proposed method in an expressive case study.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: March 10-14, 2008
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 271542
Date Deposited: 12 Sep 2010 19:10
Last Modified: 27 Mar 2014 20:17
Publisher: IEEE Computer Society
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/271542

Actions (login required)

View Item View Item