The author of the "Programmer's Toolbox" column shows how to use powerful math functions to achieve optimal real-time performance in programming. Along the way, readers will gain new understanding of math fundamentals, learn how to write more robust software for real-time systems, and discover how to implement math algorithms efficiently and accurately. The toolkit is bundled with a CD-ROM containing an arsenal of math algorithms to make the learning process easy and fun.

ARM-based Microcontroller Projects Using mbed gives readers a good understanding of the basic architecture and programming of ARM-based microcontrollers using ARM's mbed software. The book presents the technology through a project-based approach with clearly structured sections that enable readers to use or modify them for their application. Sections include: Project title, Description of the project, Aim of the project, Block diagram of the project, Circuit diagram of the project, Construction of the project, Program listing, and a Suggestions for expansion. This book will be a valuable resource for professional engineers, students and researchers in computer engineering, computer science, automatic control engineering and mechatronics.

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations.
The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.

This book presents the state-of-the-art methodology and detailed analytical models and methods used to assess the reliability of complex systems and related applications in statistical reliability engineering. It is a textbook based mainly on the author's recent research and publications as well as experience of over 30 years in this field. The book covers a wide range of methods and models in reliability, and their applications, including: statistical methods and model selection for machine learning; models for maintenance and software reliability; statistical reliability estimation of complex systems; and statistical reliability analysis of k out of n systems, standby systems and repairable systems. Offering numerous examples and solved problems within each chapter, this comprehensive text provides an introduction to reliability engineering graduate students, a reference for data scientists and reliability engineers, and a thorough guide for researchers and instructors in the field.

This book presents a systematic approach to the implementation of Internet of Things (IoT) devices achieving visual inference through deep neural networks. Practical aspects are covered, with a focus on providing guidelines to optimally select hardware and software components as well as network architectures according to prescribed application requirements. The monograph includes a remarkable set of experimental results and functional procedures supporting the theoretical concepts and methodologies introduced. A case study on animal recognition based on smart camera traps is also presented and thoroughly analyzed. In this case study, different system alternatives are explored and a particular realization is completely developed. Illustrations, numerous plots from simulations and experiments, and supporting information in the form of charts and tables make Visual Inference and IoT Systems: A Practical Approach a clear and detailed guide to the topic. It will be of interest to researchers, industrial practitioners, and graduate students in the fields of computer vision and IoT.

Do big math on small machines Write fast and accurate library functions Master analytical and numerical calculus Perform numerical integration to any order Implement z-transform formulas Need to learn the ins and outs of the fundamental math functions in

The go-to guide to getting started with micro:bit and exploring all of the mini-computer's amazing capabilities The micro:bit is a pocket-sized electronic development platform built with education in mind. It was developed by the BBC in partnership with Microsoft and other major tech companies to provide kids with a fun, easy, inexpensive way to develop their digital skills. With it, kids (and grownups) can learn basic programming and coding while having fun making virtual pets, developing games, and a whole lot more. Written by internationally bestselling tech author Gareth Halfacree and endorsed by the Micro:bit Foundation, the micro:bit User Guide contains what you need to know to get up and running fast with the micro:bit. Learn everything from taking your first steps with the software to writing your own programs. You'll also learn how to expand its capabilities with add-ons through easy-to-follow, step-by-step instructions. * Configure your micro:bit and develop your digital skills * Write code in Microsoft PXT, Python, JavaScript, and more * Discover the motion detector and compass * Connect the micro:bit to a computer, Raspberry Pi, or your smartphone * Build your own circuits and create hardware The micro:bit User Guide is your go-to source for learning all the secrets of the micro:bit. Whether you're just beginning or have some experience, this book allows you to dive right in and experience everything the micro:bit has to offer.

In programming, Gotcha is a well known term. A gotcha is a language feature, which, if misused, causes unexpected - and, in hardware design, potentially disastrous - behavior. The purpose of this book is to enable engineers to write better Verilog/SystemVerilog design and verification code, and to deliver digital designs to market more quickly. This book shows over 100 common coding mistakes that can be made with the Verilog and SystemVerilog languages. Each example explains in detail the symptoms of the error, the languages rules that cover the error, and the correct coding style to avoid the error. The book helps digital design and verification engineers to recognize these common coding mistakes, and know how to avoid them. Many of these errors are very subtle, and can potentially cost hours or days of lost engineering time trying to find and debug the errors. This book is unique because while there are many books that teach the language, and a few that try to teach coding style, no other book addresses how to recognize and avoid coding errors with these languages.

