Geri Dön

An Application on software fault tolerance using certification of computational results technique

Bir yazılım hata tolere etme yöntemi olan hesaplanmış sonuçların onaylanmasının uygulamaları

  1. Tez No: 93395
  2. Yazar: ABDULLAH LATİF GÜL
  3. Danışmanlar: PROF. DR. HASAN GÜRAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Yazılım Hata Tolere Etme, Onaylama İzleri, N- Versiyon Programlama Tekniği, Geri Alma Blokları Tekniği vı, Bilgisayar yazılımları, Hata düzeltme, Sonuç onaylama, Software Fault Tolerance, Certification Trails, N- Version Programming, Recovery Blocks. IV, Computer softwares, Error correction, Result certification
  7. Yıl: 2000
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

oz BİR YAZILIM HATA TOLERE ETME YÖNTEMİ OLAN HESAPLANMIŞ SONUÇLARIN ONAYLANMASININ UYGULAMALARI GÜL, Abdullah Latif Yüksek Lisans, Elektrik ve Elektronik Mühendisliği Bölümü Tez Yöneticisi : Prof. Dr. Hasan GÜRAN Şubat 2000, 109 sayfa Bu çalışmada, yeni ve güçlü bir yöntem olan“Hesaplanmış Sonuçların Onaylanması”bir yazılım hata tolere etme tekniği olarak uygulanmıştır. Bu teknik iki uygulama kısmından meydana gelmektedir. Birinci uygulama çalıştırıldıktan sonra iz denilen bazı yararlı bilgileri ardına bırakmaktadır. İkinci uygulamanın çalıştırılması esnasında bu iz denilen yararlı bilgiler kullanılarak ilk uygulamanın ürettiği sonucun doğruluğu onaylanmaktadır. Butekniğin yararlı özelliği ya doğru sonucu bırakması ya da hatalı sonucun oluşturulduğunu belirten bir hata işareti belirtmesidir. Bu çalışmada, Hesaplanmış Sonuçların Onaylanması tekniği Convex Hull, Matrisin tersinin alınması ve Hızlı Fourier Transformasyonu problemleri üzerinde uygulanmıştır. Bu tekniğin avantajları ve dezavantajları açık bir şekilde sunulmuştur.

Özet (Çeviri)

ABSTRACT AN APPLICATION ON SOFTWARE FAULT TOLERANCE USING CERTIFICATION OF COMPUTATIONAL RESULTS TECHNIQUE GÜL, Abdullah Latif MSc. Department of Electrical and Electronic Engineering Supervisor : Prof. Dr. Hasan GÜRAN February 2000, 109 pages In this study a conceptually novel and powerful technique called“Certification of Computational Results”is implemented for software fault tolerance. This technique consists of two executions. The first execution leaves behind some useful information called trails. The second execution uses these trails for the certification of the correctness of the result. The useful property of this technique is that it either gives the correct result or an error sign is indicated. This technique is applicable for the detection of software design errors and transient faults. It is mainly useful for avoiding the propagation of faults. in ÎC YÜKSEKÖ?RETİM KURULfcCertification of Computational Results technique is applied to Convex Hull, Matrix Inversion and Fast Fourier Transform problems in this study. The advantages and disadvantages of this technique are clearly presented.

Benzer Tezler

  1. Tez No

    85592

    İnternet ortamında java ile dağıtık cihaz yönetimi sistemi (sunucu)

    Distributed device management over internet using java-the server

    KÜRŞAD KESKİNEĞE

    Yüksek Lisans

    Türkçe

    Türkçe

    1999

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Uluslararası Bilgisayar Ana Bilim Dalı (disiplinlerarası)

    PROF. DR. TURHAN TUNALI

  2. Tez No

    556350

    İçten yanmalı motorların j1939 canbus'tan alınan bilgilerinin ve hata mesajlarının işlenmesi ve mobil uygulamada görüntülenmesi

    Processing and monitoring information and error messages taken from j1939 canbus line of internal combustion engine on mobile application

    CANER FİL

    Yüksek Lisans

    Türkçe

    Türkçe

    2019

    Mekatronik Mühendisliğiİstanbul Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    DOÇ. DR. OSMAN KAAN EROL

  3. Tez No

    98450

    Dağıtılmış nesnesel birim modeli üzerinde görüntü işleme algoritmalarının paralelleştirilmesi

    Parallelization of image processing algorithms using distributed components object model

    SAVAŞ KÖSE

    Yüksek Lisans

    Türkçe

    Türkçe

    1999

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    DOÇ.DR. NADİA ERDOĞAN

  4. Tez No

    39106

    Yapay sinir ağları ile doku sınıflandırma

    Tissue classification using artificial neural networks

    AYSU SEVEN

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    PROF.DR. ERTUĞRUL YAZGAN

  5. Tez No

    418996

    Hataya bağışıklı mikroişlemci tasarımı

    Fault tolerant microprocessor design

    BUSE USTAOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    PROF. DR. MÜŞTAK ERHAN YALÇIN

Geri Dön