This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book.Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Contents:

1. Parametric Timed Automata.2. The Inverse Method for Parametric Timed Automata.3. The Inverse Method in Practice: Application to Case Studies.4. Behavioral Cartography of Timed Automata.5. Parameter Synthesis for Hybrid Automata.6. Application to the Robustness Analysis of Scheduling Problems.7. Conclusion and Perspectives.

About the Authors

etienne Andre is Associate Professor in the Laboratoire d'Informatique de Paris Nord, in the University of Paris 13 (Sorbonne Paris Cite) in France. His current research interests focus on the verification of real-time systems.Romain Soulat is currently completing his PhD at the LSV laboratory at ENS-Cachan in France, focusing on the modeling and verification of hybrid temporal systems.

This book, now in its second edition, introduces readers to quantum rings as a special class of modern high-tech material structures at the nanoscale. It deals, in particular, with their formation by means of molecular beam epitaxy and droplet epitaxy of semiconductors, and their topology-driven electronic, optical and magnetic properties. A highly complex theoretical model is developed to adequately represent the specific features of quantum rings. The results presented here are intended to facilitate the development of low-cost high-performance electronic, spintronic, optoelectronic and information processing devices based on quantum rings. This second edition includes both new and significantly revised chapters. It provides extensive information on recent advances in the physics of quantum rings related to the spin-orbit interaction and spin dynamics (spin interference in Rashba rings, tunable exciton topology on type II InAs/GaAsSb quantum nanostructures), the electron-phonon interaction in ring-like structures, quantum interference manifestations in novel materials (graphene nanoribbons, MoS2), and the effects of electrical field and THz radiation on the optical properties of quantum rings. The new edition also shares insights into the properties of various novel architectures, including coupled quantum ring-quantum dot chains and concentric quantum rings, topologic states of light in self-assembled ring-like cavities, and optical and plasmon m.odes in Moebius-shaped resonators.

System-on-chip (SoC) technology is revolutionizing the way computers are designed and used, driving down their cost and making them more pervasive than ever before. However, it's extremely challenging for designers to get their SoC designs right the first time. ARM System Architecture, Second Edition gives system designers an authoritative, inside perspective on SoC design -- and on ARM, the world's #1, fastest-growing SoC platform for mobile phones and information appliances. The insights in this book will be crucial to every system designer and ARM licensee seeking to build more effective SoC designs -- and get them to market more quickly. KEY TOPICS: In contrast to most ARM documentation, this book explains not only what ARM is, but why -- and how you can leverage it most effectively. Expert system designer and ARM specialist Steve Furber introduces the key design challenges associated with SoC systems, including memory hierarchy, caches, memory management, on-chip debug, and production test. Next, he presents state-of-the-art ARM-based solutions for each key problem. Furber reviews the entire ARM processor family, helping designers choose the most appropriate solutions; and covers both the ARM and Thumb programming models, providing real-world guidance for developing applications more quickly and effectively. The book includes a helpful review of the fundamentals of computer architecture, as well as valuable coverage of related topics such as digital signal processing and asynchronous design. MARKET:

This thesis sheds important new light on the puzzling properties of Strontium Ruthenate. Using a sophisticated weak-coupling approach, exact within certain limits, it shows that proper treatment of spin-orbit and multi-band effects is crucial to the physics. Based on the results of these calculations, it resolves a crucial, long-standing puzzle in the field: It demonstrates why the experimentally observed time-reversal breaking is not incompatible with the observed lack of measurable edge currents. Lastly, the thesis makes predictions for the properties of the material under uniaxial strain, which are in good agreement with recent experiments -resolving the mystery of the so-called 3K phase, and suggesting the intriguing possibility that under strain the superconductor may become conventional.

This book covers all the steps in order to fabricate a lab-on-a-chip device starting from the idea, the design, simulation, fabrication and final evaluation. Additionally, it includes basic theory on microfluidics essential to understand how fluids behave at such reduced scale. Examples of successful histories of lab-on-a-chip systems that made an impact in fields like biomedicine and life sciences are also provided. This book also: * Provides readers with a unique approach and toolset for lab-on-a-chip development in terms of materials, fabrication techniques, and components * Discusses novel materials and techniques, such as paper-based devices and synthesis of chemical compounds on-chip * Covers the four key aspects of development: basic theory, design, fabrication, and testing * Provides readers with a comprehensive list of the most important journals, blogs, forums, and conferences where microfluidics and lab-on-a-chip news, methods, techniques and challenges are presented and discussed, as well as a list of companies providing design and simulation support, components, and/or developing lab-on-a-chip and microfluidic devices.

