Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Predictable Programs in Barcodes Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Rajeev Alur
 

Summary: Predictable Programs in Barcodes
Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Rajeev Alur
Department of Computer and Information Science
University of Pennsylvania
200 South 33rd Street
Philadelphia, PA 19104-6389
agoodloe@saul.cis.upenn.edu, mmcdouga@saul.cis.upenn.edu,
gunter@cis.upenn.edu, alur@cis.upenn.edu
ABSTRACT
We explore the challenges for making the programming interfaces
for embedded devices open and safe, and present a prototype archi-
tecture for delivering verified programs using barcodes. In partic-
ular, we consider programs for microwave ovens, which provide a
basic open API for controlling cooking times. In our architecture,
recipes are written in Java, and their safety properties are formally
verified using the model checker Spin. We use off-the-shelf utilities
for compressing the byte code, and use two-dimensional barcodes
for program delivery. We report on experiments that demonstrate
the feasibility of the proposed architecture for predictability and
delivery.

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences