In distributed diagnosis it may be useful to achieve local consistency among local estimates. For that purpose the Computational Procedure for Local Consistency (CPLC) was proposed to achieve the supremal local suppor...
详细信息
In distributed diagnosis it may be useful to achieve local consistency among local estimates. For that purpose the Computational Procedure for Local Consistency (CPLC) was proposed to achieve the supremal local support, which represents one type of local consistency. It has been shown that if CPLC terminates then the result is in fact the supremal local support. However, in this paper it is shown that, even if all initial estimates are regular languages, the termination of CPLC is undecidable. Moreover, these difficulties are not confined to this specific procedure: it is undecidable whether the supremal local support corresponding to an arbitrary collection of regular initial languages is componentwise empty; consequently, the supremal local support is effectively uncomputable.
This work addresses the problem of predicting timing properties of multitasking component assemblies during the design phase. For real-time applications, it is of vital importance to guarantee that the timing requirem...
详细信息
This work addresses the problem of predicting timing properties of multitasking component assemblies during the design phase. For real-time applications, it is of vital importance to guarantee that the timing requirements of an assembly are met. We propose a simulation-based approach for predicting the real-time behaviour of an assembly based on models of its constituent components. Our approach extends the scenario-based method in [J. Muskens et al. (2004)] by offering a system model that is tailored to the domain of real-time applications. Contributions of This work include the possibility to handle the following features: mutual exclusion, combinations of aperiodic and periodic tasks and synchronization constraints. The analytical approach we used in previous work cannot handle these features. Therefore, we introduce the simulation-based approach. Our simulator provides data about dynamic resource consumption and real-time properties like response time, blocking time and number of missed deadlines per task. We have validated our approach using a video-decoder application.
This work addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. e...
详细信息
This work addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarantee that the timing requirements (e.g. end-to-end deadlines) of a real-time application that is executed on a target system is satisfied. This is obtained by predicting the real-time behaviour of a component-based application. We extend an already existing scenario-based approach [J. Muskens et al. (2004)] with the possibility to model the behaviour of an application and the behavior of the underlying components. As a result, an application developer can reason accurately about the dynamic resource consumption and real-time properties of a component assembly. The modeling involves the specification of synchronization constraints for tasks and the simulation of application behaviour. A concluding case-study of video encoder development reveals that the approach is not only feasible but also addresses yet unsolved problems of task parallel execution and synchronization.
Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, t...
详细信息
Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, the impact of error characteristics and propagation delay on the operation of BISDN via satellite is discussed. Solutions are presented for removing adverse effects and providing high-quality service to users of BISDN via satellite.
暂无评论