the attempts to develop a ubiquitous health care monitoring system arisen from the need of automatic real-time medical services for emergent diseases. Besides, the physiological statuses gathered and maintained by thi...
详细信息
the attempts to develop a ubiquitous health care monitoring system arisen from the need of automatic real-time medical services for emergent diseases. Besides, the physiological statuses gathered and maintained by this system are very helpful for diagnosis and early warning. To improve the medical services and diagnosis accuracy, a Wireless Health Advanced Mobile Bio-diagnostic System (abbreviated as WHAM-BioS) is proposed. this study focuses on network/communication technology in the WHAM-BioS and proposes a novel clustered sensor network (CSN) architecture for long-term periodical telecare applications. In the proposed CSN architecture, most network functions are concentrated in a special purpose device called the human body gateway (HBG). the sensor nodes focus on detecting and reporting their detection results to their HBG. To reduce the design complexity and the implementation cost for the sensor nodes, the proposed architecture proposed several protocols to help each HBG to provide a contention free environment for their sensor nodes. the contention free environment significantly reduces the power consumption in data retransmission. Besides, to further reduce the power consumption of the sensor nodes, this study also proposes a power saving mechanism, which reduces the power consumption in idle listening. Based on the proposed network architecture and protocols, a prototype system is implemented
A type-2 fuzzy set is characterized by a concept called footprint of uncertainty (FOU). It provides the extra mathematical dimension that equips type-2 fuzzy logic systems (FLSs) withthe potential to outperform their...
详细信息
A type-2 fuzzy set is characterized by a concept called footprint of uncertainty (FOU). It provides the extra mathematical dimension that equips type-2 fuzzy logic systems (FLSs) withthe potential to outperform their type-1 counterparts. While a type-2 FLS has the capability to model more complex relationships, the output of a type-2 fuzzy inference engine needs to be type-reduced. As type-reduction is very computationally intensive, type-2 FLSs may not be suitable for certain real-timeapplications. this paper aims at developing more computationally efficient type-reducers. the proposed type-reducer is based on the concept known as equivalent type-1 sets (ET1Ss), a collection of type-1 sets that replicates the input-output map of a type-2 FLS. Simulations are presented to demonstrate that the proposed type-reducing algorithms have lower computational cost and better performances than the Karnik-Mendel type-reducer
Mobile robots are used in many applications, such as carpet cleaning, pickup and delivery, search and rescue, and entertainment. Energy limitation is one of the most important challenges for mobile robots. Most existi...
详细信息
Mobile robots are used in many applications, such as carpet cleaning, pickup and delivery, search and rescue, and entertainment. Energy limitation is one of the most important challenges for mobile robots. Most existing studies on mobile robots focus on motion planning to reduce motion power. However, motion is not the only power consumer. In this paper, we present a case study of a mobile robot called Pioneer 3DX. We analyze the energy consumers. We build power models for motion, sonar sensing and control based on experimental results. the results show that motion consume less than 50% power on average. therefore, it is important to consider the other components in energy-efficient designs. We introduce two energy-conservation techniques: dynamic power management and real-time scheduling. We provide several examples showing how these techniques can be applied to robots. these techniques together with motion planning provide greater opportunities to achieve better energy efficiency for mobile robots. Although our study is based on a specific robot, the approach can be applied to other types of robots
End-to-end middleware predictability is essential to support quality of service (QoS) capabilities needed by distributed real-time and embedded (DRE) applications. real-time CORBA is a middleware standard that allows ...
详细信息
ISBN:
(纸本)0769520863
End-to-end middleware predictability is essential to support quality of service (QoS) capabilities needed by distributed real-time and embedded (DRE) applications. real-time CORBA is a middleware standard that allows DRE applications to allocate, schedule, and control the QoS of CPU, memory, and networking resources. Existing real-time CORBA solutions are implemented in C++, which is generally more complicated and error-prone to program than Java. the real-time Specification for Java (RTSJ) provides extensions that enable Java to be used for developing DRE systems. real-time CORBA does not currently leverage key RTSJ features, such as scoped memory and real-timethreads. thus, integration of real-time CORBA and RTSJ is essential to ensure the predictability required for Java-based DRE applications. this paper provides the following contributions to the study of middleware for DRE applications. First we analyze the architecture of ZEN, our implementation of real-time CORBA, identifying sources for the application of RTSJ features. Second, we describe how RTSJ features, such as scoped memory and real-timethreads, can be associated with key ORB components to enhance the predictability of DRE applications using real-time CORBA and the RTSJ. third, we perform preliminary qualitative and quantitative analysis of predictability enhancements arising from our application of RTSJ features. Our results show that use of RTSJ features can considerably improve the predictability of DRE applications written using real-time CORBA and real-time Java.
Until recently, embeddedcomputing was a niche discipline, but it is now part of standard industrial practice. the increasing sophistication of embeddedapplications is matched by new demands on system performance, es...
详细信息
ISBN:
(纸本)0769520723
Until recently, embeddedcomputing was a niche discipline, but it is now part of standard industrial practice. the increasing sophistication of embeddedapplications is matched by new demands on system performance, especially real-time, and on both interoperability and development process. In this note, I will describe some of the challenges and some new applications for real-time outside traditional areas.
At Fermi lab, high energy physics experiments require very large number of realtime computations. Withthousands of processors (around similar to1000 FPGA's, similar to2500 embedded processors similar to2500 PCs ...
详细信息
ISBN:
(纸本)0769521258
At Fermi lab, high energy physics experiments require very large number of realtime computations. Withthousands of processors (around similar to1000 FPGA's, similar to2500 embedded processors similar to2500 PCs and similar to25,000,000 detector channels) involved in performing event filtering on a trigger farm, there is likely to be a large number of failures within the software and hardware systems. Historically, physicists have developed their own software and hardware for experiments such as BTeV [9] However, their time is best spent working on physics and not software development. the target users of this tool are the physicists. the tool should be user-friendly and the physicists should be able to introduce custom self-adaptive behaviors, since they can best define how the system should behave in fault conditions. the BTeV trigger system is being used as a model for researching tools for defining fault behavior and automatically generating the software. this paper presents a language to define the behaviors and an application scenario for the BTeV system and its expected fault scenarios. these self adaptive system tools are implemented using Model Integrated computing. the Domain specific graphical language (DSL) is implemented within the Generic Modeling Environment (GME) tool, which is a meta-programmable modeling environment developed at Vanderbilt University.
Software development is not an easy task at all. Even more complicated and tricky the problem becomes when developing software for embeddedsystems. thus, there have been defined processes for efficient (real-time) em...
详细信息
ISBN:
(纸本)0769521258
Software development is not an easy task at all. Even more complicated and tricky the problem becomes when developing software for embeddedsystems. thus, there have been defined processes for efficient (real-time) embedded software development (RUP, DESS [2], etc.). Nevertheless, these guidelines are not applicable for evolution of existing software, which is also an activity connected with software development, but staying in a shade of complete development cycle, so far. the situation has been changed by successful finishing of some research activities (i.e. EMPRESS[]]).
the characteristics and requirements of embedded software in real-time pervasive computing environments are considered. Enabling techniques for such embedded software, and research challenges in developing these techn...
详细信息
In this paper, we describe our methodology for co-simulation at a high level of abstraction, to validate the execution of realtimeapplications on simulated H/W using a simulation wrapper of a realtime operating sys...
详细信息
ISBN:
(纸本)0769520871
In this paper, we describe our methodology for co-simulation at a high level of abstraction, to validate the execution of realtimeapplications on simulated H/W using a simulation wrapper of a realtime operating system (RTOS). the simulation wrapper is built on kernel target specification described in a kernel framework model (KFM), by adding the constructs needed for simulation dynamics to create a simulation model of an RTOS. We describe these dynamics and then show the interaction of the embedded S/W consisting of the simulation model of the RTOS and the application running above, with a bus functional model (BFM) of a micro-controller. Our methodology is demonstrated by S/W application.
My research area is fundamental of formal analysis of real-timeembeddedsystems. the main objective of this research is the theoretical and practical development of a verification algorithm for the formal analysis of...
详细信息
My research area is fundamental of formal analysis of real-timeembeddedsystems. the main objective of this research is the theoretical and practical development of a verification algorithm for the formal analysis of real-timeembeddedsystems based on the combination of real-time model checking and abstract interpretation of real-time models. the objective of the proposed combination is an improved behavior both in time and space requirement of the resulting algorithm. One of drawbacks of all current real-time model-checking tools is the limited size of the systemsthat can be analyzed. By combination of state-space exploration with abstract interpretation we expect to scale up the size of applications.
暂无评论