The University of Southampton
University of Southampton Institutional Repository

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

Record type: Conference or Workshop Item (Paper)

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.

PDF date2008-cruz.pdf - Other
Download (285kB)

Citation

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

More information

Published date: 10 March 2008
Additional Information: Event Dates: March 10-14, 2008
Venue - Dates: Design, Automation and Test in Europe (DATE), Germany, 2008-03-10 - 2008-03-14
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 271542
URI: http://eprints.soton.ac.uk/id/eprint/271542
PURE UUID: 230d22ad-584a-4b6a-b330-9500455d3d6b

Catalogue record

Date deposited: 12 Sep 2010 19:10
Last modified: 18 Jul 2017 06:41

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 http://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.

×