Please use this identifier to cite or link to this item:
Title: JCML: A specification language for the runtime verification of Java Card programs
Authors: Moreira, Anamaria Martins
Costa, Umberto Souza da
Musicante, Martin A.
Souza Neto, Plácido A.
Keywords: Java.;Linguagem de Programação.;Java Card.
Issue Date: 19-Mar-2010
Publisher: Elsevier
Abstract: Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical,highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve the safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modelling Language) a specification language derived from JML (Java Modelling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators. This paper extends previous published work from the authors with a more complete and precise definition of the JCML language and new experiments and results.
Description: COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.
ISSN: 0167-6423
Appears in Collections:CCET - DIMAP - Artigos publicados em periódicos

Files in This Item:
File Description SizeFormat 
ARTIGO 1.pdf954,22 kBAdobe PDFThumbnail

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.