In our daily life, we often experience waiting in a queue to receive some kind of service. Some customers do not join the queue at the end like other normal customers, and try to cut in the queue hoping to have a shorter waiting time and a higher level of satisfaction. This behaviour is called customer interjection. Some of these customers only try to cut in queue, while some others try to find excuses for interjection. For instance, the first-come-first-served (FCFS) service discipline is usually assumed in public places like restaurants, banks, airports, and supermarkets. However, customer interjections can still be seen in these places. In telecommunications networks, to test the efficiency of transmission, artificial packages are inserted into the normal traffic in a random manner. These interjections can affect the waiting time of other customers in queue. Such interjections may reduce the waiting time of interjecting customers, but increase the waiting time and dissatisfaction of others. In this work, an M/M/1 queueing system with customer interjection is investigated. The arrival of customers to the system is assumed to be a Poisson process with arrival rate . The service times for customers are independent and identically distributed random variables with an exponential distribution with rate . Customers are dispersed into normal customers and interjecting customers. A normal customer joins the queue at the end, and an interjecting customer tries to cut in the queue and occupy a position as close to the head of the queue as possible. Two parameters are introduced to describe the interjection behaviour: the percentage of customers interjecting and the tolerance level of interjection by individual customers who are already waiting in the queue. Using matrix-analytic methods and stochastic comparison methods, the waiting times of normal customers and interjecting customers are being studied. The impacts of the two parameters on the waiting times are analyzed in detail, and the implications of the results are discussed with numerical examples. It is found that the waiting times are sensitive to the tolerance level of interjection by individual customers. It is also found that eliminating customer interjection would be always beneficial to normal customers and arbitrary customers though it would not always be so for interjecting customers.

Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g., aerospace, avionics, automotive or nuclear domains) work in harsh environments where they are exposed to frequent transient faults such as power supply jitter, network noise and radiation. They are also susceptible to errors originating from design and production faults. Hence, they have the design objective to maintain the properties of timeliness and functional correctness even under error occurrences. Fault-tolerance plays a crucial role towards achieving dependability, and the fundamental requirement for the design of effective and efficient fault-tolerance mechanisms is a realistic and applicable model of potential faults and their manifestations. An important factor to be considered in this context is the random nature of faults and errors, which, if addressed in the timing analysis by assuming a rigid worst-case occurrence scenario, may lead to inaccurate results. It is also important that the power, weight, space and cost constraints of embedded systems are addressed by efficiently using the available resources for fault-tolerance. This thesis presents a framework for designing predictably dependable embedded real-time systems by jointly addressing the timeliness and the reliability properties. It proposes a spectrum of fault-tolerance strategies particularly targeting embedded real-time systems. Efficient resource usage is attained by considering the diverse criticality levels of the systems' building blocks. The fault-tolerance strategies are complemented with the proposed probabilistic schedulability analysis techniques, which are based on a comprehensive stochastic fault and error model.

The model- and component-based development approach has emerged as an attractive option for the development of Distributed Real-time Embedded (DRE) systems. In this thesis we target several issues such as modeling of legacy communication, extraction of end-to-end timing models and support for holistic response-time analysis of industrial component-based DRE systems. We introduce a new approach for modeling legacy network communication in component-based DRE systems. By introducing special-purpose components to encapsulate and abstract the communication protocols in DRE systems, we allow the use of legacy nodes and legacy protocols in a component- and model-based software engineering environment. The proposed approach also supports the state-of-the-practice development of component-based DRE systems. The Controller Area Network (CAN) is one of the widely used real-time networks in DRE systems especially in automotive domain. We identify that the existing analysis of CAN does not support common message transmission patterns which are implemented by some high-level protocols used in the industry. Consequently, we extend the existing analysis to facilitate the worst-case response-time computation of these transmission patterns. The extended analysis is generally applicable to any high-level protocol for CAN that uses periodic, sporadic, or both periodic and sporadic transmission of messages. Because an end-to-end timing model should be available to perform the holistic response-time analysis, we present a method to extract the end-to-end timing models from component-based DRE systems. In order to show the applicability of our modeling techniques and extended analysis, we provide a proof of concept by extending the existing industrial component model (Rubus Component Model), implementing the holistic response-time analysis along with the extended analysis of CAN in the industrial tool suite (Rubus-ICE), and conducting an automotive case study. / EEMDEF

