Geri Dön

Akıllı kart yazılımlarının model güdümlü geliştirilmesi

Model based engineering for the development of smart card software

  1. Tez No: 285212
  2. Yazar: HİDAYET BURAK SARITAŞ
  3. Danışmanlar: YRD. DOÇ. DR. GEYLANİ KARDAŞ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Bilim ve Teknoloji, Mühendislik Bilimleri, Computer Engineering and Computer Science and Control, Science and Technology, Engineering Sciences
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2011
  8. Dil: Türkçe
  9. Üniversite: Ege Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Uluslararası Bilgisayar Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 109

Özet

Akıllı kartlar kendi içerilerinde gömülü bir işlemci ve bellek bulundurabilen taşınabilir entegre devrelerdir. Hız, güvenlik ve taşınabilirlik gibi özellikleri sayesinde ulaşım, kredi kartı endüstrisi ve telekomünikasyon gibi sektörlerde geniş kullanım alanı bulmaktadırlar. Ayrıca akıllı kartlar ile günlük hayatta tanımlama, doğrulama ve veri güvenliği gerektiren birçok ticari işlem en az seviyede kullanıcı etkileşimi gerektirerek sağlanabilmektedir. Bu özelliklerine rağmen, akıllı kart yazılımlarını geliştirmek, alt seviye iletişim yapıları, donanımsal sebepler ve 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, akıllı kart yazılımlarının otomatik, daha basit bir şekilde ve küçük kod hataları engellenerek üretilmesini sağlayan model güdümlü bir yazılım geliştirme yöntemi tanıtılmaktadır. Akıllı kart standartları göz önünde bulundurularak oluşturulan platform bağımsız bir üst modelden model dönüşümleri sonrası iki önemli akıllı kart platformu için (Java Card ve Basic Card) yazılım modelleri ve modelden metne dönüşümler sonrasında bu modellerden otomatik kod üretimi sağlanmaktadır.

Özet (Çeviri)

Smart cards are portable integrated devices that store and process data. Speed, security and portability properties enable smart cards to have a widespread usage in various fields including telecommunication, transportation and credit card industry. However, the development of smart card applications is a difficult task due to the hardware and software constraints. The necessity of the knowledge of both a very low-level communication protocol and a specific hardware causes smart card software development to be a big challenge for the developers. Written codes tend to be error-prone and hard to debug because of the limited memory resources.Hence, in this study, a model-based approach which facilitates the smart card software development is introduced. Proposed approach provides easy design of smart card systems and automatic generation of the smart card software from the system models. A Platform Independent Metamodel (PIMM) is created based on the smart card standards in order to support easy development of instance models and automatic code generation with model transformations for two major smart card platforms: Java Card and Basic Card.

Benzer Tezler

  1. Java Card yazılımlarının otomatik üretilmesi için bir yöntem

    A methodology for the automatic generation of Java Card software

    MİRAY TOSUN

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Uluslararası Bilgisayar Ana Bilim Dalı

    DOÇ. DR. GEYLANİ KARDAŞ

  2. Design, modelling and control of a nano quadrotor withmicrocontroller based vision system for object tracking

    Nesne takibi için bir nano dört rotorlu helikopterin tasarımı, modellenmesi ve mikrodenetleyici tabanlı görüntü sistemi ile kontrolü

    MUSTAFA ENES KIRMACI

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ HÜLYA YALÇIN

    PROF. DR. ERDİNÇ ALTUĞ

  3. Akıllı kartlar ve temassız akıllı kartlı sistem tasarımı

    Smart cards and system design with contactless smart cards

    HAKAN AKTAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2001

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    PROF. DR. HAKAN KUNTMAN

  4. Mini bilgisayarların akıllı kart sistemleri için tasarlanması ve uygulanması: Üniversite örneği

    Design and implementation of mini computers for smart card system applications: University example

    MUSTAFA YURTSEVER

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Bilim ve TeknolojiDokuz Eylül Üniversitesi

    Yönetim Bilişim Sistemleri Ana Bilim Dalı

    PROF. DR. VAHAP TECİM

  5. Elektronik kimlik uygulamaları için tasarlanmış akıllı kart işletim sistemi ve gelişmiş güvenlik yöntemi

    Smart card operating system design for electronic ID applications and advanced security method

    MUSTAFA BAŞAK

    Yüksek Lisans

    Türkçe

    Türkçe

    2010

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    PROF. DR. EŞREF ADALI