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
- Sözel olmayan insan-robot-biyomalzeme etkileşimi üzerine miselyum tabanlı işbirlikçi bir tasarım yaklaşımı
Non-verbal human-robot-biomaterial interaction a mycelium-based collaborative design approach
ŞEYMA BENGÜ ÖZMUTLU
Yüksek Lisans
Türkçe
2025
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
DOÇ. DR. AYŞEGÜL AKÇAY KAVAKOĞLU
- Otomotiv endüstrisinde iklim değişikliğı kapsamında karbonsuzlaştırma fırsatlarının araştırılması
Researching decarbonization opportunities in the automotive industry within the scope of climate change
FEVZİYE SEDA ÖZCAN
Yüksek Lisans
Türkçe
2025
Enerjiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
PROF. DR. HÜSEYİN ERDEM GÖRGÜN
- Doğal dil ile SQL ve görselleştirme koduna dönüşümde büyük dil modellerinin karşılaştırmalı analizi
Comparative analysis of large language models for natural language to SQL and visualization code generation
BAYKAL MEHMET UÇAR
Yüksek Lisans
Türkçe
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
DOÇ. DR. SEFER BADAY
- Üniversitelerin idari süreçlerini iyileştirmek için akıllı konuşma aracı geliştirme: Sakarya Üniversitesi vaka çalışması
Developing an intelligent conversational agent to improve administrative processes at universities: A case study of Sakarya University
KANAAN AL JAF
Doktora
Türkçe
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. CEMİL ÖZ
- Bilişim teknolojisi altyapı kütüphaneliği çerçevesinde operasyonel süreçlerin süreç madenciliği, tahminleme ve kesikli olay simülasyonu ile iyileştirilmesi
Improving operational processes through process mining, forecasting, and discrete-event simulation within the itil framework
AYŞEGÜL KAÇAR
Yüksek Lisans
Türkçe
2025
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ERKAN IŞIKLI