PC Based Instrumentation and Control is a guide to implementing computer control, instrumentation and data acquisition using a standard PC and some of the more traditional computer languages. Numerous examples of configurations and working circuits, as well as representative software, make this a practical, hands-on guide to implementing PC-based testing and calibration systems and increasing efficiency without compromising quality or reliability. Guidance is given on modifying the circuits and software routines to meet the reader's specific needs. The third edition includes updated coverage of PC hardware and bus systems, a new chapter on virtual instruments and an introduction to programming and software development in a modern 32-bit environment. Additional examples have been included, with source code and executables available for download from the companion website www.key2control.com.

Parallel Computing for Data Science: With Examples in R, C++ and CUDA is one of the first parallel computing books to concentrate exclusively on parallel data structures, algorithms, software tools, and applications in data science. It includes examples not only from the classic "n observations, p variables" matrix format but also from time series, network graph models, and numerous other structures common in data science. The examples illustrate the range of issues encountered in parallel programming. With the main focus on computation, the book shows how to compute on three types of platforms: multicore systems, clusters, and graphics processing units (GPUs). It also discusses software packages that span more than one type of hardware and can be used from more than one type of programming language. Readers will find that the foundation established in this book will generalize well to other languages, such as Python and Julia.

Written by a Federal Aviation Administration (FAA) consultant designated engineering representative (DER) and an electronics hardware design engineer who together taught the DO-254 class at the Radio Technical Commission for Aeronautics, Inc. (RTCA) in Washington, District of Columbia, USA, Airborne Electronic Hardware Design Assurance: A Practitioner's Guide to RTCA/DO-254 is a testimony to the lessons learned and wisdom gained from many years of first-hand experience in the design, verification, and approval of airborne electronic hardware. This practical guide to the use of RTCA/DO-254 in the development of airborne electronic hardware for safety critical airborne applications: Describes how to optimize engineering processes and practices to harmonize with DO-254 Addresses the single most problematic aspect of engineering and compliance to DO-254-poorly written requirements Includes a tutorial on how to write requirements that will minimize the cost and effort of electronic design and verification Discusses the common pitfalls encountered by practitioners of DO-254, along with how those pitfalls occur and what can be done about them Settles the ongoing debate and misconceptions about the true definition of a derived requirement Promotes embracing DO-254 as the best means to achieve compliance to it, as well as the best path to high-quality electronic hardware Airborne Electronic Hardware Design Assurance: A Practitioner's Guide to RTCA/DO-254 offers real-world insight into RTCA/DO-254 and how its objectives can be satisfied. It provides engineers with valuable information that can be applied to any project to make compliance to DO-254 as easy and problem-free as possible.

A complete guide to testing, analyzing, verifying, and monitoring real-time systems

More and more of our modern-day systems and devices–from toasters and climate-control systems to airplanes and space shuttles–contain embedded systems to control their functions and ensure that their responses are both timely and correct. With safety a requisite factor, performance validation is a critical aspect of real-time systems. Answering the needs of professionals and students alike, Real-Time Systems: Scheduling, Analysis, and Verification provides a substantial, up-to-date overview of the verification and validation process. It describes several approaches to the problem, and examines the advantages and disadvantages of each approach.

Designed to be both an introductory text and a handy reference for the practitioner, the book discusses:

• Symbolic logic, automata, and languages in non-real-time systems
• Real-time scheduling and schedulability analysis
• Verification using timed automata and timed petri nets
• Process algebra
• The design and analysis of propositional-logic rule-based systems
• Timing analysis of predicate-logic rule-based systems
• Optimization of rule-based systems
• Model checking, real-time logic, and statecharts

With ample illustrations and examples of a variety of industrial and toy applications, Real-Time Systems: Scheduling, Analysis, and Verification serves as a key resource for every professional who works with real-time systems.

Hardware-intrinsic security is a young field dealing with secure secret key storage. By generating the secret keys from the intrinsic properties of the silicon, e.g., from intrinsic Physical Unclonable Functions (PUFs), no permanent secret key storage is required anymore, and the key is only present in the device for a minimal amount of time. The field is extending to hardware-based security primitives and protocols such as block ciphers and stream ciphers entangled with the hardware, thus improving IC security. While at the application level there is a growing interest in hardware security for RFID systems and the necessary accompanying system architectures. This book brings together contributions from researchers and practitioners in academia and industry, an interdisciplinary group with backgrounds in physics, mathematics, cryptography, coding theory and processor theory. It will serve as important background material for students and practitioners, and will stimulate much further research and development.

