the emergence and development of pervasive computing technology leads to the revolution of remote cardiac care and also brings forth challenges to the automatic ECG diagnosis (AED) techniques. Due to the high resource...
详细信息
the proceedings contain 49 papers. the topics discussed include: fetching primary and redundant instructions in turn for a fault-tolerant embedded microprocessor;versatile and efficient techniques for speeding-up circ...
ISBN:
(纸本)9780769534480
the proceedings contain 49 papers. the topics discussed include: fetching primary and redundant instructions in turn for a fault-tolerant embedded microprocessor;versatile and efficient techniques for speeding-up circuit level simulated fault-injection campaigns;on-line monitoring of realtimeapplications for early error detection;language and tool support for model checking of fault-tolerant distributed algorithms;on the complexity of a self-stabilizing spanning tree algorithm for large scale systems;a peer-to-peer filter-based algorithm for internal clock synchronization in presence of corrupted processes;constructing liberation codes using Latin squares;on modeling the lifetime reliability of homogeneous anymore systems;modeling perfect and minimal rejuvenation for client server systems with heterogeneous load;and application of flexible and efficient campus curriculum systems.
In recent years, IEC 61850 supports the substation automation and the standardized communication technique in both station bus and process bus. In this paper, we propose the required techniques to develop the Merging ...
详细信息
ISBN:
(纸本)9783540874409
In recent years, IEC 61850 supports the substation automation and the standardized communication technique in both station bus and process bus. In this paper, we propose the required techniques to develop the Merging Unit, which is one of the important data acquisition equipments in substation automation, under the IEC 61850 communication protocol. Especially, we also propose the precision time-synchronization technique using IRIG-B protocol for the Merging Unit. IEC 61850-9-2 SV (Sampled Value) service is applied to the Merging Unit which is designed using embedded processor and real-time Linux operating systems. the playback program, which can reconstruct the transmitted sampled value data on the basis of time information, is developed and the performance of the EEC 61850 SV service for Merging Unit is verified experimentally.
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedulable utilization bound, even in the fac...
详细信息
ISBN:
(纸本)9781605584706
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedulable utilization bound, even in the face of unpredictable and/or varying task execution times. To handle the end-to-end task model where each task is comprised of a chain of subtasks distributed on multiprocessors, researchers have used Model Predictive Control (MPC) to address the Multiple-Input, Multiple-Output (MIMO) control problem. Although MPC can handle a limited range of model uncertainties due to execution time estimation errors, the system may suffer performance deterioration or even become unstable if the actual task execution times are much larger than their estimated values. In this paper, we present an online adaptive optimal control approach using Recursive Least Squares (RLS) based model estimator plus Linear Quadratic (LQ) optimal controller. We use simulation experiments to demonstrate the effectiveness of our controller compared withthe MPC-based controller. Copyright 2008 ACM.
AADL and MARTE are both modeling formalisms supporting the analysis of real-timeembeddedsystems. We investigate how MARTE, with its time Model facilities, can be made to represent faithfully AADL periodic/aperiodic ...
详细信息
AADL and MARTE are both modeling formalisms supporting the analysis of real-timeembeddedsystems. We investigate how MARTE, with its time Model facilities, can be made to represent faithfully AADL periodic/aperiodic tasks communicating through event or data ports, in an approach to end-to-end flow latency analysis.
the proceedings contain 67 papers. the topics discussed include: achieving predictable performance with on-chip shared L2 caches;real-time loop scheduling with leakage energy minimization;a voltage and resource synthe...
详细信息
ISBN:
(纸本)0769529755
the proceedings contain 67 papers. the topics discussed include: achieving predictable performance with on-chip shared L2 caches;real-time loop scheduling with leakage energy minimization;a voltage and resource synthesis technique for energy-aware real-timesystems;energy-efficient scheduling for real-timesystems on dynamic voltage scaling (DVS) platforms;contact-based reusable worst-case execution time estimate;a flexible real-time locking protocol for multiprocessors;efficiently accessing remote resources in distributed real-timesystems;exact analysis of TDMA with slot skipping;semi-automatic region-based memory management for real-time Java embeddedsystems;an efficient page lock/release OS mechanism for out-of-core embeddedapplications;and a time-triggered distributed object computing environment.
Early analysis and verification of a critical embedded system requires a precise platform specific model (PSM) of the whole system. On the other hand, to master the complexity of large complex critical distributed rea...
详细信息
Early analysis and verification of a critical embedded system requires a precise platform specific model (PSM) of the whole system. On the other hand, to master the complexity of large complex critical distributed real-time and embeddedsystems (DRES), a component-oriented approach is adopted, which entails a higher-level of structural modeling. this contribution presents some AADL usage guidelines for component based systems, and details model transformation rules to obtain PSM also in AADL. the approach is based on automatic model composition from component-based architecture diagrams, and allows to take into account separation of concerns in the platform-level system design.
Designing safe and predictable software for embeddedapplications is a considerable challenge, which has been addressed by the COMDES-II framework. this is a component-based software framework employing a timed multit...
详细信息
ISBN:
(纸本)9780769533490
Designing safe and predictable software for embeddedapplications is a considerable challenge, which has been addressed by the COMDES-II framework. this is a component-based software framework employing a timed multitasking model of computation supported by a run-time environment. this paper presents a real-time kernel implementing the run-time environment - the HARTEXmu kernel that has been specifically developed for COMDES-II systems. the design and implementation of the kernel take into account the limitations of embeddedsystems, e.g. a small memory footprint and reduced kernel overhead. It also features Boolean vector processing that eliminates the need for linked-list queues, resulting in constant execution time of kernel functions independent of the number of tasks involved.
T-R plane abstraction (TRPA) proposed in this paper is an abstraction technique of real-time scheduling on multiprocessors. this paper presents that NNLF (no nodal laxity first) based on TRPA is work-conserving and op...
详细信息
ISBN:
(纸本)9780769533490
T-R plane abstraction (TRPA) proposed in this paper is an abstraction technique of real-time scheduling on multiprocessors. this paper presents that NNLF (no nodal laxity first) based on TRPA is work-conserving and optimally solves the problem of scheduling periodic tasks on a multiprocessor system. TRPA can accommodate to dynamic environments due to its dynamic time reservation, while T-N plane abstraction (TNPA) and extended TNPA (E-TNPA) reserve processor time statically at every task release.
暂无评论