Embedded Software Verification and Debugging, Lettnin Djones, Winterholer Markus
Автор: Djones Lettnin; Markus Winterholer Название: Embedded Software Verification and Debugging ISBN: 1461422655 ISBN-13(EAN): 9781461422655 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An Overview about Debugging and Verification Techniques for Embedded Software.- Embedded Software Debug in Simulation and Emulation Environments for Interface IP.- The Use of Dynamic Temporal Assertions for Debugging.- Automated Reproduction and Analysis of Bugs in Embedded Software.- Model-Based Debugging of Embedded Software Systems.- A Mechanism for Monitoring Driver-Device Communication.- Model Checking Embedded C Software using k-Induction and Invariants.- Scalable and Optimized Hybrid Verification of Embedded Software.-
Автор: Berger, Arnold S. Название: Debugging Embedded And Real Time Systems ISBN: 0128178116 ISBN-13(EAN): 9780128178119 Издательство: Elsevier Science Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Debugging Embedded and Real Time Systems: The Art, Science, Technology and Tools of Real Time System Debugging gives a unique introduction to debugging skills and strategies for embedded and real-time systems. Practically focused, it draws on application notes and white papers written by the companies who create design and debug tools.
Debugging Embedded and Real Time Systems presents best practice strategies for debugging real-time systems, through real-life case studies and coverage of specialized tools such as logic analysis, JTAG debuggers and performance analyzers. It follows the traditional design life cycle of an embedded system and points out where defects can be introduced and how to find them and prevent them in future designs. It also studies application performance monitoring, the execution trace recording of individual applications, and other tactics to debug and control individual running applications in the multitasking OS.
Suitable for the professional engineer and student, this book is a compendium of best practices based on the literature as well as the author's considerable experience as a tools' developer.
Автор: Bart Vermeulen; Kees Goossens Название: Debugging Systems-on-Chip ISBN: 3319356925 ISBN-13(EAN): 9783319356921 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.
Автор: Frank Rogin; Rolf Drechsler Название: Debugging at the Electronic System Level ISBN: 9400795076 ISBN-13(EAN): 9789400795075 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.
Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng Название: Formal Equivalence Checking and Design Debugging ISBN: 1461376068 ISBN-13(EAN): 9781461376064 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.
Автор: Bart Vermeulen; Kees Goossens Название: Debugging Systems-on-Chip ISBN: 3319062417 ISBN-13(EAN): 9783319062419 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.
Описание: Want to build your own robots, turn your ideas into prototypes, control devices with a computer, or make your own cell phone applications? It`s a snap with this book and the Arduino open source electronic prototyping platform. Get started with six fun projects and achieve impressive results quickly.
Описание: It was the first of its kind to be run by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems.
Автор: Karen Yorav Название: Hardware and Software: Verification and Testing ISBN: 3540779647 ISBN-13(EAN): 9783540779643 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Prabhat Mishra; Nikil D. Dutt Название: Functional Verification of Programmable Embedded Architectures ISBN: 1489973362 ISBN-13(EAN): 9781489973368 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Mark Benson Название: The Art of Software Thermal Management for Embedded Systems ISBN: 1493947117 ISBN-13(EAN): 9781493947119 Издательство: Springer Рейтинг: Цена: 13059.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces Software Thermal Management (STM) as a means to reduce computing system power consumption in order to manage heat, improve component reliability, and increase system safety. Shows software engineers how to avoid generating excessive heat.
Описание: This book discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