The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. A mathematically rigorous technique to do so is to perform a schedulability analysis for formally verifying models of the computational workload. Different workload models allow to describe task activations at different levels of expressiveness, ranging from traditional periodic models to sophisticated graph-based ones. An inherent conflict arises between the expressiveness and analysis efficiency of task models. The more expressive a task model is, the more accurately it can describe a system design, reducing over-approximations and thus minimizing wasteful over-provisioning of system resources. However, more expressiveness implies higher computational complexity of corresponding analysis methods. Consequently, an ideal model provides the highest possible expressiveness for which efficient exact analysis methods exist. This thesis investigates the trade-off between expressiveness and analysis efficiency. A new digraph-based task model is introduced, which generalizes all previously proposed models that can be analyzed in pseudo-polynomial time without using any analysis-specific over-approximations. We develop methods allowing to efficiently analyze variants of the model despite their strictly increased expressiveness. A key contribution is the notion of path abstraction which enables efficient graph traversal algorithms. We demonstrate tractability borderlines for different classes of schedulers, namely static priority and earliest-deadline first schedulers, by establishing hardness results. These hardness proofs provide insights about the inherent complexity of developing efficient analysis methods and indicate fundamental difficulties of the considered schedulability problems. Finally, we develop a novel abstraction refinement scheme to cope with combinatorial explosion and apply it to schedulability and response-time analysis problems. All methods presented in this thesis are extensively evaluated, demonstrating practical applicability.

A real-time system is a system such that the correctness of operations depends not only on the logical results, but also on the time at which these results are available. A fundamental problem in designing real-time systems is to analyze response time of operations, which is defined as the time elapsed from the moment when the operation is requested to the moment when the operation is completed. Response time analysis is challenging due to the complex dynamics among operations. A common technique is to study response time under worst-case scenario. However, using worst-case response time may lead to the conservative real-time system designs. To improve the real-time system design, we analyze the non-worst-case response time of operations and apply these results in the design process. The main contribution of this thesis includes mathematical modeling of real-time systems, calculation of non-worst-case response time, and improved real-time system design. We perform analysis and design on three common types of real-time systems as the real-time computing system, real-time communication network, and real-time energy management. For the real-time computing systems, our non-worst-response time analysis leads a necessary and sufficient online schedulability test and a measure of robustness of real-time systems. For the real-time communication network, our non-worst-response time analysis improves the performance for the model predictive control design based on the real-time communication network. For the real-time energy management, we use the non-worst-case response time to check whether the micro-grid can operate independently from the main grid.

Scientists are now able to collect ubiquitous data on individual-level movement at increasingly fine spatial and temporal resolutions. Despite this surge in data availability, methods for extracting relevant information about spatial-temporal movement patterns remain limited in scope and sophistication. The objective of this PhD research is to develop novel quantitative approaches for analyzing spatial-temporal patterns in modern movement datasets. A review of the state-of-the-art in quantitative movement analysis identifies the current breadth of available methods, while highlighting key limitations and fragmentation in the literature across multiple disciplines. Existing theory from the geographical literature, namely time geography is applied to a novel application – wildlife movement ecology (termed the PPA home range), in an attempt to expose these ideas to wildlife researchers. The PPA home range method has several advantages over existing methods, most notably its ability to identify omission and commission error in existing home range techniques. Next, an advance to time geography theory is proposed for incorporating object kinetics (i.e., velocity and acceleration) into a probabilistic movement model termed kinetic-based probabilistic time geography. Kinetic-based probabilistic time geography provides a more accurate model for predicting object movement when object kinetics are relevant (e.g., with fast moving vehicles, or athletes). A novel method (termed the DI index) for quantifying dynamic interactions between moving objects is presented, focusing specifically on examining cohesive movement behaviour. The DI index is advantageous over existing dynamic interaction measures in that it is computed at the local level, facilitating a finer treatment of interactive movement behaviour. The DI index is then contrasted with seven alternative measures of dynamic interaction to examine the effectiveness of each at identifying expected and unexpected interactive behaviour, at a range of sampling resolutions, in the context of wildlife movement ecology. The results highlight the value of the DI index, especially as a local level index, capable of identifying variable and infrequent interactions in pairs of moving objects. In summary, this dissertation contributes to the rapidly expanding body of quantitative movement research by providing: 1) a cross-disciplinary methodological review, 2) expanding the application of core time geography theory to wildlife ecology, 3) advancing time geographic theory in development of kinetic-based probabilistic time geography, 4) developing a novel index (the DI index) for measuring inter-object interactions, and 5) examining the effectiveness of available dynamic interaction measures, and their sensitivity across sampling resolutions, in the context of wildlife ecology. / Graduate / 0366 / 0463 / 0329

Nowadays, Industrial Control Systems (ICSs) are becoming larger and implement more complex functions. Therefore, technologies that are currently used to implement these functions, like hardware platforms and communication protocols might soon become unusable due to the lack of resources. The industry is trying to adopt new technologies that will allow these functionalities to be developed without an increase in the size of the equipment, or of the development costs. To enumerate some of these technologies: virtualization, multi-core technologies are the ones that show the biggest potential. Because these technologies are not mature, research has to be done in order to fully maximize their potential. Another technology that is highly used by the industry is the Ethernet communication protocol. It presents some advantages, but due to the non-real-time nature of the applications that it was designed for, it has to be extended in order to be used in real-time applications. The objective of this thesis work is to model an Ethernet network comprised of software partitions so that it can provide timing guarantees for the traffic that traverses the network. A Response Time Analysis for real-time flows over such networks is proposed. The model and the RTA are evaluated by experiments.

