Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

Summary: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time
Software Synthesis
Fabiano Cruz, Raimundo Barreto, Lucas Cordeiro
Departamento de Ci^encia da Computac¸~ao
Universidade Federal do Amazonas
{fcruz,rbarreto,lcc}@dcc.ufam.edu.br
Paulo Maciel
Centro de Inform´atica (CIn)
Universidade Federal de Pernambuco
prmm@cin.ufpe.br
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 pre-
dictable 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 ezReal-

  

Source: Anderson, Jim - School of Mathematics, University of Southampton

 

Collections: Mathematics