Structured development methodologies for real-time systems

Download
015522.pdf
1991
Shuwehdi, Abdulhafid S
Show full item record
58
views
0
downloads
Real-time programming., Real-time data processing.
https://hdl.handle.net/11511/11309
Graduate School of Natural and Applied Sciences, Thesis

Suggestions

Scheduling jobs on unrelated parallel machines to minimize regular total cost functions
Azizoğlu, Meral; Kirca, O (1999-02-01)
In this paper we consider unrelated parallel machine scheduling problems that involve the minimization of regular total cost functions. We first present some properties of optimal solutions and then provide a lower bound. These mechanisms are tested on the well-known practical problem of minimizing total weighted flow time on unrelated parallel machines. In doing so, we design a branch and bound algorithm incorporating the mechanisms derived for the general total cost function along with the ones derived sp...
Data abstraction method for model checking of real-time systems
Dursun, Mustafa; Bilgen, Semih; Department of Electrical and Electronics Engineering (2015)
Model checking consists of automatic techniques for verifying whether a specified formal property holds for a specific state in a given finite-state model of a system. A major limitation of model checking arises in modeling infinite state systems. This limitation is the main obstacle for model checking of real time systems, due to the need for verifying real time constraints and the necessity of considering infinite data domains. Timed automata models are used to successfully cater for temporal behavior in ...
Dependability design for distributed real-time systems with broadcast communication /
Kartal, Yusuf Bora; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2014)
The operation of distributed systems relies on the timely exchange of message data via dependable communication networks. Previous works suggest hardware redundancy for potential faults in the underlying network infrastructure to achieve dependability. However, software faults and faults that cannot be resolved on the hardware level are not considered in the existing literature. This work proposes a new method for software fault-tolerant communication in distributed real-time systems with communication netw...
Discrete-time stochastic analysis of land combat
Eliiyi, Uğur; Özdemirel, Nur Evin; Department of Industrial Engineering (2004)
In this study, we present the implementation and experimental analysis of a modeling approach for analyzing tactical level land combat to generate information for weapon and ammunition planning. The discrete-time stochastic model (DSM), which can handle small and moderately large force levels, is based on single shot kill probabilities. Forces are assumed to be heterogeneous on both sides, and both directed and area fire types are modeled by means of combinatorial analysis. DSM considers overkills and can h...
Analyzing reservoir thermal behavior by using thermal simulation model (sector model in stars)
Samadov, Hıdayat; Akın, Serhat; Kracan, Cevat Özgen; Department of Petroleum and Natural Gas Engineering (2011)
It is observed that the flowing bottom-hole temperature (FBHT) changes as a result of production, injection or shutting the well down. Variations in temperature mainly occur due to geothermal gradient, injected fluid temperature, frictional heating and the Joule-Thomson effect. The latter is the change of temperature because of expansion or compression of a fluid in a flow process involving no heat transfer or work. CMG STARS thermal simulation sector model developed in this study was used to analyze FBHT c...
Citation Formats
A. S. Shuwehdi, “Structured development methodologies for real-time systems,” Ph.D. - Doctoral Program, Middle East Technical University, 1991.
METU IIS - Integrated Information Service open@metu.edu.tr