Transformation electromagnetics is a systematic design technique for optical and electromagnetic devices that enables novel wave-material interaction properties. The associated metamaterials technology for designing and realizing optical and electromagnetic devices can control the behavior of light and electromagnetic waves in ways that have not been conventionally possible. The technique is credited with numerous novel device designs, most notably the invisibility cloaks, perfect lenses and a host of other remarkable devices. Transformation Electromagnetics and Metamaterials: Fundamental Principles and Applications presents a comprehensive treatment of the rapidly growing area of transformation electromagnetics and related metamaterial technology with contributions on the subject provided by a collection of leading experts from around the world. On the theoretical side, the following questions will be addressed: "Where does transformation electromagnetics come from?," "What are the general material properties for different classes of coordinate transformations?," "What are the limitations and challenges of device realizations?," and "What theoretical tools are available to make the coordinate transformation-based designs more amenable to fabrication using currently available techniques?" The comprehensive theoretical treatment will be complemented by device designs and/or realizations in various frequency regimes and applications including acoustic, radio frequency, terahertz, infrared, and the visible spectrum. The applications encompass invisibility cloaks, gradient-index lenses in the microwave and optical regimes, negative-index superlenses for sub-wavelength resolution focusing, flat lenses that produce highly collimated beams from an embedded antenna or optical source, beam concentrators, polarization rotators and splitters, perfect electromagnetic absorbers, and many others. This book will serve as the authoritative reference for students and researchers alike to the fast-evolving and exciting research area of transformation electromagnetics/optics, its application to the design of revolutionary new devices, and their associated metamaterial realizations.

Metamaterials, artificial electromagnetic media achieved by structuring on the subwave-length-scale were initially suggested for the negative index and superlensing. They became a paradigm for engineering electromagnetic space and controlling propagation of waves. The research agenda is now shifting on achieving tuneable, switchable, nonlinear and sensing functionalities. The time has come to talk about the emerging research field of metadevices employing active and tunable metamaterials with unique functionalities achieved by structuring of functional matter on the subwave-length scale. This book presents the first systematic and comprehensive summary of the reviews written by the pioneers and top-class experts in the field of metamaterials. It addresses many grand challenges of the cutting edge research for creating smaller and more efficient photonic structures and devices.

An important resource for students, engineers and researchers working in the area of thin film deposition using "physical vapor deposition" (e.g. "sputtering") for semiconductor, liquid crystal displays, high density recording media and photovoltaic device (e.g. thin film solar cell) manufacturing. This book also reviews microelectronics industry topics such as history of inventions and technology trends, recent developments in sputtering technologies, manufacturing steps that require sputtering of thin films, the properties of thin films and the role of sputtering target performance on overall productivity of various processes. Two unique chapters of this book deal with productivity and troubleshooting issues.

The content of the book has been divided into two sections: (a) the "first section" (Chapter 1 to Chapter 3) has been prepared for the readers from a range of disciplines (e.g. electrical, chemical, chemistry, physics) trying to get an insight into use of sputtered films in various devices (e.g. semiconductor, display, photovoltaic, data storage), basic of sputtering and performance of sputtering target in relation to productivity, and (b) the "second section" (Chapter 4 to Chapter 8) has been prepared for readers who already have background knowledge of sputter deposition of thin films, materials science principles and interested in the details of sputtering target manufacturing methods, sputtering behavior and thin film properties specific to semiconductor, liquid crystal display, photovoltaic and magnetic data storage applications.

In Chapters 5 to 8, a general structure has been used, i.e. a description of the applications of sputtered thin films, sputtering target manufacturing methods (including flow charts), sputtering behavior of targets (e.g. current - voltage relationship, deposition rate) and thin film properties (e.g. microstructure, stresses, electrical properties, in-film particles). While discussing these topics, attempts have been made to include examples from the actual commercial processes to highlight the increased complexity of the commercial processes with the growth of advanced technologies. In addition to personnel working in industry setting, university researchers with advanced knowledge of sputtering would also find discussion of such topics (e.g. attributes of target design, chamber design, target microstructure, sputter surface characteristics, various troubleshooting issues) useful.

