ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis
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.
1510-1515
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
10 March 2008
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)
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.
Design, Automation and Test in Europe (DATE), Munich, Germany.
10 - 14 Mar 2008.
.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
date2008-cruz.pdf
- Other
More information
Published date: 10 March 2008
Additional Information:
Event Dates: March 10-14, 2008
Venue - Dates:
Design, Automation and Test in Europe (DATE), Munich, 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: 14 Mar 2024 09:34
Export record
Contributors
Author:
Fabiano Cruz
Author:
Raimundo Barreto
Author:
Lucas Cordeiro
Author:
Paulo Maciel
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