Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi

Gerçek zaman iletişim yazılımlarında kullanılan dagımlı yazılımların betimlenmesi ve doğrulanması için iki ticari SDL ürünü olan SDT (Telelogic) ve GEODE (Verilog) paketleri kullanılarak uygulamalar yapıldı ve yeni teknikler geliştirildi, özellikle Lucent Technologies'de geliştirilmiş olan COSPAN doğrulayıcısının SDL platformunda kullanılabilmesi için SDL-S/R derleyicisi gerçekleştirildi ve SDL dili ile COSPAN doğrulayıcısının donanım/yazılım entegre tasarımı (HW/SW co-design) için genişletilmiş SDL tanımı yapıldı.Bunun yanısıra SDL kullanımında durum patlaması olarak anılan karmaşıklık sorununa çözüm getirmek üzere teknikler geliştirildi.( In order to specify and validate embedded real-time software used in communication systems the commercial products SDT and GEODE were applied to numerous examples and techniques were developed for that purpose. In particular to use COSPAN verifier developed at Lucent Technologies within an SDL platform a restricted SDL to S/R compiler was implemented and SDL was extended as the first step of implementing a HÏV/SW codesign tool using the COSPAN verifier. In addition complexity relief techniques were developed to overcome the problem of state explosion when using SDL).

Anahtar Kelime:

Konular: Bilgisayar Bilimleri, Yazılım Mühendisliği Bilgisayar Bilimleri, Bilgi Sistemleri Bilgisayar Bilimleri, Donanım ve Mimari

Erişim Türü: Erişime Açık

APA	İNAN K, BAŞBUĞOĞLU O, DALKIRAN İ, SULİMOV A, SEZGİN A, LEVİN V, YENİGÜN H, TUNÇTEKİN C, ŞEN A, ÇALGIN H, GÜCÜN O, DOYURAN U, SERDAR B, BOUNİMOVA E, NERGİS A, ÇENBERCİ D (1997). Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. , 1 - 1.
Chicago	İNAN K.,BAŞBUĞOĞLU O.,DALKIRAN İ.,SULİMOV A.,SEZGİN A.,LEVİN V.,YENİGÜN H.,TUNÇTEKİN C.,ŞEN A.,ÇALGIN H.,GÜCÜN O.,DOYURAN U.,SERDAR B.,BOUNİMOVA E.,NERGİS A.,ÇENBERCİ D. Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. (1997): 1 - 1.
MLA	İNAN K.,BAŞBUĞOĞLU O.,DALKIRAN İ.,SULİMOV A.,SEZGİN A.,LEVİN V.,YENİGÜN H.,TUNÇTEKİN C.,ŞEN A.,ÇALGIN H.,GÜCÜN O.,DOYURAN U.,SERDAR B.,BOUNİMOVA E.,NERGİS A.,ÇENBERCİ D. Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. , 1997, ss.1 - 1.
AMA	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. . 1997; 1 - 1.
Vancouver	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. . 1997; 1 - 1.
IEEE	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D "Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi." , ss.1 - 1, 1997.
ISNAD	İNAN, K. vd. "Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi". (1997), 1-1.

APA	İNAN K, BAŞBUĞOĞLU O, DALKIRAN İ, SULİMOV A, SEZGİN A, LEVİN V, YENİGÜN H, TUNÇTEKİN C, ŞEN A, ÇALGIN H, GÜCÜN O, DOYURAN U, SERDAR B, BOUNİMOVA E, NERGİS A, ÇENBERCİ D (1997). Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. , 1 - 1.
Chicago	İNAN K.,BAŞBUĞOĞLU O.,DALKIRAN İ.,SULİMOV A.,SEZGİN A.,LEVİN V.,YENİGÜN H.,TUNÇTEKİN C.,ŞEN A.,ÇALGIN H.,GÜCÜN O.,DOYURAN U.,SERDAR B.,BOUNİMOVA E.,NERGİS A.,ÇENBERCİ D. Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. (1997): 1 - 1.
MLA	İNAN K.,BAŞBUĞOĞLU O.,DALKIRAN İ.,SULİMOV A.,SEZGİN A.,LEVİN V.,YENİGÜN H.,TUNÇTEKİN C.,ŞEN A.,ÇALGIN H.,GÜCÜN O.,DOYURAN U.,SERDAR B.,BOUNİMOVA E.,NERGİS A.,ÇENBERCİ D. Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. , 1997, ss.1 - 1.
AMA	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. . 1997; 1 - 1.
Vancouver	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi. . 1997; 1 - 1.
IEEE	İNAN K,BAŞBUĞOĞLU O,DALKIRAN İ,SULİMOV A,SEZGİN A,LEVİN V,YENİGÜN H,TUNÇTEKİN C,ŞEN A,ÇALGIN H,GÜCÜN O,DOYURAN U,SERDAR B,BOUNİMOVA E,NERGİS A,ÇENBERCİ D "Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi." , ss.1 - 1, 1997.
ISNAD	İNAN, K. vd. "Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi". (1997), 1-1.