.
Unique coverage of sputtering target manufacturing methods in the light of semiconductor, displays, data storage and photovoltaic industry requirementsPractical information on technology trends, role of sputtering and major OEMs Discussion on properties of a wide variety of thin films which include silicides, conductors, diffusion barriers, transparent conducting oxides, magnetic films etc.Practical case-studies on target performance and troubleshootingEssential technological information for students, engineers and scientists working in the semiconductor, display, data storage and photovoltaic industry

This thesis describes advances in the understanding of HgCdTe detectors. While long wave (15 m) infrared detectors HgCdTe detectors have been developed for military use under high background irradiance, these arrays had not previously been developed for astronomical use where the background irradiance is a billion times smaller. The main pitfall in developing such arrays for astronomy is the pixel dark current which plagues long wave HgCdTe. The author details work on the success of shorter wavelength development at Teledyne Imaging Sensors, carefully modeling the dark current-reverse bias voltage curves of their 10 m devices at a temperature of 30K, as well as the dark current-temperature curves at several reverse biases, including 250 mV. By projecting first to 13 and then 15 m HgCdTe growth, values of fundamental properties of the material that would minimize tunneling dark currents were determined through careful modeling of the dark current-reverse bias voltage curves, as well as the dark current-temperature curves. This analysis was borne out in the 13 m parts produced by Teledyne, and then further honed to produce the necessary parameters for the 15 m growth. The resulting 13 m arrays are being considered by a number of ground-based astronomy research groups.

This book focuses on angle-resolved photoemission spectroscopy studies on novel interfacial phenomena in three typical two-dimensional material heterostructures: graphene/h-BN, twisted bilayer graphene, and topological insulator/high-temperature superconductors. Since the discovery of graphene, two-dimensional materials have proven to be quite a large "family". As an alternative to searching for other family members with distinct properties, the combination of two-dimensional (2D) materials to construct heterostructures offers a new platform for achieving new quantum phenomena, exploring new physics, and designing new quantum devices. By stacking different 2D materials together and utilizing interfacial periodical potential and order-parameter coupling, the resulting heterostructure's electronic properties can be tuned to achieve novel properties distinct from those of its constituent materials. This book offers a valuable reference guide for all researchers and students working in the area of condensed matter physics and materials science.

Three dimensional (3D) optical geometries are becoming more common in the literature and lexicon of solar cells. "Three Dimensional Solar Cells Based on Optical Confinement Geometries" describes and reveals the basic operational nuances of 3D photovoltaics using three standard tools: Equivalent Circuit Models, Ray Tracing Optics in the Cavity, and Absorber Spectral Response. These tools aide in understanding experimental absorption profile and device parameters including Jsc, Voc, Fill Factor, and EQE. These methods also apply to individual optical confinement geometry device, integrated optical confinement geometry device, and hybrid optical confinement geometry device.
Additionally, this book discusses the importance of these methods in achieving the goal of high efficiency solar cells and suggests a possible application in large-scale photovoltaics business, like solar farms.

The thesis covers a broad range of electronic, optical and opto-electronic devices and various predicted physical effects. In particular, it examines the quantum interference transistor effect in graphene nanorings; tunable spin-filtering and spin-dependent negative differential resistance in composite heterostructures based on graphene and ferromagnetic materials; optical and novel electro-optical bistability and hysteresis in compound systems and the real-time control of radiation patterns of optical nanoantennas. The direction of the main radiation lobe of a regular plasmonic array can be changed abruptly by small variations in external control parameters. This optical effect, apart from its relevance for applications, is a revealing example of the Umklapp process and, thus, is a visual manifestation of one of the most fundamental laws of solid state physics: the conservation of the quasi-momentum to within a reciprocal lattice vector. The thesis analyzes not only results for particular device designs but also a variety of advanced numerical methods which are extended by the author and described in detail. These methods can be used as a sound starting point for further research.

In this thesis the author presents the results of extensive spectroscopy experiments beyond the bounds of each transition element to clarify the origins of characteristic spectral features and charge dynamics in charge-spin-orbital coupled phenomena in Mott-transition oxides. Several counterpart 3d transition-metal oxides were adopted as model systems suitable for examining the mechanisms involved, and their electronic structures were systematically investigated using three main spectroscopy methods.

