The University of Southampton
University of Southampton Institutional Repository

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

Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software
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.
978-1-59593-753-7
308-314
Cruz, Fabiano
50f4a012-9452-4b43-b8d3-ccd1ebe062f8
Barreto, Raimundo
32d9c509-339c-410a-8703-15f7dcc26c09
Cordeiro, Lucas
3580f117-e41c-4235-982c-51d383e40883
Maciel, Paulo
161acb21-3818-4751-af92-a129c1e96bd0
Cruz, Fabiano
50f4a012-9452-4b43-b8d3-ccd1ebe062f8
Barreto, Raimundo
32d9c509-339c-410a-8703-15f7dcc26c09
Cordeiro, Lucas
3580f117-e41c-4235-982c-51d383e40883
Maciel, Paulo
161acb21-3818-4751-af92-a129c1e96bd0

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

Record type: Conference or Workshop Item (Other)

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.

Text
sac08.pdf - Other
Download (208kB)

More information

Published date: 16 March 2008
Additional Information: Event Dates: March 16-20, 2008
Venue - Dates: In 23rd ACM Symposium on Applied Computing, Track on Real-Time Systems, Brazil, 2008-03-16 - 2008-03-20
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 271217
URI: https://eprints.soton.ac.uk/id/eprint/271217
ISBN: 978-1-59593-753-7
PURE UUID: db3c2b52-d5a3-4d36-bb99-23a64a77a130

Catalogue record

Date deposited: 02 Jun 2010 20:47
Last modified: 19 Jul 2019 22:13

Export record

Contributors

Author: Fabiano Cruz
Author: Raimundo Barreto
Author: Lucas Cordeiro
Author: Paulo Maciel

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×