Thesis (M.S. in Operations Research)--Naval Postgraduate School, March 1980. / Thesis Advisor(s): Neil, Douglas. Second Reader: Moroney, William. "March 1980." Description based on title screen as viewed on May 25, 2010. DTIC Descriptor(s): Data Displays, Man Machine Systems, Cockpits, Performance (Human), Reaction Time, Pilots, Analysis Of Variance, Theses, Coding, Colors, Errors, Symbols, Cathode Ray Tube Screens, Color Vision, Alphanumeric Displays DTIC Identifier(s): Color Coding. Author(s) subject terms: Coding Techniques, Symbols,Colors, Reaction Time, Performance, Errors, Alphanumerics. Includes bibliographical references (p. 65-66). Also available in print.

Eventos de inundação são fenômenos geralmente associados a eventos de chuvas intensas. Nesses eventos a cobertura de nuvens, normalmente, prejudica o mapeamento com uso de imagens ópticas. Assim, este trabalho tem como objetivo avaliar os resultados de mapeamento de áreas de inundação utilizando imagens SAR e SRTM. Para aplicação dos métodos foram analisadas as áreas de inundação nas cidades de Santa Fe e Parana, na Argentina. Embora a maior inundação registrada tenha sido no ano de 2003, registros de inundação são frequentemente observados nas províncias de Santa Fé e Entre Ríos. Foi utilizado imagens do satélite Sentinel-1, equipado com sensor C-SAR com dupla polarização (VV/VH). As imagens obtidas são do tipo Interferométrico (IW) Ground Range Detected (GRDH) com resolução espacial de 10 m. Foram utilizadas imagens em períodos com e sem eventos de inundação entre 2016 e 2017, calibradas e coregistradas. Sobre as imagens foram aplicadas técnicas de limiarização e de análise temporal para mapear a mancha de inundação. Também foi elaborado mapa a partir do Modelo Digital de Elevação (MDE) utilizando como referência estações de medição de nível da água dos rios. A validação de todos os métodos foi totalmente remota, baseando-se em um mapeamento da inundação de abril de 2003 na cidade de Santa Fe. Além disso, imagens publicadas de eventos de inundação complementaram a validação e foi possível comparar os resultados com uma imagem óptica Landsat – 8 com resolução de 15 m do dia 22 de fevereiro de 2016, quando o nível do rio Paraná estava acima do nível de alerta Os resultados dos três mapeamentos foram somados para formar uma única imagem com a mancha de inundação em comum. Entre as melhores acurácias, o método de análise do MDE atingiu o melhor resultado, 82% da área de inundação, no entanto, considerando os três métodos, a acurácia atinge mais de 91% de precisão. A técnica de limiarização foi mais eficiente em áreas sem alvos verticais, como áreas urbanas por exemplo. O MDE foi eficiente para simular a inundação em todos os alvos, no entanto em modelos de elevação com melhor resolução, o resultado final do mapeamento será mais preciso. A análise temporal mostrou ser uma técnica promissora para mapeamentos de inundação, no entanto um mapa detalhado de uso de solo é fundamental para aprimorar o resultado desta análise. Todos os processos foram feitos remotamente, possibilitando o desenvolvimento no futuro de um sistema automático para detecção de evento de inundação que pode ser aplicado em áreas com características similares. / Flood events usually go hand in hand with intensive rainfall during which clouds compromise any mapping attempts with optical imagery. Thus, this thesis aims at evaluate the results of mapping flood areas using SAR and SRTM images. For this purpose, flood areas in the cities Santa Fe and Parana in Argentina were analyzed. While the worst flood was registered in 2003, flood events frequently occur in both provinces Santa Fé and Entre Ríos. The employed Sentinel-1 satellite carrying a C-SAR sensor with dual polarization (VV/VH) provided interferometric (IW) Ground Range Detected (GRDH) imagery with a spatial resolution of 10 meters. Images from periods with and without flood events between 2016 and 2017 were calibrated and co-registered. Subsequently on the images were applied threshold and time analysis techniques, as well as a Digital Elevation Model (DEM) analysis with data from stations which measure the rivers’ water levels. The validation of all methods was totally remote, based on a flood mapping of April 2003 in the city of Santa Fe. In addition, published images of flood events complemented the validation and it was possible to compare the results with an optical image Landsat - 8 with 15 m resolution of February 22, 2016, when the level of the Paraná River was above the alert level The three maps were summed to form a single image with the flood spot in common. Among the best accuracy, the MDE analysis method achieved the best result, 82% of the flood area, however, considering all three methods, the accuracy reaches more than 91% accuracy. The thresholding technique was more efficient in areas with no vertical targets, such as urban areas. The DEM was efficient to simulate flooding on all targets, however using elevation models with better resolution, the final result of the mapping will be more accurate. The temporal analysis showed to be a promising technique for flood mapping, however a detailed map of land use is fundamental to improve the results of this analysis. All processes were done remotely, allowing the future development of an automatic flood event detection system that can be applied in areas with similar characteristics.