Comparative studies on the charge dynamics and Mott transition features of transition-metal oxides were performed: Charge dynamics and thermoelectricity in a typical Mott transition system La1 xSrxVO3, charge dynamics in a doped valence-bond solid system (Ti1 xVx)2O3 and in layered nickelates R2-xSrxNiO4 with charge-ordering instability are investigated thoroughly. The results obtained successfully provide a number of novel insights into the emergent phenomena near the Mott transition.

"

In this thesis, the author investigates hidden-order phase transition at" T"0 = 17.5 K in the heavy-fermion URu2Si2. The four-fold rotational symmetry breaking in the hidden order phase, which imposes a strong constraint on the theoretical model, is observed through the magnetic torque measurement. The translationally invariant phase with broken rotational symmetry is interpreted as meaning that the hidden-order phase is an electronic "nematic" phase. The observation of such nematicity in URu2Si2 indicates a ubiquitous nature among the strongly correlated electron systems.

The author also studies the superconducting state of URu2Si2 below" T"c = 1.4 K, which coexists with the hidden-order phase. A peculiar vortex penetration in the superconducting state is found, which may be related to the rotational symmetry breaking in the hidden-order phase. The author also identifies a vortex lattice melting transition. This transport study provides essential clues to the underlying issue of quasiparticle dynamics as to whether a quasiparticle Bloch state is realized in the periodic vortex lattice.

This book describes methods to address wearout/aging degradations in electronic chips and systems, caused by several physical mechanisms at the device level. The authors introduce a novel technique called accelerated active self-healing, which fixes wearout issues by enabling accelerated recovery. Coverage includes recovery theory, experimental results, implementations and applications, across multiple nodes ranging from planar, FD-SOI to FinFET, based on both foundry provided models and predictive models. Presents novel techniques, tested with experiments on real hardware; Discusses circuit and system level wearout recovery implementations, many of these designs are portable and friendly to the standard design flow; Provides circuit-architecture-system infrastructures that enable the accelerated self-healing for future resilient systems; Discusses wearout issues at both transistor and interconnect level, providing solutions that apply to both; Includes coverage of resilient aspects of emerging applications such as IoT.

This book demonstrates how to use the Synopsys Sentaurus TCAD 2014 version for the design and simulation of 3D CMOS (complementary metal-oxide-semiconductor) semiconductor nanoelectronic devices, while also providing selected source codes (Technology Computer-Aided Design, TCAD). Instead of the built-in examples of Sentaurus TCAD 2014, the practical cases presented here, based on years of teaching and research experience, are used to interpret and analyze simulation results of the physical and electrical properties of designed 3D CMOSFET (metal-oxide-semiconductor field-effect transistor) nanoelectronic devices. The book also addresses in detail the fundamental theory of advanced semiconductor device design for the further simulation and analysis of electric and physical properties of semiconductor devices. The design and simulation technologies for nano-semiconductor devices explored here are more practical in nature and representative of the semiconductor industry, and as such can promote the development of pioneering semiconductor devices, semiconductor device physics, and more practically-oriented approaches to teaching and learning semiconductor engineering. The book can be used for graduate and senior undergraduate students alike, while also offering a reference guide for engineers and experts in the semiconductor industry. Readers are expected to have some preliminary knowledge of the field.

Presenting a blend of applied and fundamental research in highly interdisciplinary subjects of rapidly developing areas, this book contains contributions on the frontiers and hot topics of laser physics, laser technology and laser engineering, and covers a wide range of laser topics, from all-optical signal processing and chaotic optical communication to production of superwicking surfaces, correction of extremely high-power beams, and generation of ultrabroadband spectra. It presents both review-type contributions and well researched and documented case studies, and is intended for graduate students, young scientist, and emeritus scientist working/studying in laser physics, optoelectronics, optics, photonics, and adjacent areas. The book contains both experimental and theoretical studies, as well as combinations of these two, which is known to be a most useful and interesting form of reporting scientific results, allowing students to really learn from each contribution. The book contains over 130 illustrations.

