Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

xGiotto Language Report

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

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-03-1261
July 2003

http://www.eecs.berkeley.edu/Pubs/TechRpts/2003/CSD-03-1261.pdf

xGiotto is an extension of the programming language Giotto. Giotto was developed essentially for embedded systems with a periodical control, as example for implementing an autopilot system for a model helicopter. In particular Giotto focused on the strict separation of timing and functionality. The timing allowed to simplify the temporal behavior analysis, necessary to prove system safety and reactivity. Discerning the timing and functionality, exposed the functionality and made it more tractable and analyzable in respect of execution times analysis. xGiotto builds on top of Giotto in the sense that the strict separation of timing and functionality is respected and even made more clear at the syntactical level. xGiotto asserts on the fixed-logical execution time semantics of a task. The logical execution time of a task is specified in the program and therefore made independent from the executing platform. This makes the timing behavior of a xGiotto program platform-independent and deterministic.


BibTeX citation:

@techreport{Sanvido:CSD-03-1261,
    Author = {Sanvido, Marco A. A. and Ghosal, Arkadeb and Henzinger, Thomas A.},
    Title = {xGiotto Language Report},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2003},
    Month = {Jul},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2003/5457.html},
    Number = {UCB/CSD-03-1261},
    Abstract = {xGiotto is an extension of the programming language Giotto.  Giotto was developed essentially for embedded systems with a periodical control, as example for implementing an autopilot system for a model helicopter. In particular Giotto focused on the strict separation of timing and functionality. The timing allowed to simplify the temporal behavior analysis, necessary to prove system safety and reactivity. Discerning the timing and functionality, exposed the functionality and made it more tractable and analyzable in respect of execution times analysis. xGiotto builds on top of Giotto in the sense that the strict separation of timing and functionality is respected and even made more clear at the syntactical level. xGiotto asserts on the fixed-logical execution time semantics of a task. The logical execution time of a task is specified in the program and therefore made independent from the executing platform. This makes the timing behavior of a xGiotto program platform-independent and deterministic.}
}

EndNote citation:

%0 Report
%A Sanvido, Marco A. A.
%A Ghosal, Arkadeb
%A Henzinger, Thomas A.
%T xGiotto Language Report
%I EECS Department, University of California, Berkeley
%D 2003
%@ UCB/CSD-03-1261
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2003/5457.html
%F Sanvido:CSD-03-1261