Java Card Yazılımlarının Model Güdümlü Geliştirilmesi

Öz

Java Card, kullanım alanları, dinamik olarak uygulama geliştirilebilmesi ve tercih edilme sıklığı açısından bakıldığında endüstri lideri konumunda bulunan bir akıllı karttır. Akıllı kartlar üzerlerinde mikroişlemci bulunan, veriyi saklayabilme ve işleyebilme yeteneğine sahip; hız, güvenlik, taşınabilirlik özellikleri sayesinde telekomünikasyon, ulaşım, kredi kartı endüstrisi gibi birçok alanda kullanılabilen, entegre cihazlardır. Bu özelliklerine rağmen, akıllı kart yazılımlarını geliştirmek, alt seviye iletişim yapıları, donanımsal sebepler ve Java Card’ın yazılım geliştirme aşamasında kullanıcıya getirdiği bazı kısıtlar nedeniyle, geliştiriciler için sıkıntılı bir hal almaktadır. Bu çalışmada, Java Card yazılımlarının otomatik ve daha basit bir şekilde ve hatasız üretilmesini sağlayan model güdümlü bir yazılım geliştirme yöntemi tanıtılmaktadır.

Anahtar Kelimeler

• Model güdümlü geliştirme, Java Card, Otomatik kod üretme

Model Driven Development of Java Card Software

Öz

Today Java Card is the most preferred type of multi application smart cards and its application programming interface is the most widely chosen software library for the development of smart card software. Smartcards are portable integrated devices that store and process data. Speed, security and portability properties enable smartcards to have a widespread usage in various fields including telecommunication, transportation and credit card industry. However, the development of Java Card applications is a difficult task due to the hardware and software constraints. Hence, in this study, we introduce a model-based approach which facilitates the Java Card software development by both providing an easy design of smart card systems and automatic generation of the software from the system models.

Anahtar Kelimeler

• Model Driven Development, Java Card, Code Generation

Kaynakça

1. [1] ISO/IEC 7816 Standards family for Identification cards - Integrated circuit cards,http://www.iso.org/iso/iso_catalogue/catalogu e_tc/catalogue_tc_browse.htm?commid=45144
2. [2] Rankl, W., Effing, W.: Smart Card Handbook. John Wiley & Sons, West Sussex (2000)
3. [3] Kardas, G. and Tunali, E. T. (2006) "Design and Implementation of a Smart Card Based Healthcare Information System", Computer Methods and Programs in Biomedicine, Elsevier, Vol. 81, Issue 1, pp. 66-78.
4. [4] Kardas, G., Celikel, E.: A Smart Card Mediated Mobile Platform for Secure E-Mail Communication. In: 4th International Conference on Information Technology: New Generations, pp. 925-926. IEEE Computer Society Press, New York (2007)
5. [5] Sun Microsystems: Java Card Technology, http://java.sun.com/javacard/
6. [6] Eclipse Modeling Framework Project (EMF) , http://www.eclipse.org/modeling/emf/
7. [7] Eclipse Graphical Modeling Framework (GMF) , http://www.eclipse.org/modeling/gmf/
8. [8] Oldevik, J., Neple, T., Gronmo, R., Aagedal J., Berre, AJ.: Toward Standardised Model to Text Transformations. In: Hartman A., Kreische D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 239--253. Springer, Heidelberg (2005)

9. [9] "Embedded Star Newsletter, 2004, "Java Card Technology Platform Reaches 750 Million Deployments", http://www.embeddedstar.com/press/content/2004/1 1/embedded17020.html
10. [10] Chen, Zhiqun, Java Card Technology for Smart Cards: Architecture and Programmer's Guide, Addison-Wesley, September 18, 2000
11. [11] Object Management Group Model Driven Architecture, http://www.omg.org/mda/
12. [12] Sm@rtCafé Professional Toolkit, Giesecke & Devrient GmbH, 2008, http://www.gdai.com/portal/payment/page- _pageid=42,142959&_dad=portal&_schema=PORT AL.htm
13. [13] Bonnet, S., Potonniee, O., Marvie, R., Geib, J-M.: A Model-Driven Approach for Smart Card Configuration. In: Karsai, G. Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 416--435. Springer, Heidelberg (2004)
14. [14] Coglio, A.: Code generation for high-assurance Java Card applets. In: 3rd NSA Conference on High Confidence Software and Systems, pp. 85--93 (2003)
15. [15] Moebius, N., Stenzel, K., Grandy, H., Reif, W.: Model-Driven Code Generation for Secure Smart Card Applications. In: 20th Australian Software Engineering Conference, pp. 44--53. IEEE Computer Society Press, New York (2009)
16. [16] Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128--138. Springer, Heidelberg (2006)