Arkadeb Ghosal and Marco A. A. Sanvido and Thomas A. Henzinger

EECS Department, University of California, Berkeley

Technical Report No. UCB/CSD-04-1322

, 2004

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/CSD-04-1322.pdf

XGIOTTO is a domain specific language for the implementation of embedded software applications with hard temporal constraints. The language is an extension of the original GIOTTO language. In this report we present the XGIOTTO tool chain, composed of the compiler and a specialized virtual machine, Embedded Virtual Machine (EVM). The compiler checks for determinism (absence of races) and time safety (schedulability within logical execution times) and generates code for EVM. The EVM integrates an event filter (which handles aperiodic asynchronous events and event scoping) and a modified Embedded Machine. The report presents the instruction set and the operational semantics of the virtual machine. The report also presents event calculus which is used to extend expressiveness of XGIOTTO. The report concludes with a case study of implementing an automotive engine controller.

---

BibTeX citation:

@techreport{Ghosal:CSD-04-1322,
    Author= {Ghosal, Arkadeb and Sanvido, Marco A. A. and Henzinger, Thomas A.},
    Title= {A Preliminary Report on the Embedded Virtual Machine},
    Year= {2004},
    Month= {May},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/5615.html},
    Number= {UCB/CSD-04-1322},
    Abstract= {XGIOTTO is a domain specific language for the implementation of embedded software applications with hard temporal constraints. The language is an extension of the original GIOTTO language. In this report we present the XGIOTTO tool chain, composed of the compiler and a specialized virtual machine, Embedded Virtual Machine (EVM). The compiler checks for determinism (absence of races) and time safety (schedulability within logical execution times) and generates code for EVM. The EVM integrates an event filter (which handles aperiodic asynchronous events and event scoping) and a modified Embedded Machine. The report presents the instruction set and the operational semantics of the virtual machine. The report also presents event calculus which is used to extend expressiveness of XGIOTTO. The report concludes with a case study of implementing an automotive engine controller.},
}

EndNote citation:

%0 Report
%A Ghosal, Arkadeb 
%A Sanvido, Marco A. A. 
%A Henzinger, Thomas A. 
%T A Preliminary Report on the Embedded Virtual Machine
%I EECS Department, University of California, Berkeley
%D 2004
%@ UCB/CSD-04-1322
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/5615.html
%F Ghosal:CSD-04-1322