BibTex RIS Cite

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

Year 2011, Volume: 4 Issue: 1 - Volume: 4 Issue: 1, 1 - 10, 24.06.2016

Hidayet Burak Sarıtaş Geylani Kardaş

Abstract

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.

Keywords

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

References

  • [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

Year 2011, Volume: 4 Issue: 1 - Volume: 4 Issue: 1, 1 - 10, 24.06.2016

Hidayet Burak Sarıtaş Geylani Kardaş

Abstract

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.

Keywords

Model Driven Development Java Card Code Generation

References

  • [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)
There are 16 citations in total.

Details

Other ID JA37HK83JS
Journal Section Makaleler(Araştırma)
Authors

Hidayet Burak Sarıtaş This is me

Geylani Kardaş This is me

Publication Date June 24, 2016
Published in Issue Year 2011 Volume: 4 Issue: 1 - Volume: 4 Issue: 1

Cite

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. June 2016;4(1):1-10.
Chicago Sarıtaş, Hidayet Burak, and 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, no. 1 (June 2016): 1-10.
EndNote Sarıtaş HB, Kardaş G (June 1, 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ş and G. Kardaş, “Java Card Yazılımlarının Model Güdümlü Geliştirilmesi”, TBV-BBMD, vol. 4, no. 1, pp. 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 (June 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 and 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, vol. 4, no. 1, 2016, pp. 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.

Article Acceptance

Use user registration/login to upload articles online.

The acceptance process of the articles sent to the journal consists of the following stages:

1. Each submitted article is sent to at least two referees at the first stage.

2. Referee appointments are made by the journal editors. There are approximately 200 referees in the referee pool of the journal and these referees are classified according to their areas of interest. Each referee is sent an article on the subject he is interested in. The selection of the arbitrator is done in a way that does not cause any conflict of interest.

3. In the articles sent to the referees, the names of the authors are closed.

4. Referees are explained how to evaluate an article and are asked to fill in the evaluation form shown below.

5. The articles in which two referees give positive opinion are subjected to similarity review by the editors. The similarity in the articles is expected to be less than 25%.

6. A paper that has passed all stages is reviewed by the editor in terms of language and presentation, and necessary corrections and improvements are made. If necessary, the authors are notified of the situation.

0

.   This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.