This book covers the state of the art of laser micro- and nanotechnology. The physical fundamentals of different processes and the application are presented. The book deals with different materials like phase change and memory alloys, thin films, polymers etc. New phenomena and mechanisms of laser-matter interaction in nano-domains are explained. This book is helpful for students, postgraduates, engineers and researches working not only in the field of laser microtechnology but also in high-tech industry, like photonics, microelectronics, information technology.

"Semiconductors and Semimetals" has distinguished itself through the careful selection of well-known authors, editors, and contributors. Originally widely known as the "Willardson and Beer" Series, it has succeeded in publishing numerous landmark volumes and chapters. The series publishes timely, highly relevant volumes intended for long-term impact and reflecting the truly interdisciplinary nature of the field. The volumes in "Semiconductors and Semimetals" have been and will continue to be of great interest to physicists, chemists, materials scientists, and device engineers in academia, scientific laboratories and modern industry.
Written and edited by internationally renowned experts
Relevant to a wide readership: physicists, chemists, materials scientists, and device engineers in academia, scientific laboratories and modern industry

This book is a comprehensive guide to both the fundamentals of thermal sensors and their advanced functions. Key topics include sensor materials, CMOS-compatible sensors, measurement capabilities, thermal management and manufacturing processes. The introductory chapter covers the basic principles of thermal sensors from the essentials of heat transfer to smart wireless sensors. Later chapters illustrate the wide range of thermal sensor uses, from microprocessor thermal sensing to energy converter applications. Modeling and simulation techniques are used to explain the future direction of the field. Designed for researchers and practitioners working with wireless sensors and thermal management, Thermal Sensors: Principles and Applications for Semiconductor Industries is a valuable reference to the benefits and challenges these sensors offer. Advanced-level students studying mechanical or electrical engineering and networks will also find the content useful.

This thesis combines highly accurate optical spectroscopy data on the recently discovered iron-based high-temperature superconductors with an incisive theoretical analysis. Three outstanding results are reported: (1) The superconductivity-induced modification of the far-infrared conductivity of an iron arsenide with minimal chemical disorder is quantitatively described by means of a strong-coupling theory for spin fluctuation mediated Cooper pairing. The formalism developed in this thesis also describes prior spectroscopic data on more disordered compounds. (2) The same materials exhibit a sharp superconductivity-induced anomaly for photon energies around 2.5 eV, two orders of magnitude larger than the superconducting energy gap. The author provides a qualitative interpretation of this unprecedented observation, which is based on the multiband nature of the superconducting state. (3) The thesis also develops a comprehensive description of a superconducting, yet optically transparent iron chalcogenide compound. The author shows that this highly unusual behavior can be explained as a result of the nanoscopic coexistence of insulating and superconducting phases, and he uses a combination of two complementary experimental methods - scanning near-field optical microscopy and low-energy muon spin rotation - to directly image the phase coexistence and quantitatively determine the phase composition. These data have important implications for the interpretation of data from other experimental probes.

Topological Insulators (TIs) are insulators in the bulk, but have exotic metallic states at their surfaces. The topology, associated with the electronic wavefunctions of these systems, changes when passing from the bulk to the surface. This work studies, by means of infrared spectroscopy, the low energy optical conductivity of Bismuth based TIs in order to identify the extrinsic charge contribution of the bulk and to separate it from the intrinsic contribution of the surface state carriers. The extensive results presented in this thesis definitely shows the 2D character of the carriers in Bismuth-based topological insulators. The experimental apparatus and the FTIR technique, the theory of optical properties and Surface Plasmon Polaritons, as well as sample preparation of both crystals and thin films, and the analysis procedures are thoroughly described.

This book presents a new system of solar cells. Colloidal nanocrystals possess many physical and chemical properties which can be manipulated by advanced control over structural features like the particle size. One application field is photovoltaics where colloidal semiconductor nanocrystals are explored as components of photo-active layers which can be produced from liquid media, often in combination with conductive polymers. The further development of this interdisciplinary field of research requires a deep understanding of the physics and chemistry of colloidal nanocrystals, conducting polymers and photovoltaic devices. This book aims at bridging gaps between the involved scientific disciplines and presents important fundamentals and the current state of research of relevant materials and different types of nanoparticle-based solar cells. The book will be of interest to researchers and PhD students. Moreover, it may also serve to accompany specialized lectures in related areas.