Historians have different views on the core identity of analogue computing. Some portray the technology solely as a precursor to digital computing, whereas others stress that analogue applications existed well after 1940. Even within contemporary sources, there is a spectrum of understanding around what constitutes analogue computing. To understand the relationship between analogue and digital computing, and what this means for users today, the history must consider how the technology is used. Technology for Modelling investigates the technologies, the concepts, and the applications of analogue computing. The text asserts that analogue computing must be thought of as not just a computing technology, but also as a modelling technology, demonstrating how the history of analogue computing can be understood in terms of the parallel themes of calculation and modelling. The book also includes a number of detailed case studies of the technology's use and application. Topics and features: discusses the meaning of analogue computing and its significance in history, and describes the main differences between analogue and digital computing; provides a chronology of analogue computing, based upon the two major strands of calculation and modeling; examines the wider relationship between computing and modelling, and discusses how the theme of modelling fits within the history of analogue computing; describes how the history of analogue computing evolved through a number of stages of use; presents illustrative case studies on analogue modelling in academic research, oil reservoir modelling, aeronautical design, and meteorology. General readers and researchers in the field of history of computing - as well as history of science more generally - will find this book a fascinating insight into the historical use and evolution of technology. The volume provides a long-needed historical framework and context for these core computing technologies. Dr. Charles Care is a senior software engineer at BT and an Associate Fellow at the Department of Computer Science of the University of Warwick, UK.

Embedded Systems: A Contemporary Design Tool, Second Edition Embedded systems are one of the foundational elements of today s evolving and growing computer technology. From operating our cars, managing our smart phones, cleaning our homes, or cooking our meals, the special computers we call embedded systems are quietly and unobtrusively making our lives easier, safer, and more connected. While working in increasingly challenging environments, embedded systems give us the ability to put increasing amounts of capability into ever-smaller and more powerful devices. Embedded Systems: A Contemporary Design Tool, Second Edition introduces you to the theoretical hardware and software foundations of these systems and expands into the areas of signal integrity, system security, low power, and hardware-software co-design. The text builds upon earlier material to show you how to apply reliable, robust solutions to a wide range of applications operating in today s often challenging environments. Taking the users problem and needs as your starting point, you will explore each of the key theoretical and practical issues to consider when designing an application in todays world. Author James Peckol walks you through the formal hardware and software development process covering: Breaking the problem down into major functional blocks; Planning the digital and software architecture of the system; Utilizing the hardware and software co-design process; Designing the physical world interface to external analog and digital signals; Addressing security issues as an integral part of the design process; Managing signal integrity problems and reducing power demands in contemporary systems; Debugging and testing throughout the design and development cycle; Improving performance. Stressing the importance of security, safety, and reliability in the design and development of embedded systems and providing a balanced treatment of both the hardware and the software aspects, Embedded Systems: A Contemporary Design Tool, Second Edition gives you the tools for creating embedded designs that solve contemporary real-world challenges. Visit the book's website at: http: //bcs.wiley.com/he-bcs/Books?action=index&bcsId=11853&itemId=1119457505

The demands of increasingly complex embedded systems and associated performance computations have resulted in the development of heterogeneous computing architectures that often integrate several types of processors, analog and digital electronic components, and mechanical and optical components?all on a single chip. As a result, now the most prominent challenge for the design automation community is to efficiently plan for such heterogeneity and to fully exploit its capabilities.

A compilation of work from internationally renowned authors, Model-Based Design for Embedded Systems elaborates on related practices and addresses the main facets of heterogeneous Model-Based Design for embedded systems, including the current state of the art, important challenges, and the latest trends. Focusing on computational models as the core design artifact, this book presents the cutting-edge results that have helped establish Model-Based Design and continue to expand its parameters.
The book is organized into three sections: Real-Time and Performance Analysis in Heterogeneous Embedded Systems, Design Tools and Methodology for Multiprocessor System-on-Chip, and Design Tools and Methodology for Multidomain Embedded Systems. The respective contributors share their considerable expertise on the automation of design refinement and how to relate properties throughout this refinement while enabling analytic and synthetic qualities. They focus on multi-core methodological issues, real-time analysis, and modeling and validation, taking into account how optical, electronic, and mechanical components often interface.
Model-Based Design is emerging as a solution to bridge the gap between the availability of computational capabilities and our inability to make full use of them yet. This approach enables teams to start the design process using a high-level model that is gradually refined through abstraction levels to ultimately yield a prototype. When executed well, Model-Based Design encourages enhanced performance and quicker time to market for a product. Illustrating a broad and diverse spectrum of applications such as in the automotive aerospace, health care, consumer electronics, this volume provides designers with practical, readily adaptable modeling solutions for their own practice.

Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems. The chapters contained within this reference work propose interesting and useful solutions that can be applied in future industry.

