This book serves as a reference for researchers and designers in Embedded Systems who need to explore design alternatives. It provides a design space exploration methodology for the analysis of system characteristics and the selection of the most appropriate architectural solution to satisfy requirements in terms of performance, power consumption, number of required resources, etc. Coverage focuses on the design of complex multimedia applications, where the choice of the optimal design alternative in terms of application/architecture pair is too complex to be pursued through a full search comparison, especially because of the multi-objective nature of the designer's goal, the simulation time required and the number of parameters of the multi-core architecture to be optimized concurrently.

Dimensional metrology is an essential part of modern manufacturing technologies, but the basic theories and measurement methods are no longer sufficient for today's digitized systems. The information exchange between the software components of a dimensional metrology system not only costs a great deal of money, but also causes the entire system to lose data integrity. Information Modeling for Interoperable Dimensional Metrology analyzes interoperability issues in dimensional metrology systems and describes information modeling techniques. It discusses new approaches and data models for solving interoperability problems, as well as introducing process activities, existing and emerging data models, and the key technologies of dimensional metrology systems. Written for researchers in industry and academia, as well as advanced undergraduate and postgraduate students, this book gives both an overview and an in-depth understanding of complete dimensional metrology systems. By covering in detail the theory and main content, techniques, and methods used in dimensional metrology systems, Information Modeling for Interoperable Dimensional Metrology enables readers to solve real-world dimensional measurement problems in modern dimensional metrology practices.

Deep Sub-Micron (DSM) processes present many changes to Very Large Scale Integration (VLSI) circuit designers. One of the greatest challenges is crosstalk, which becomes significant with shrinking feature sizes of VLSI fabrication processes. The presence of crosstalk greatly limits the speed and increases the power consumption of the IC design. This book focuses on crosstalk avoidance with bus encoding, one of the techniques that selectively mitigates the impact of crosstalk and improves the speed and power consumption of the bus interconnect. This technique encodes data before transmission over the bus to avoid certain undesirable crosstalk conditions and thereby improve the bus speed and/or energy consumption.

Both authors have taught the course of "Distributed Systems" for many years in the respective schools. During the teaching, we feel strongly that "Distributed systems" have evolved from traditional "LAN" based distributed systems towards "Internet based" systems. Although there exist many excellent textbooks on this topic, because of the fast development of distributed systems and network programming/protocols, we have difficulty in finding an appropriate textbook for the course of "distributed systems" with orientation to the requirement of the undergraduate level study for today's distributed technology. Specifically, from - to-date concepts, algorithms, and models to implementations for both distributed system designs and application programming. Thus the philosophy behind this book is to integrate the concepts, algorithm designs and implementations of distributed systems based on network programming. After using several materials of other textbooks and research books, we found that many texts treat the distributed systems with separation of concepts, algorithm design and network programming and it is very difficult for students to map the concepts of distributed systems to the algorithm design, prototyping and implementations. This book intends to enable readers, especially postgraduates and senior undergraduate level, to study up-to-date concepts, algorithms and network programming skills for building modern distributed systems. It enables students not only to master the concepts of distributed network system but also to readily use the material introduced into implementation practices.

This book is the sixth in the ChDL (Chip Design Languages) series. Year 2004 has seen many efforts in the ?eld of electronic and mixed technology circuit design languages. The industry has recognized the need for system level design as a way to enable the design of the next generation of emb- ded systems. This is demonstrated by the "ESL Now!" campaign that many companies are promoting. This year has also seen many interesting st- dardization efforts for system level design, such as SystemC TLM (http: //www. systemc. org/) for transactional level modeling with SystemC, AU- TOSAR (http://www. autosar. org/) for automotive embedded system - plications, or SPIRIT (http://www. spiritconsortium. org/) for IP int- change. In the ?eld of modeling languages, the Model Driven Architecture of the OMG (http://www. omg. org/mda/) has given rise to model driven en- neering, which is a more general way of software engineering based on model transformations. As embedded systems are more and more programmable and as the design abstraction level rises, model driven methodologies are also c- sidered for electronic system level design. In this context, the OMG has - cently published a call for propositions for a UML 2. 0 pro?le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). The constraints on the design process of these next generation embedded systems are considerable: Real-time, power consumption, complexity, mixed technology integration, correctness, time to market, cost, ...

I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni?cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data?ow approach to computation. In data?ow, the computation takes place in a producer-consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called ?lters). Data?ow is an attractive model for many reasons, not least because it corresponds to the way p- duction,transportation,andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data?ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a "super" structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration.

Discusses process variation, model accuracy, design flow and many other practical engineering, reliability and manufacturing issues Gives a good overview for a person who is not an expert in modeling and simulation, enabling them to extract the necessary information to competently use modeling and simulation programs Written for engineering students and product design engineers

