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ı
- Tez No: 68599
- 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: ISDN Katman 2, SDL, MSC, Object Geode iv, Benzetim, ISDN, ISDN Layer 2, SDL, MSC, Object Geode 111, Simulation, ISDN
- 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ı: Belirtilmemiş.
Özet
öz ISDN 2. KATMANININ SDL 92 KULLANILARAK BELİRTİMİ VE GEÇERLİLİK SINAMASI Çenberci, Doğuş Yüksek Lisans, Elektrik-Elektronik Mühendisliği Bölümü Tez Yöneticisi : Prof. Dr. Kemal İnan Ocak 1997, 115 sayfa Bu tez çalışmasında iki iş başarılmıştır: İlk olarak, Tümleşik Hizmetler Sayısal Şebekesi (ISDN) kullanıcı-şebeke arabirimi veri bağlantı katmanı (Katman 2) hizmetlerinin, SDL aracı Object Geode kullanılarak belirtimi gerçekleştirilmiştir. Daha sonra bu belirtim, geçerliliğinin sınanmasının yanı sıra, SDL aracının benzetim ve çözümleme yeteneklerinin keşfedilmesi amacı ile, çeşitli test senaryoları için mesaj sırası grafikleri (MSC) ile birlikte çözümlenmiştir.
Özet (Çeviri)
ABSTRACT SPECIFICATION AND VERIFICATION OF ISDN LAYER 2 USING SDL 92 Çenberci, Doğuş M.Sc, Department of Electrical and Electronics Engineering Supervisor : Prof. Dr. Kemal İnan January 1997, 115 pages In this thesis two tasks were accomplished: First, Integrated Services Digital Network (ISDN) user-network interface data link layer (Layer 2) services were specified using the SDL tool Object Geode. Second, the specification was analyzed jointly with message sequence charts (MSC's), for various test scenarios to validate the specification as well as exploring the simulation and analysis capabilities of the tool Object Geode.
Benzer Tezler
- 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ı
İSMAİL DALKIRAN
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
- 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 formal verification of fuzzy information processing for the case of edge detection
Kenar algılama durumu icin bulanık bilgi işlemenin belirlenmesi ve resmi olarak doğrulanması
KEMAL KESKİN
Yüksek Lisans
İngilizce
2009
Elektrik ve Elektronik MühendisliğiNortheastern UnıversıtyElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. MİECZYSLAW MİTCH KOKAR
- Geometrik mamul spesifikasyonu ve doğrulanması çerçevesinde plastik enjeksiyon kalıp tasarımı, imalat ve kontrolü
Design, production, and control of injection moulding tools within the geometrical product specification and verification
VOLKAN ERDEM
Yüksek Lisans
Türkçe
2007
Makine MühendisliğiDokuz Eylül ÜniversitesiKonstrüksiyon ve İmalat Ana Bilim Dalı
PROF.DR. NUMAN DURAKBASA
Y.DOÇ.DR. MELİH BELEVİ
- Verification and validation of robotic systems's safety
Robotik sistemlerin emniyetinin doğrulanması ve onaylanması
ZEKERİYYA DEMİRCİ
Yüksek Lisans
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEskişehir Osmangazi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET YAZICI
DOÇ. DR. METİN ÖZKAN