Описание: The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design methodologies, verification, performance analysis, and real-time systems design.
Автор: Nikolaos Voros; Konstantinos Masselos Название: System Level Design of Reconfigurable Systems-on-Chip ISBN: 1441938648 ISBN-13(EAN): 9781441938640 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
System Level Design of Reconfigurable Systems-on-Chip provides insight in the challenges and difficulties encountered during the design of reconfigurable Systems-on-Chip (SoCs). Reconfiguration is becoming an important part of System-on-Chip design to cope with the increasing demands for simultaneous flexibility and computational power.
The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects of complex SoCs and how they can be implemented in practice. It is divided in three parts. The first part provides background information and requirements on reconfigurable technologies and systems. The second one identifies existing methodological gaps, and introduces a design flow for developing reconfigurable Systems-on-Chip. The high level part of the design flow can be covered by two C++ based methodologies: one based on SystemC and one based on OCAPI-XL, both including appropriate extensions to handle reconfiguration issues. Finally, the third part of the book presents reconfigurable SoCs from the perspective of the designer, through three indicative case studies from the wireless and multimedia communication domain.
Описание: This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems.
Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.
Автор: Ivan Radojevic; Zoran Salcic Название: Embedded Systems Design Based on Formal Models of Computation ISBN: 9401784159 ISBN-13(EAN): 9789401784153 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG).
Автор: John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef Название: Collaborative Design for Embedded Systems ISBN: 3662524449 ISBN-13(EAN): 9783662524442 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a framework that allows the very different kinds of design models - discrete-event models of software and continuous time models of the physical environment - to be analyzed and simulated jointly, based on common scenarios.
Автор: Bassam Tabbara; Abdallah Tabbara; Alberto L. Sangi Название: Function/Architecture Optimization and Co-Design of Embedded Systems ISBN: 0792379853 ISBN-13(EAN): 9780792379850 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the authors` work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. This book discusses the proposed function/architecture co-design methodology, focusing on design representation, optimization, validation, and synthesis.
Автор: Bernd Kleinjohann; K.H. (Kane) Kim; Lisa Kleinjoha Название: Design and Analysis of Distributed Embedded Systems ISBN: 1402071566 ISBN-13(EAN): 9781402071560 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication.
Автор: Juan C. L?pez; Rom?n Hermida; Walter Geisselhardt Название: Advanced Techniques for Embedded Systems Design and Test ISBN: 0792381289 ISBN-13(EAN): 9780792381280 Издательство: Springer Рейтинг: Цена: 25848.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents developments in methodologies and tools for the specification, synthesis, verification, and test of embedded systems, characterized by the use of high-level languages as a road to productivity. This work looks at each specific part of the design process, from specification through to test with an emphasis on behavioral methodologies.
Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.
Описание: 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.
Описание: This system has the following salient features: * Precise cost and performance figures Design decisions for implementing a certain function in hardware or software are based on `cost and performance figures for the different design alterna tives.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