Electromagnetic Compatibility of Integrated Circuits: Techniques for Low Emission and Susceptibility focuses on the electromagnetic compatibility of integrated circuits. The basic concepts, theory, and an extensive historical review of integrated circuit emission and susceptibility are provided. Standardized measurement methods are detailed through various case studies. EMC models for the core, I/Os, supply network, and packaging are described with applications to conducted switching noise, signal integrity, near-field and radiated noise. Case studies from different companies and research laboratories are presented with in-depth descriptions of the ICs, test set-ups, and comparisons between measurements and simulations. Specific guidelines for achieving low emission and susceptibility derived from the experience of EMC experts are presented.

E-maintenance is the synthesis of two major trends in today's society: the growing importance of maintenance as a key technology and the rapid development of information and communication technology. E-maintenance gives the reader an overview of the possibilities offered by new and advanced information and communication technology to achieve efficient maintenance solutions in industry, energy production and transportation, thereby supporting sustainable development in society. Sixteen chapters cover a range of different technologies, such as: new micro sensors, on-line lubrication sensors, smart tags for condition monitoring, wireless communication and smart personal digital assistants. E-maintenance also discusses semantic data-structuring solutions; ontology structured communications; implementation of diagnostics and prognostics; and maintenance decision support by economic optimisation. It includes four industrial cases that are both described and analysed in detail, with an outline of a global application solution. E-maintenance is a useful tool for engineers and technicians who wish to develop e-maintenance in industrial sites. It is also a source of new and stimulating ideas for researchers looking to make the next step towards sustainable development.

Designing Inclusive Interactions contains the proceedings of the fifth Cambridge Workshop on Universal Access and Assistive Technology (CWUAAT), incorporating the 8th Cambridge Workshop on Rehabilitation Robotics, held in Cambridge, England, in March 2010. It contains contributions from an international group of leading researchers in the fields of Universal Access and Assistive Technology. This conference will mainly focus on the following principal topics: 1. Designing assistive and rehabilitation technology for working and daily living environments 2. Measuring inclusion for the design of products for work and daily living 3. Inclusive interaction design and new technologies for inclusive design 4. Assembling new user data for inclusive design 5. The design of accessible and inclusive contexts: work and daily living environments 6. Business advantages and applications of inclusive design 7. Legislation, standards and government awareness of inclusive design

This book helps readers evaluate and specificy the best Warehouse Management System (WMS) for their need. The advice is based on practical knowledge, describing in detail fundamental processes and technologies needed for a basic understanding. New approaches in the structure and design of WMS are presented, along with discussion of the limitations of current systems. The book shows how to operate a simple WMS based on the open-source initiative myWMS.

It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.

This is the second volume of the new conference series Design Computing and Cognition (DCC), successor to the successful series Artificial Intelligence in Design (AID). The conference theme of design computing and cognition recognizes not only the essential relationship between human cognitive processes as models of computation but also how models of computation inspire conceptual realizations of human cognition.

The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500tm provides insight into the rules and recommendations of IEEE Std. 1500. This book focuses on practical design considerations inherent to the application of IEEE Std. 1500 by discussing design choices and other decisions relevant to this IEEE standard. The authors provide background information about some of the choices and decisions made throughout the design of IEEE Std. 1500.

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability. This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.

"Dynamic Modelling for Supply Chain Management" discusses how to streamline complex supply chain management by making the most of the growing number of tools available. The reader is introduced to the basic foundations from which to develop intelligent management strategies, as the book characterises the process and framework of modern supply chain management. The author reviews supply chain management concepts and singles out important factors in the management of modern complex production systems. Particular attention is paid to modern simulation modelling tools that can be used to support supply chain planning and control. The book explores the operational and financial impacts of various potential problems, offering a compilation of practical models to help identify solutions. A useful reference on supply chain management, "Dynamic Modelling for Supply Chain Management" will benefit engineers and professionals working in a variety of areas, from supply chain management to product engineering.

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their correctness (up to the accuracy of formal models and correctness of r- soning tools). In the process, the analysis can expose subtle design errors. Formal veri?cation is particularly effective in ?nding corner-case bugs that are dif?cult to detect through traditional simulation and testing. Nevertheless, and in spite of its promise, the application of formal veri?cation has so far been limited in an ind- trial design validation tool ?ow. The dif?culties in its large-scale adoption include the following (1) deductive veri?cation using theorem provers often involves - cessive and prohibitive manual effort and (2) automated decision procedures (e. g. , model checking) can quickly hit the bounds of available time and memory. This book presents recent advances in formal veri?cation techniques and d- cusses the applicability of the techniques in ensuring the reliability of large-scale systems. We deal with the veri?cation of a range of computing systems, from - quential programsto concurrentprotocolsand pipelined machines.

