Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software


Cruz, Fabiano, Barreto, Raimundo , Cordeiro, Lucas and Maciel, Paulo (2008) Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. At In 23rd ACM Symposium on Applied Computing, Track on Real-Time Systems, Fortaleza, Brazil, 16 - 20 Mar 2008. , 308-314.

Download

[img] PDF
Download (203Kb)

Description/Abstract

Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing techniques such as Domain-Specific Modeling Languages (DSML) and Transformation Engines. This paper presents the ezRealtime, an MDE-based tool that relies on the Time Petri Net (TPN) formalism and defines a DSML to provide an easy-to-use environment for specifying Embedded Hard Real-Time (EHRT) systems and for synthesizing timely and predictable scheduled C code. The ezRealtime adopts the universal XML-based transfer syntax for Petri nets, named as PNML. The main idea of this work is to propose a generative programming method and tool to boost code quality and improve developer productivity with automated software synthesis. The ezRealtime tool reads and automatically translates the 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. Therefore, 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 a case study.

Item Type: Conference or Workshop Item (Speech)
Additional Information: Event Dates: March 16-20, 2008
ISBNs: 9781595937537
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 271217
Date Deposited: 02 Jun 2010 20:47
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/271217

Actions (login required)

View Item View Item