BibTex RIS Kaynak Göster

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

Yıl 2011, Cilt: 4 Sayı: 1 - Cilt: 4 Sayı: 1, 1 - 10, 24.06.2016

Hidayet Burak Sarıtaş Geylani Kardaş

Ö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

Kaynakça

  • [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] Rankl, W., Effing, W.: Smart Card Handbook. John Wiley & Sons, West Sussex (2000)
  • [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] 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] Sun Microsystems: Java Card Technology, http://java.sun.com/javacard/
  • [6] Eclipse Modeling Framework Project (EMF) , http://www.eclipse.org/modeling/emf/
  • [7] Eclipse Graphical Modeling Framework (GMF) , http://www.eclipse.org/modeling/gmf/
  • [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] "Embedded Star Newsletter, 2004, "Java Card Technology Platform Reaches 750 Million Deployments", http://www.embeddedstar.com/press/content/2004/1 1/embedded17020.html
  • [10] Chen, Zhiqun, Java Card Technology for Smart Cards: Architecture and Programmer's Guide, Addison-Wesley, September 18, 2000
  • [11] Object Management Group Model Driven Architecture, http://www.omg.org/mda/
  • [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] 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] 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] 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] Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128--138. Springer, Heidelberg (2006)

Model Driven Development of Java Card Software

Yıl 2011, Cilt: 4 Sayı: 1 - Cilt: 4 Sayı: 1, 1 - 10, 24.06.2016

Hidayet Burak Sarıtaş Geylani Kardaş

Ö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] 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] Rankl, W., Effing, W.: Smart Card Handbook. John Wiley & Sons, West Sussex (2000)
  • [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] 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] Sun Microsystems: Java Card Technology, http://java.sun.com/javacard/
  • [6] Eclipse Modeling Framework Project (EMF) , http://www.eclipse.org/modeling/emf/
  • [7] Eclipse Graphical Modeling Framework (GMF) , http://www.eclipse.org/modeling/gmf/
  • [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] "Embedded Star Newsletter, 2004, "Java Card Technology Platform Reaches 750 Million Deployments", http://www.embeddedstar.com/press/content/2004/1 1/embedded17020.html
  • [10] Chen, Zhiqun, Java Card Technology for Smart Cards: Architecture and Programmer's Guide, Addison-Wesley, September 18, 2000
  • [11] Object Management Group Model Driven Architecture, http://www.omg.org/mda/
  • [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] 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] 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] 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] Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128--138. Springer, Heidelberg (2006)
Toplam 16 adet kaynakça vardır.

Ayrıntılar

Diğer ID JA37HK83JS
Bölüm Makaleler(Araştırma)
Yazarlar

Hidayet Burak Sarıtaş Bu kişi benim

Geylani Kardaş Bu kişi benim

Yayımlanma Tarihi 24 Haziran 2016
Yayımlandığı Sayı Yıl 2011 Cilt: 4 Sayı: 1 - Cilt: 4 Sayı: 1

Kaynak Göster

APA Sarıtaş, H. B., & Kardaş, G. (2016). Java Card Yazılımlarının Model Güdümlü Geliştirilmesi. Türkiye Bilişim Vakfı Bilgisayar Bilimleri Ve Mühendisliği Dergisi, 4(1), 1-10.
AMA Sarıtaş HB, Kardaş G. Java Card Yazılımlarının Model Güdümlü Geliştirilmesi. TBV-BBMD. Haziran 2016;4(1):1-10.
Chicago Sarıtaş, Hidayet Burak, ve Geylani Kardaş. “Java Card Yazılımlarının Model Güdümlü Geliştirilmesi”. Türkiye Bilişim Vakfı Bilgisayar Bilimleri Ve Mühendisliği Dergisi 4, sy. 1 (Haziran 2016): 1-10.
EndNote Sarıtaş HB, Kardaş G (01 Haziran 2016) Java Card Yazılımlarının Model Güdümlü Geliştirilmesi. Türkiye Bilişim Vakfı Bilgisayar Bilimleri ve Mühendisliği Dergisi 4 1 1–10.
IEEE H. B. Sarıtaş ve G. Kardaş, “Java Card Yazılımlarının Model Güdümlü Geliştirilmesi”, TBV-BBMD, c. 4, sy. 1, ss. 1–10, 2016.
ISNAD Sarıtaş, Hidayet Burak - Kardaş, Geylani. “Java Card Yazılımlarının Model Güdümlü Geliştirilmesi”. Türkiye Bilişim Vakfı Bilgisayar Bilimleri ve Mühendisliği Dergisi 4/1 (Haziran 2016), 1-10.
JAMA Sarıtaş HB, Kardaş G. Java Card Yazılımlarının Model Güdümlü Geliştirilmesi. TBV-BBMD. 2016;4:1–10.
MLA Sarıtaş, Hidayet Burak ve Geylani Kardaş. “Java Card Yazılımlarının Model Güdümlü Geliştirilmesi”. Türkiye Bilişim Vakfı Bilgisayar Bilimleri Ve Mühendisliği Dergisi, c. 4, sy. 1, 2016, ss. 1-10.
Vancouver Sarıtaş HB, Kardaş G. Java Card Yazılımlarının Model Güdümlü Geliştirilmesi. TBV-BBMD. 2016;4(1):1-10.

https://i.creativecommons.org/l/by-nc/4.0Makale Kabulü

 

Çevrimiçi makale yüklemesi yapmak için kullanıcı kayıt/girişini kullanınız.

Dergiye gönderilen makalelerin kabul süreci şu aşamalardan oluşmaktadır:

1.       Gönderilen her makale ilk aşamada en az iki hakeme gönderilmektedir.

2.       Hakem ataması, dergi editörleri tarafından yapılmaktadır. Derginin hakem havuzunda yaklaşık 200 hakem bulunmaktadır ve bu hakemler ilgi alanlarına göre sınıflandırılmıştır. Her hakeme ilgilendiği konuda makale gönderilmektedir. Hakem seçimi menfaat çatışmasına neden olmayacak biçimde yapılmaktadır.

3.       Hakemlere gönderilen makalelerde yazar adları kapatılmaktadır.

4.       Hakemlere bir makalenin nasıl değerlendirileceği açıklanmaktadır ve aşağıda görülen değerlendirme formunu doldurmaları istenmektedir.

5.       İki hakemin olumlu görüş bildirdiği makaleler editörler tarafından benzerlik incelemesinden geçirilir. Makalelerdeki benzerliğin %25’ten küçük olması beklenir.

6.       Tüm aşamaları geçmiş olan bir bildiri dil ve sunuş açısından editör tarafından incelenir ve gerekli düzeltme ve iyileştirmeler yapılır. Gerekirse yazarlara durum bildirilir.

 88x31.png   Bu eser Creative Commons Atıf-GayriTicari 4.0 Uluslararası Lisansı ile lisanslanmıştır.