A Real time ZigBee Based Locating System

Embedded Systems based on ARM processors are used extensively in mobile devices like PDA’s and MP3 players.ARM is 32bit Reduced Instruction Set Computer(RISC).Windows CE is real time, multi-task operating system that works on a 32-bit processor. This paper suggests Windows CE embedded operating system, and how to build a platform for Windows CE operating system embedded in a LS5310 ARM11 microprocessor S3C6410 and also the design of Windows CE embedded applications based on Embedded VC++ 4.0. Here we are employing RS232 serial port of ARM 11 processor and ZigBee wireless data communications module to design an application for a ZigBee location system with an easy-to-use interface. It performs multiple functions like information and data receiving, saving, processing and display. It has advantages of high performance, low cost, and low power consumption and is an important component of the network locating system

Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance

Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner. Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''. The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few. This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage. The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling

Energy Harvesting and Management for Wireless Autonomous Sensors

Wireless autonomous sensors that harvest ambient energy are attractive solutions, due to their convenience and economic benefits. A number of wireless autonomous sensor platforms which consume less than 100?W under duty-cycled operation are available. Energy harvesting technology (including photovoltaics, vibration harvesters, and thermoelectrics) can be used to power autonomous sensors. A developed system is presented that uses a photovoltaic module to efficiently charge a supercapacitor, which in turn provides energy to a microcontroller-based autonomous sensing platform. The embedded software on the node is structured around a framework in which equal precedent is given to each aspect of the sensor node through the inclusion of distinct software stacks for energy management and sensor processing. This promotes structured and modular design, allowing for efficient code reuse and encourages the standardisation of interchangeable protocols

Wireless body sensor networks for health-monitoring applications

This is an author-created, un-copyedited version of an article accepted for publication in Physiological Measurement. The publisher is not responsible for any errors or omissions in this version of the manuscript or any version derived from it. The Version of Record is available online at http://dx.doi.org/10.1088/0967-3334/29/11/R01