Eventos de inundação são fenômenos geralmente associados a eventos de chuvas intensas. Nesses eventos a cobertura de nuvens, normalmente, prejudica o mapeamento com uso de imagens ópticas. Assim, este trabalho tem como objetivo avaliar os resultados de mapeamento de áreas de inundação utilizando imagens SAR e SRTM. Para aplicação dos métodos foram analisadas as áreas de inundação nas cidades de Santa Fe e Parana, na Argentina. Embora a maior inundação registrada tenha sido no ano de 2003, registros de inundação são frequentemente observados nas províncias de Santa Fé e Entre Ríos. Foi utilizado imagens do satélite Sentinel-1, equipado com sensor C-SAR com dupla polarização (VV/VH). As imagens obtidas são do tipo Interferométrico (IW) Ground Range Detected (GRDH) com resolução espacial de 10 m. Foram utilizadas imagens em períodos com e sem eventos de inundação entre 2016 e 2017, calibradas e coregistradas. Sobre as imagens foram aplicadas técnicas de limiarização e de análise temporal para mapear a mancha de inundação. Também foi elaborado mapa a partir do Modelo Digital de Elevação (MDE) utilizando como referência estações de medição de nível da água dos rios. A validação de todos os métodos foi totalmente remota, baseando-se em um mapeamento da inundação de abril de 2003 na cidade de Santa Fe. Além disso, imagens publicadas de eventos de inundação complementaram a validação e foi possível comparar os resultados com uma imagem óptica Landsat – 8 com resolução de 15 m do dia 22 de fevereiro de 2016, quando o nível do rio Paraná estava acima do nível de alerta Os resultados dos três mapeamentos foram somados para formar uma única imagem com a mancha de inundação em comum. Entre as melhores acurácias, o método de análise do MDE atingiu o melhor resultado, 82% da área de inundação, no entanto, considerando os três métodos, a acurácia atinge mais de 91% de precisão. A técnica de limiarização foi mais eficiente em áreas sem alvos verticais, como áreas urbanas por exemplo. O MDE foi eficiente para simular a inundação em todos os alvos, no entanto em modelos de elevação com melhor resolução, o resultado final do mapeamento será mais preciso. A análise temporal mostrou ser uma técnica promissora para mapeamentos de inundação, no entanto um mapa detalhado de uso de solo é fundamental para aprimorar o resultado desta análise. Todos os processos foram feitos remotamente, possibilitando o desenvolvimento no futuro de um sistema automático para detecção de evento de inundação que pode ser aplicado em áreas com características similares. / Flood events usually go hand in hand with intensive rainfall during which clouds compromise any mapping attempts with optical imagery. Thus, this thesis aims at evaluate the results of mapping flood areas using SAR and SRTM images. For this purpose, flood areas in the cities Santa Fe and Parana in Argentina were analyzed. While the worst flood was registered in 2003, flood events frequently occur in both provinces Santa Fé and Entre Ríos. The employed Sentinel-1 satellite carrying a C-SAR sensor with dual polarization (VV/VH) provided interferometric (IW) Ground Range Detected (GRDH) imagery with a spatial resolution of 10 meters. Images from periods with and without flood events between 2016 and 2017 were calibrated and co-registered. Subsequently on the images were applied threshold and time analysis techniques, as well as a Digital Elevation Model (DEM) analysis with data from stations which measure the rivers’ water levels. The validation of all methods was totally remote, based on a flood mapping of April 2003 in the city of Santa Fe. In addition, published images of flood events complemented the validation and it was possible to compare the results with an optical image Landsat - 8 with 15 m resolution of February 22, 2016, when the level of the Paraná River was above the alert level The three maps were summed to form a single image with the flood spot in common. Among the best accuracy, the MDE analysis method achieved the best result, 82% of the flood area, however, considering all three methods, the accuracy reaches more than 91% accuracy. The thresholding technique was more efficient in areas with no vertical targets, such as urban areas. The DEM was efficient to simulate flooding on all targets, however using elevation models with better resolution, the final result of the mapping will be more accurate. The temporal analysis showed to be a promising technique for flood mapping, however a detailed map of land use is fundamental to improve the results of this analysis. All processes were done remotely, allowing the future development of an automatic flood event detection system that can be applied in areas with similar characteristics.