Large-area high-resolution displays are essential for scientific visualization, entertainment, and defense applications. A popular way to realize such displays is to tile multiple projectors together to create one large display. As opposed to a 19 diagonal monitor with a resolution of 60 pixels per inch, tiled multi-projector displays are often 10 x 8 and have a resolution of 100-300 pixels per inch.

The research in this area spans several traditional areas in computer science, including computer vision, computer graphics, image processing, human-computer interaction, and visualization tools. This book shows how to make such displays inexpensive, flexible, and commonplace by making them both perceptually and functionally seamless. In addition, the use of multi-projector techniques in large-scale visualization, virtual reality, computer graphics, and vision applications is discussed.

The latest on getting the most from laptops and tablets Not that long ago, laptops were seen as luxuries. Now they're practically an essential for many people, and--as faster computing power and super-sharp displays make many of them the equal of a desktop--the new wave of lightweight laptops is increasingly replacing the home PC with its bulky tower and multiple cords. Plus, you can use your laptop when chilling on the couch or venturing out for a quick coffee! In this fully updated edition of Laptops For Dummies, bestselling tech writer Dan Gookin takes a friendly walk through everything you need to know, from the basics (if you're new to laptops) all the way up to the latest hardware and tech updates--including the recent release of Windows 10. Along the way you'll learn how to synchronize your laptop with other machines, coordinate email pickup across devices, and beef up your security. You'll also learn how to Choose the right laptop Check out tablet options Troubleshoot problems Maintain and upgrade Whether you're choosing a new laptop or want to maximize what you're getting from the one you have, Laptops For Dummies has you covered, wherever you want to work--or play!

Take advantage of everything Microsoft's new PowerShell 7 has to offer PowerShell 7 for IT Pros is your guide to using PowerShell 7, the open source, cross-platform version of Windows PowerShell. Windows IT professionals can begin setting up automation in PowerShell 7, which features many improvements over the early version of PowerShell Core and Windows PowerShell. PowerShell 7 users can enjoy the high level of compatibility with the Windows PowerShell modules they rely on today. This book shows IT professionals--especially Windows administrators and developers--how to use PowerShell7 to engage in their most important tasks, such as managing networking, using AD/DNS/DHCP, leveraging Azure, and more. To make it easy to learn everything PowerShell 7 has to offer, this book includes robust examples, each containing sample code so readers can follow along. Scripts are based on PowerShell 7 running on Windows 10 19H1 or later and Windows Server 2019. - Learn to navigate the PowerShell 7 administrative environment - Use PowerShell 7 to automate networking, Active Directory, Windows storage, shared data, and more - Run Windows Update, IIS, Hyper-V, and WMI and CIM cmdlets within PowerShell 7 - Understand how to handle reporting in the new PowerShell 7 environment PowerShell 7 for IT Pros provides exclusive coverage of using PowerShell with both cloud-based systems and virtualized environments (Hyper V and Azure). Written by PowerShell veteran Thomas Lee, this is the only book you'll need to get started with PowerShell 7.

Rugged Embedded Systems: Computing in Harsh Environments describes how to design reliable embedded systems for harsh environments, including architectural approaches, cross-stack hardware/software techniques, and emerging challenges and opportunities. A "harsh environment" presents inherent characteristics, such as extreme temperature and radiation levels, very low power and energy budgets, strict fault tolerance and security constraints, etc. that challenge the computer system in its design and operation. To guarantee proper execution (correct, safe, and low-power) in such scenarios, this contributed work discusses multiple layers that involve firmware, operating systems, and applications, as well as power management units and communication interfaces. This book also incorporates use cases in the domains of unmanned vehicles (advanced cars and micro aerial robots) and space exploration as examples of computing designs for harsh environments.

Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications. The book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles typically allow. The articles included in this book will become standard references, with lasting value in this rapidly expanding field.

The book provides a comprehensive coverage of different aspects of low power circuit synthesis at various levels of design hierarchy; starting from the layout level to the system level. For a seamless understanding of the subject, basics of MOS circuits has been introduced at transistor, gate and circuit level; followed by various low-power design methodologies, such as supply voltage scaling, switched capacitance minimization techniques and leakage power minimization approaches. The content of this book will prove useful to students, researchers, as well as practicing engineers.