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

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.