Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

A Preliminary Report on the Embedded Virtual Machine

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

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-04-1322
May 2004

http://www.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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2004},
    Month = {May},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2004/5615.html
%F Ghosal:CSD-04-1322