Current Issue : April - June Volume : 2012 Issue Number : 2 Articles : 4 Articles
Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of\r\nrequirements. In this context, it is essential to adopt formal-based techniques to evaluate the impact of design choices on system\r\nrequirements. To be useful, such techniques must produce accurate results with minimal computation time. This paper proposes\r\nan approach based on Coloured Petri Nets for evaluating embedded systems performance and energy consumption. In particular,\r\nthis work presents a method for specifying and evaluating the workload and the platform components, such as processors and\r\nshared or private memories. The method is applied to model single processor and multiprocessor platforms. Experimental results\r\ndemonstrate an average accuracy of 96% in comparison with the respective measures assessed from the real hardware platform....
Manycore architectures are expected to dominate future general-purpose and application-specific computing systems. The everincreasing\r\nnumber of on-chip processor cores and the associated interconnect complexities present significant challenges in\r\nthe design, optimization and operation of these systems. In this paper we investigate the applicability of intelligent, dynamic\r\nsystem-level optimization techniques in addressing some manycore design challenges such as dynamic resource allocation. In\r\nparticular, we introduce hardware enabled system-level bidding-based algorithms as an efficient and real-time on-chip mechanism\r\nfor resource allocation in homogeneous and heterogeneous (MPSoC) manycore architectures. We have also developed a lowlevel\r\nsimulation framework, to evaluate the proposed bidding-based algorithms in several on-chip network-connected manycore\r\nconfigurations. Experimental results indicate performance improvements between 8%ââ?¬â??44%, when compared to a standard onchip\r\nstatic allocation, while achieving a balanced workload distribution. The proposed hardware was synthesized to show that it\r\nimposes a very small hardware overhead to the overall system. Power consumption of the embedded mechanism as well as energy\r\nconsumption due to additional network traffic for collecting system feedback are also estimated to be very small. The obtained\r\nresults encourage further investigation of the applicability of such intelligent, dynamic system-level algorithms for addressing\r\nadditional issues in manycore architectures....
Distributed estimation algorithms have attracted a lot of attention in the past few years, particularly in the framework ofWireless\nSensor Network (WSN). Distributed Kalman Filter (DKF) is one of the most fundamental distributed estimation algorithms for\nscalable wireless sensor fusion.Most DKF methods proposed in the literature rely on consensus filters algorithm. The convergence\nrate of such distributed consensus algorithms typically depends on the network topology. This paper proposes a low-power DKF.\nThe proposed DKF is based on a fast polynomial filter. The idea is to apply a polynomial filter to the network matrix that will shape\nits spectrumin order to increase the convergence rate by minimizing its second largest eigenvalue. Fast convergence can contribute\nto significant energy saving. In order to implement the DKF in WSN, more power saving is needed. Since multiplication is the\natomic operation of Kalman filter, so saving power at the multiplication level can significantly impact the energy consumption of\nthe DKF. This paper also proposes a novel light-weight and low-power multiplication algorithm. The proposed algorithm aims to\ndecrease the number of instruction cycles, save power, and reduce the memory storage without increasing the code complexity or\nsacrificing accuracy....
Device descriptions play an important role in the design and commissioning of modern building automation systems and help\r\nreducing the design time and costs.However, all established device descriptions are specialized for certain purposes and suffer from\r\nseveral weaknesses. This hinders a further design automation, which is strongly needed for the more and more complex building\r\nautomation systems. To overcome these problems, this paper presents novel Ontology-based Device Descriptions (ODDs) along\r\nwith a layered ontology architecture, a specific ontology view approach with virtual properties, a generic access interface, a triple\r\nstore-based database backend, and a generic search mask GUI with underlying query generation algorithm. It enables a formal,\r\nunified, and extensible specification of building automation devices, ensures their comparability, and facilitates a computerenabled\r\nretrieval, selection, and interoperability evaluation, which is essential for an automated design. The scalability of the\r\napproach to several ten thousand devices is demonstrated....
Loading....