Using Java, next-generation mobile devices can serve as highly functionally distributed systems. The JTRON specification achieves real-time performance in Java-based mobile systems.
Using Java, next-generation mobile devices can serve as highly functionally distributed systems. The JTRON specification achieves real-time performance in Java-based mobile systems.
We present Graphical Communicating Shared Resources (GCSR), a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the ...
详细信息
We present Graphical Communicating Shared Resources (GCSR), a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various resource allocations and scheduling disciplines in order to produce a more dependable specification. In addition, GCSR differs from other graphical languages through its well-defined notions of modularity and hierarchy: dependencies between system components, expressed as communication events, can have a limited scope of visibility, and control flow between components is clearly represented as either an interrupt or exception, i.e., voluntary release of control. Furthermore, GCSR has a precise operational semantics and notions of equivalence that allow the execution and formal analysis of a specification. We present the GCSR language, its toolset, and how properties, e.g., safety can be analyzed within GCSR.
Dependability is a key system property that must be guaranteed regardless of continuous, rapid, and unpredictable technological and context changes. Our Unified Model of Dependability lets you reason about dependabili...
详细信息
Dependability is a key system property that must be guaranteed regardless of continuous, rapid, and unpredictable technological and context changes. Our Unified Model of Dependability lets you reason about dependability and turn it into clearly defined, implementable system properties.
Tremendous traffic on the Internet exhibits ON/OFF patterns. In the past, the generation of such ON/OFF traffic was mainly attributed to TCP and application characteristics. Nowadays, however, much traffic is often in...
详细信息
Tremendous traffic on the Internet exhibits ON/OFF patterns. In the past, the generation of such ON/OFF traffic was mainly attributed to TCP and application characteristics. Nowadays, however, much traffic is often intentionally shaped into an ON/OFF pattern for achieving certain optimized system performance or resulting from characteristics of some new applications. In this article, we present a comprehensive survey on the ON/OFF traffic shaping in the current Internet. We first introduce the motivations behind ON/OFF traffic shaping in different fields based on different system optimization objectives and application characteristics. We then introduce the impacts of ON/OFF traffic on packet drop probability, real-time applications, and also its interaction with TCP's congestion control mechanism. We further present a survey on existing mechanisms for mitigating these impacts in various aspects. We introduce how each of these mechanisms works, and discuss their merits and deficiencies. Finally, we conclude this article with some future directions for ON/OFF traffic shaping in the Internet.
The empirical approach of remote sensing has a proven capability to provide timely and accurate information on inland and near-coastal transitional waters. This article gives a thorough review of empirical algorithms ...
详细信息
The empirical approach of remote sensing has a proven capability to provide timely and accurate information on inland and near-coastal transitional waters. This article gives a thorough review of empirical algorithms for quantitatively estimating a variety of parameters from space-borne, airborne and in situ remote sensors in inland and transitional waters, including chlorophyll-a, total suspended solids, Secchi disk depth (z(SD)), turbidity, absorption by coloured dissolved organic matter (a(CDOM)) and other parameters, for example, phycocyanin. Current remote-sensing instruments are also reviewed. The theoretical basis of the empirical algorithms is given using fundamental bio-optical theory of the inherent optical properties (IOPs). Bands, band ratios and band arithmetic algorithms that could be used to produce common biogeophysical products for inland/transitional waters are identified. The article discusses the potential role that empirical algorithms could play alongside more advanced model-based algorithms in the future of water remote sensing, especially for near real-time operational monitoring systems. The article aims to describe the current status of empirical remote sensing in inland and near-coastal transitional waters and provide a useful reference to workers. It does not cover 'inversion' algorithms.
The article presents the feasibility of a real-time monitoring methodology design and development for early detection of defects in high-temperature pressure components. It indicates the use of a portable acoustic emi...
详细信息
The article presents the feasibility of a real-time monitoring methodology design and development for early detection of defects in high-temperature pressure components. It indicates the use of a portable acoustic emission (AE) system for emission signals capturing and the statistical analysis (SAS) package for the determination of correlation between the features of such signals. The author concludes the feasibility of using AE for high-temperature pressure vessels monitoring.
The problem of preemptive scheduling in a real-time multiprocessor computing system with release time/deadline intervals is investigated. Approximate algorithms based on the generalization of a single-processor algori...
详细信息
The problem of preemptive scheduling in a real-time multiprocessor computing system with release time/deadline intervals is investigated. Approximate algorithms based on the generalization of a single-processor algorithm of relative priority are developed and compared to the exact maximum flow algorithm. An algorithm has been developed for the case where requests for the tasks occur periodically with given periods. An algorithm for determining the values of the processor performance for which there exists an admissible schedule for a given assembly of tasks with release time/deadline intervals has been developed.
THIS FAULT-TOLERANT ALGORITHM USES A time-VALUE SCHEDULING. APPROACH TO DETECT FAULTS, SUSTAIN HIGH PROCESSOR UTILIZATION, AND ENSURE timeLY EXECUTION OF CRITICAL TASKS.
THIS FAULT-TOLERANT ALGORITHM USES A time-VALUE SCHEDULING. APPROACH TO DETECT FAULTS, SUSTAIN HIGH PROCESSOR UTILIZATION, AND ENSURE timeLY EXECUTION OF CRITICAL TASKS.
Sequential tolerance control (STC) is an approach that uses real-time measurement information at the completion of a stage to exploit the available space inside a dynamic feasible zone and reposition the set points fo...
详细信息
Sequential tolerance control (STC) is an approach that uses real-time measurement information at the completion of a stage to exploit the available space inside a dynamic feasible zone and reposition the set points for the remaining operations. STC has been shown to produce significantly higher yields than conventional tolerance control given constant equipment precision. STC was developed under the premise that a measurement and set point adjustment would follow each operation. However, measuring after each operation may not be practical under certain conditions. This study develops techniques for determining when measurements and set point adjustments should take place so that the benefits of STC are realized without interrupting the process after every operation.
暂无评论