de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Dokument suchen
Tabassam, Nadra: Minimizing the makespan of diagnostic multi-query graphs in embedded real time systems. 2020
Inhalt
Acknowledgements
Table of contents
List of tables
List of figures
Abstract
Zusammenfassung
Introduction
Background
Framework for Active Diagnosis
Motivation
Objectives of Thesis
Summary of Main Contributions
Structure of Thesis
Fundamental Concepts
Real Time Systems
Examples of Real Time Systems
Properties of Real-Time Systems
Worst-Case Execution Time (WCET)
Time Triggered Systems
Distributed Systems
Databases
Database Model
Transaction
Real Time Database Management System
Properties of Real Time Database Management Systems (RTDBMS)
Query Optimization
Rewriting
Planning
Cost Model
Size Distribution Estimator
Related Work
Query Optimization
Fault Tree Models
Graph Optimization
Fault Detection and Diagnosis Using Graph Based Techniques
Real Time Databases Management Systems (RTDBMS)
Worst Case Execution Time (WCET)
System Model
Architecture Model
Application Model
Diagnostic Mutli-Query Graph (DMG)
Scheduler
Class-based Query-Optimization for Minimizing the WCET of the DMG
Basic Algorithm
Brief Details of Algorithm
Detailed Explanation of the Algorithm
Estimation of Worst Case Execution Time (WCET)
Illustrative Example
Features
Symptoms
Results
Minimizing the Makespan of DMGs Using Graph Pruning and Query Merging
Overview of Graph-Pruning and Query Merging
Detailed Explanation of Algorithm
Graph Optimization
Case 1
Case 2
Query Optimization
Calculation of WCET
Illustrative Example
Queries in DMG Before Optimization
Final Query Execution in DMG
Results
Minimizing the Makespan of DMGs Using Query Aware Partitioning
Optimization Algorithm
Basic Optimization Rules
Per Table Optimization for Select Queries
Join Aware Partition Optimization for Join Queries
Calculation of WCET
Illustrative Example
Implementation of History Interval and Skip Factor
Number of Executions on Basis of Skip Factor
Query Optimization
Results for Example DMG
Results
Description of Results
Minimizing the Makespan of DMGs Using Genetic Algorithm
Optimization Algorithm
Important Components of Technique
Fault Diagnostic Query (FDQ)
Query Tree
Task Graph
Genetic Algorithm (GA)
Determining the Worst Case Execution Time
Example
Fault Diagnostic Query
Query Tree
Task Graph
Left Deep Tree Based TG
Bushy Tree Based TG
Implementation of Genetic Algorithm for Our Example
Calculation of WCET using Example Query
Results
Fault Detection and Diagnosis Using DMG for Safety Critical HVAC Systems
Background of HVAC Systems
Time Sensitivity of HVAC Systems
Contribution
Problem Formulation
Building Architecture
Formulation of DMG
Optimization Technique
Illustrative Example
Creation of FDQs
Creation of FDQs after applying Cross join and changing Join Order
Genetic Algorithm Based Optimization of the DMG
Initial Population
Fitness Function
Selection
Cross Over
Results
Result 1 and Result 2
Result 3 and Result 4
Result 5 and Result 6
Conclusion About Results
Conclusion
Conclusion
References