A Preliminary Report on the Embedded Virtual Machine

Abstract

XGIOTTO [5] 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 [6]. 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 introduced in [5]) and a modified Embedded Machine [7]. 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2004
Accession Number
ADA603314

Entities

People

  • Arkadeb Ghosal
  • Marco A. Sanvido
  • Thomas Henzinger

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Calculus
  • Case Studies
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Embedded Systems
  • Fuel Injection
  • Fuel Injectors
  • Instruction Set Architecture
  • Instructions
  • Models
  • Programming Languages
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.