Structured development methodologies for real-time systems
Gerçek zaman sistemleri için yapısal geliştirme metodolojileri
- Tez No: 15522
- Danışmanlar: PROF.DR. ZİYA AKTAŞ
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Birlikte işlem, Durum Geçiş Diagramı, Gerçek Zamanlı Sistemler, Kontrol, Kutu Tanımlama Dili, Kutu Tanımlama Grafiği, Olay, Sistem Geliştirme Araçları, Sistem Geliştirme Yöntemleri, Yasam Döngüsü, Birlikte işlem, Durum Geçiş Diagramı, Gerçek Zamanlı Sistemler, Kontrol, Kutu Tanımlama Dili, Kutu Tanımlama Grafiği, Olay, Sistem Geliştirme Araçları, Sistem Geliştirme Yöntemleri, Yasam Döngüsü
- Yıl: 1991
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 354
Özet
Tezin sonunda konuya ilişkin ve oldukça geniş bir yayın listesi verilmiştir. Ekler arasında, bir ortak problem, asansör problemi, için diğer metodolojilerin çözümü ve Hasta Takip Sistemi için de önerilen metodolojinin program çıktısı verilmiştir.
Özet (Çeviri)
derişik problem örnekleri verilmiştir. Tezde sistem geliştirme yaşam evreleri de verilmiş ve temel kavramları ve modelleme araçlarının istenen özellikleri vurgulanarak Gerçek Zaman Sistemleri geliştirilmesinin modellenmesi incelenmiştir. Var olan grafiksel, metinsel, matematiksel ve tablo türü modelleme araçları gösterilmiştir. Gerçek Zaman Sistemleri uygulamalarındaki güncelliğini korumakta olan genel metodolojiler, Gerçek Zaman Sistemleri için Tasarım Yaklaşımı, Gerçek Zaman Sistemleri için Yapısal Geliştirme, Jackson Sistem Geliştirme ve Nesne-Tabanlı Tasarım metodolojisi tartışılmış ve geliştirme adımları genel bir uygulamayla gösterilmiştir. Gerçek Zaman Sistemleri acısından bu metodolojilerin bir karşılaştırılması da tezde yapılmıştır. Tezde, özellikle Gerçek Zaman Sistemlerinin geliştirilmesine yarayan ve geliştirme sürecinin kapsanmasını tasarım grafikleri yardımıyla saklayan bir metodoloji ve bir tasarım grafik dili önerilmiştir. Tezde Gerçek Zaman Sistemlerinin geliştirme evrelerinin modellenmesinde önerilen metodolojinin nasıl kullanılacağını gösteren örnekler de verilmiştir. Genel bir Gerçek Zaman probleminde önerilen metodolojinin uygulanmasındaki ayrıntıları göstermek için bir örnek problem, Hasta Takip Sistemi, ele alınarak adımlar onun üzerinde gösterilmiştir. vııTezin sonunda konuya ilişkin ve oldukça geniş bir yayın listesi verilmiştir. Ekler arasında, bir ortak problem, asansör problemi, için diğer metodolojilerin çözümü ve Hasta Takip Sistemi için de önerilen metodolojinin program çıktısı verilmiştir.
Benzer Tezler
- Etmen tabanlı bir anlamsal süreç çalışma ortamının geliştirilmesi
Development of an agent-based semantic business process management framework
HÜSEYİN KIR
Doktora
Türkçe
2021
Bilim ve Teknolojiİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. TAKUHİ NADİA ERDOĞAN
- Kamu özel iş birliği projelerinde etkin risk yönetimi için nitel risk değerlendirme modeli
Qualitative risk assessment model for effective risk management in public-private partnerships
KADİR KURU
Doktora
Türkçe
2024
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. DENİZ ARTAN
- Vibration-based monitoring of tall buildings
Yüksek yapıların titreşim-tabanlı izlenmesi
EMRE AYTULUN
Doktora
İngilizce
2023
İnşaat MühendisliğiBoğaziçi Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. SERDAR SOYÖZ
- Performance of laminated glass subjected to blast and impact loading
Patlama ve darbe yüklemesine maruz kalan lamine camın yapısal performansı
MOHELDEEN HEJAZI
Doktora
İngilizce
2024
Makine Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ SARI
- Güvenlik kameralarındaki yüz görüntülerinin süper çözünürlüklenetleştirilmesi
Face enhancement in surveillance systems using super-resolutiontechniques
ALİ HÜSAMEDDİN ATEŞ
Yüksek Lisans
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HÜSEYİN ESKİ