the need for explicit time management in workflow environments has been recently identified. Although the concept of time is inherent in workflow applications, time management until now has been treated by the same ge...
详细信息
作者：
Li, YiLü, KevinSchool of Computing
Information Systems and Mathematics South Bank University 103 Borough Road LondonSE1 OAA United Kingdom
Web databases are becoming an efficient tool used to manage the web sites. In this paper we analyse the performance of a typical Web database system with different sizes of web pages and different sizes of database ta...
详细信息
the verification of software is more complex than hardware due to inherent flexibilities (dynamic behavior) that incur a multitude of possible system states. the verification of Concurrent embeddedreal-time Software ...
详细信息
the verification of software is more complex than hardware due to inherent flexibilities (dynamic behavior) that incur a multitude of possible system states. the verification of Concurrent embeddedreal-time Software (CERTS) is all the more difficult due to its concurrency and embeddedness. the work presented shows how the complexity of CERTS verification can be reduced significantly through answering common engineering questions such as when, where, and how one must verify embedded software. Application examples illustrate the usefulness of our technique in increasing verification scalability.
embeddedsystems have widespread use in consumer, commercial, and military applications. Reactive and real-time are two main characteristics of these systems. As one kind of real-timeembedded system, embedded digital...
详细信息
embeddedsystems have widespread use in consumer, commercial, and military applications. Reactive and real-time are two main characteristics of these systems. As one kind of real-timeembedded system, embedded digital signal processing (EDSP) systems use a special architecture to achieve better performance in DSP applications. Generally, there is no great difference between floating-point FFT and fixed-point FFT on general-purpose computer systems. However, in embedded DSP systems, the precision and range become the bottleneck of the performance of fixed-pointed FFT. In most cases, how to keep the balance of precision and real-time becomes a serious problem during the design phase of EDSP systems. We present a novel fixed-point FFT algorithm which can make designers easily adjust the precision and execution time of FFT. It is very useful to the co-design of EDSP systems. this paper also analyzes the novel algorithm from the viewpoint of round-off error analysis and presents the benchmarks on C6201.
the tasks of configuring and tuning large database management systems (DBMSs) have always been both complex and time-consuming. they require knowledge of the characteristics of the system, the data, and the workload, ...
详细信息
Synchronous languages have proven to be very adequate for the modeling of embeddedsystems However, such languages assume that all responses to external stimuli are computed infinitely first (in zero time). It is the ...
详细信息
ISBN:
(纸本)0769502407
Synchronous languages have proven to be very adequate for the modeling of embeddedsystems However, such languages assume that all responses to external stimuli are computed infinitely first (in zero time). It is the task of lower design steps to ensure that timeliness requirements are met even when the actual execution time of the generated code on the target is taken into account. Being able to determine boththe worst-case execution time (WCET) an the worst-case response time (WCRT) of synchronous models is therefore crucial for the design of real-timeapplications. this paper focuses on the language statecharts, but describes a method for analyzing the real-time behavior of synchronous models in general. For this purpose, we take aspects specific to the semantics of synchronous languages into consideration to provide both an efficient and accurate analysis of tasks generated from synchronous models. this method has been integrated in a code generator for STATEMATE [12] and experimental results are presented.
When applying the Rare Monotonic discipline to schedule a set of periodic preemptible real-time tasks, the scheduler may be able to distinguish only a limited number of priority levels. this is common in control appli...
详细信息
ISBN:
(纸本)0769502407
When applying the Rare Monotonic discipline to schedule a set of periodic preemptible real-time tasks, the scheduler may be able to distinguish only a limited number of priority levels. this is common in control applications using low cost embedded controllers. If the number of tasks to be scheduled is larger than the number of distinguishable levels, the set of tasks must be partitioned in a set of priority classes. RM can be used only to arbitrate conflicts between tasks of different classes. In this paper a method to determine the minimum number of priority levels necessary to schedule the set of tasks is formally proved and its complexity analysed Finally, a systematic method to obtain ail the possible partitions withthe minimum number of classes, resembling the Quine's method to minimize Boolean functions, is also given.
Proposes a very small on-chip multimedia real-time operating system (OS) for embedded system LSIs and demonstrates its usefulness on MPEG-2 multimedia applications. the real-time OS, which has a new cyclic task with &...
详细信息
We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embeddedsystems where communication plays an important role. the communication model is based on...
详细信息
More and more, society depends on computer based technical systems, which are being applied for both control and automation functions under realtime constraints. these so-called "embedded computer systemsii"...
详细信息
暂无评论