This book describes the state-of-the-art in RF, analog, and mixed-signal circuit design for Software Defined Radio (SDR). It synthesizes for analog/RF circuit designers the most important general design approaches to take advantage of the most recent CMOS technology, which can integrate millions of transistors, as well as several real examples from the most recent research results.

Integrated circuits are fundamental electronic components in biomedical, automotive and many other technical systems. A small, yet crucial part of a chip consists of analog circuitry. This part is still in large part designed by hand and therefore represents not only a bottleneck in the design flow, but also a permanent source of design errors responsible for re-designs, costly in terms of wasted test chips and in terms of lost time-to-market. Layout design is the step of the analog design flow with the least support by commercially available, computer-aided design tools. This book provides a survey of promising new approaches to automated, analog layout design, which have been described recently and are rapidly being adopted in industry.

This book presents innovative solutions for the implementation of Sigma-Delta Modulation (SDM) based Analog-to-Digital Conversion (ADC), required for the next generation of wireless hand-held terminals. These devices will be based on the so-called multi-standard transceiver chipsets, integrated in nanometer CMOS technologies. One of the most challenging and critical parts in such transceivers is the analog-digital interface, because of the assorted signal bandwidths and dynamic ranges that can be required to handle the A/D conversion for several operation modes. This book describes new adaptive and reconfigurable SDM ADC topologies, circuit strategies and synthesis methods, specially suited for multi-standard wireless telecom systems and future Software-defined-radios (SDRs) integrated in nanoscale CMOS. It is a practical book, going from basic concepts to the frontiers of SDM architectures and circuit implementations, which are explained in a didactical and systematic way. It gives a comprehensive overview of the state-of-the-art performance, challenges and practical solutions, providing the necessary insight to implement successful design, through an efficient design and synthesis methodology. Readers will learn a number of practical skills - from system-level design to experimental measurements and testing.

Embedded processors are the heart of embedded systems. Reconfigurable embedded processors comprise an extended instruction set that is implemented using a reconfigurable fabric (similar to a field-programmable gate array, FPGA). This book presents novel concepts, strategies, and implementations to increase the run-time adaptivity of reconfigurable embedded processors. Concepts and techniques are presented in an accessible, yet rigorous context. A complex, realistic H.264 video encoder application with a high demand for adaptivity is presented and used as an example for motivation throughout the book. A novel, run-time system is demonstrated to exploit the potential for adaptivity and particular approaches/algorithms are presented to implement it.

SYROM conferences have been organized since 1973 by the Romanian branch of the International Federation for the Promotion of Mechanisms and Machine Science IFToMM, Year by year the event grew in quality. Now in its 10th edition, international visibility and recognition among the researchers active in the mechanisms science field has been achieved. SYROM 2009 brought together researchers and academic staff from the field of mechanisms and machine science from all over the world and served as a forum for presenting the achievements and most recent results in research and education. Topics treated include conceptual design, kinematics and dynamics, modeling and simulation, synthesis and optimization, command and control, current trends in education in this field, applications in high-tech products. The papers presented at this conference were subjected to a peer-review process to ensure the quality of the paper, the engineering significance, the soundness of results and the originality of the paper. The accepted papers fulfill these criteria and make the proceedings unique among the publications of this type.

Dead-Reckoning aided with Doppler velocity measurement has been the most common method for underwater navigation for small vehicles. Unfortunately DR requires frequent position recalibrations and underwater vehicle navigation systems are limited to periodic position update when they surface. Finally standard Global Positioning System (GPS) receivers are unable to provide the rate or precision required when used on a small vessel. To overcome this, a low cost high rate motion measurement system for an Unmanned Surface Vehicle (USV) with underwater and oceanographic purposes is proposed. The proposed onboard system for the USV consists of an Inertial Measurement Unit (IMU) with accelerometers and rate gyros, a GPS receiver, a flux-gate compass, a roll and tilt sensor and an ADCP. Interfacing all the sensors proved rather challenging because of their different characteristics. The proposed data fusion technique integrates the sensors and develops an embeddable software package, using real time data fusion methods, for a USV to aid in navigation and control as well as controlling an onboard Acoustic Doppler Current Profiler (ADCP). While ADCPs non-intrusively measure water flow, the vessel motion needs to be removed to analyze the data and the system developed provides the motion measurements and processing to accomplish this task.

High definition video requires substantial compression in order to be transmitted or stored economically. Advances in video coding standards from MPEG-1, MPEG-2, MPEG-4 to H.264/AVC have provided ever increasing coding efficiency, at the expense of great computational complexity which can only be delivered through massively parallel processing. This book will present VLSI architectural design and chip implementation for high definition H.264/AVC video encoding, using a state-of-the-art video application, with complete VLSI prototype, via FPGA/ASIC. It will serve as an invaluable reference for anyone interested in VLSI design and high-level (EDA) synthesis for video.

This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design.