Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Açık Bilim Politikası
Açık Bilim Politikası
Frequently Asked Questions
Frequently Asked Questions
Browse
Browse
By Issue Date
By Issue Date
Authors
Authors
Titles
Titles
Subjects
Subjects
Communities & Collections
Communities & Collections
Biçimsel yöntemler ile dağılımlı yazılımların doğrulanması ve geçerlileştirilmesi
Download
TlRreU1nPT0.pdf
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
.
Item Usage Stats
4
views
1
downloads
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