This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic...

The leading text in the field explains step by step how to write software that responds in real timeFrom power plants to medicine to avionics, the world increasingly depends on computer systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software designers the knowledge and the tools needed to create real-time software using a holistic, systems-based approach. The text ...

This book collects the best practices FPGA-based Prototyping of SoC and ASIC devices into one place for the first time, drawing upon not only the authors own knowledge but also from leading practitioners worldwide in order to present a snapshot of best practices today and possibilities for the future.The book is organized into chapters which appear in the same order as the tasks and decisions which are performed during an FPGA-based prototyping project. We start by analyzing the challenges...

Securing the Internet of Things provides network and cybersecurity researchers and practitioners with both the theoretical and practical knowledge they need to know regarding security in the Internet of Things (IoT). This booming field, moving from strictly research to the marketplace, is advancing rapidly, yet security issues abound. This book explains the fundamental concepts of IoT security, describing practical solutions that account for resource limitations at IoT end-node, hybrid net...

Internet of Things: Principles and Paradigms captures the state-of-the-art research in Internet of Things, its applications, architectures, and technologies. The book identifies potential future directions and technologies that facilitate insight into numerous scientific, business, and consumer applications. The Internet of Things (IoT) paradigm promises to make any electronic devices part of the Internet environment. This new paradigm opens the doors to new innovations and interactions be...

Cloud computing is a buzz-word in today’s information technology (IT) that nobody can escape. But what is really behind it? There are many interpretations of this term, but no standardized or even uniform definition. Instead, as a result of the multi-faceted viewpoints and the diverse interests expressed by the various stakeholders, cloud computing is perceived as a rather fuzzy concept.With this book, the authors deliver an overview of cloud computing architecture, services, and a...

This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: - The principles of good architecture for an embedded system - Design practices to help make your embedded proj...

Cloud Computing: Theory and Practice provides students and IT professionals with an in-depth analysis of the cloud from the ground up. Beginning with a discussion of parallel computing and architectures and distributed systems, the book turns to contemporary cloud infrastructures, how they are being deployed at leading companies such as Amazon, Google and Apple, and how they can be applied in fields such as healthcare, banking and science. The volume also examines how to successfully deplo...

Build scalable, secure, and intelligent systems by utilizing IoT architectures, AWS, Azure, AI, and real-world solutions to become a skilled IIoT architectKey FeaturesLeverage IoT, AI/ML, and cloud technologies to unlock industrial potential and drive business innovationWork with labs on real-world edge computing scenarios, integrating AWS, Azure, and open source toolsUse diagnostic and predictive analytics to develop digital twins, improve ind...

Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to...

If there exists a single term that summarizes the key to success in modern industrial automation, the obvious choice would be integration. Integration is critical to aligning all levels of an industrial enterprise and to optimizing each stratum in the hierarchy. While many books focus on the technological components of enterprise information systems, Integration Technologies for Industrial Automated Systems is the first book to present a comprehensive picture of the technologies, methodolo...

The transportation of multimedia over the network requires timely and errorless transmission much more strictly than other data. This had led to special protocols and to special treatment in multimedia applications (telephony, IP-TV, streaming) to overcome network issues. This book begins with an overview of the vast market combined with the user’s expectations. The base mechanisms of the audio/video coding (H.26x etc.) are explained to understand characteristics of the generated network t...