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

Date

1997

Author

İnan, K.
Başbuğoğlu, O.
Dalkıran, İ.
Sulimov, A.
Sezgin, A.
Levin, V.
Yenigün, H.
Tunçtekin, C.
Şen, A.
Çalgın, H.
Gücün, O.
Doyuran, U.
Serdar, B.
Bounimova, E.
Nergis, A.
Çenberci, D.

Metadata

Show full item record

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

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).

Subject Keywords

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

URI

https://app.trdizin.gov.tr/publication/project/detail/TlRreU1nPT0
https://hdl.handle.net/11511/49385

Collections

Department of History, Project and Design