Specification and verification of the xpress transport protocol (XTJ)using SDL 92
Xpress taşıyıcı protokolünün S94 92 kullanılarak belirtimi ve geçerlilik sınaması
- Tez No: 68675
- Danışmanlar: PROF. DR. KEMAL İNAN
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Xpress Transport Protocol, SDL, MSC, SDT. m
- Yıl: 1997
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 168
Özet
oz XPRESS TAŞIYICI PROTOKOLÜNÜN SDL 92 KULLANILARAK BELİRTİMİ VE GEÇERLİLİK SINAMASI DALKIRAN, İsmail Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi: Prof. Dr. KEMAL İnan Nisan 1997, 144 sayfa Bu tezde, SDL aracı SDT 3.02 ile Xpress Taşıyıcı Protokolü (XTP) belirtimlenmiştir. Bu belirtim, SDT'nin Geçerleyici ve Benzetici araçlarının sınama kabiliyetleri sayesinde mesaj sırası grafîkleriyle (MSC) tanımlanmış test senaryoları ve durum uzayı keşif teknikleri kullanılarak analiz edilmiştir. Anahtar Sözcükler : Express Taşıyıcı Protokolü, SDL, MSC, SDT iv
Özet (Çeviri)
ABSTRACT SPECIFICATION AND VERIFICATION OF THE XPRESS TRANSPORT PROTOCOL (XTP) USING SDL 92 DALKIRAN, Ismail M.S., Department of Electrical and Electronics Engineering Supervisor: Prof. Dr. Kemal İNAN April 1997, 154 pages In this thesis, the Xpress Transport Protocol (XTP) is specified using the SDL tool SDT 3.02. The specification is analyzed jointly with test scenarios that are described by message sequence charts (MSC's) and state space exploration techniques to validate the specification by employing the verification capabilities of the SDT's Validator and Simulator tools.
Benzer Tezler
- Specification and verification of confidentialitiy in software architectures
Yazılım mimarilerinde gizlilik bildirimi ve doğrulanması
CEMİL ULU
Doktora
İngilizce
2004
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. HALİT OĞUZTÜZÜN
- Specification and verification of ISDN layer 2 using SDL 92
ISDN ikinci katmanının SDL 92 kullanılarak belirtimi ve geçerlilik sınaması
DOĞUŞ ÇENBERCİ
Yüksek Lisans
İngilizce
1997
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. KEMAL İNAN
- FPFM: A formal specification and verification framework for security policies in multi-domain mobile networks
FPFM: Çok etki alanlı gezgin ağlarda güvenlik politikaları betimleme ve doğrulama çerçevesi
DEVRİM ÜNAL
Doktora
İngilizce
2011
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET UFUK ÇAĞLAYAN
- Model checking of ambient calculus specifications against ambient logic formulas
Çevrel cebir tanımlamalarının çevrel mantık formülleri ile model denetlemesi
OZAN AKAR
Yüksek Lisans
İngilizce
2009
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET UFUK ÇAĞLAYAN
- Fırın enerji tüketiminin iyileştirilmesi için simülasyon programının geliştirilmesi ve doğrulanması
Improvement of simulation program for high efficiency of domestic oven energy consumption and verification of simulation program
AZİZ ÇELİK
Yüksek Lisans
Türkçe
2015
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. SEYHAN ONBAŞIOĞLU