Model-Based Design for Embedded Systems, Nicolescu, Gabriela
Автор: Ledin Jim Название: Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits ISBN: 1789955963 ISBN-13(EAN): 9781789955965 Издательство: Неизвестно Рейтинг: Цена: 67430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book takes embedded system developers through the complete process of developing systems based on field-programmable gate arrays (FPGAs). You`ll not only understand the concepts underlying embedded systems and FPGAs but also explore the powerful free FPGA tools to design electronic circuits and construct and debug prototype embedded devices.
Автор: Maxa, Jean-Aime Название: Model Driven Development for Embedded Software ISBN: 1785482637 ISBN-13(EAN): 9781785482632 Издательство: Elsevier Science Рейтинг: Цена: 129130.00 T Наличие на складе: Поставка под заказ. Описание:
Model-driven Development for Embedded Software: Application to Communications for Drone Swarm describes the principles of model-oriented design used in the aeronautical field, specifically for the UAV (Unmanned Aerial Vehicle). The book focuses on designing an embedded system for drones to carry out ad hoc communication within a drone fleet. In this context, an original methodology for rapid prototyping of embedded systems is presented. This approach saves time for the verification and formal validation phases, contributing to certification of the Unmanned Aerial System (UAS).
The book also addresses the more traditional verification phases that must be performed to verify accuracy of the system. This evaluation is carried out in simulation and by real experimentation. The various tools necessary for the implementation of this methodology are described to allow the reader to be able to implement independently. Finally, to illustrate the contribution of this original methodology, an example of embedded system development is presented in which the different phases of the methodology are explained to conceive, validate and test a new secure routing protocol developed for communications within a fleet of drones.
Describes the principles of model-oriented design used in the aeronautical field
Presents an original methodology of rapid prototyping of embedded systems
Presents a mode of development for embedded systems in the different phases
Автор: Bart Vermeulen; Kees Goossens Название: Debugging Systems-on-Chip ISBN: 3319062417 ISBN-13(EAN): 9783319062419 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Ivan Radojevic; Zoran Salcic Название: Embedded Systems Design Based on Formal Models of Computation ISBN: 9401784159 ISBN-13(EAN): 9789401784153 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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).
Автор: G?tz Название: System Level Design from HW/SW to Memory for Embedded Systems ISBN: 3319900226 ISBN-13(EAN): 9783319900223 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Bart Vermeulen; Kees Goossens Название: Debugging Systems-on-Chip ISBN: 3319356925 ISBN-13(EAN): 9783319356921 Издательство: Springer Рейтинг: Цена: 95770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wu Wei Название: Model-Based Design for Effective Control System Development ISBN: 1522523030 ISBN-13(EAN): 9781522523031 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 180180.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Control systems are an integral aspect of modern society and exist across numerous domains and applications. As technology advances more and more, the complexity of such systems continues to increase exponentially. Model-Based Design for Effective Control System Development is a critical source of scholarly information on model-centric approaches and implementations for control and other similar dynamic systems. Highlighting innovative topics such as configuration management, controllability analysis, and modeling requirements, this book is ideally designed for engineers, researchers, academics, project managers, and professionals interested in the design of embedded control systems.
Автор: Vittorio Cortellessa; Antinisca Di Marco; Paola In Название: Model-Based Software Performance Analysis ISBN: 3642427618 ISBN-13(EAN): 9783642427619 Издательство: Springer Рейтинг: Цена: 51200.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book details both the basic concepts of software performance analysis and state-of-the-art methodologies. It starts from performance primers and goes through software and performance modeling notations to the latest transformation-based methodologies.
Автор: Wymore, A. Wayne Название: Model-Based Systems Engineering ISBN: 084938012X ISBN-13(EAN): 9780849380129 Издательство: Taylor&Francis Рейтинг: Цена: 265410.00 T Наличие на складе: Нет в наличии.
Автор: Roger Chamberlain; Walid Taha; Martin T?rngren Название: Cyber Physical Systems. Model-Based Design ISBN: 3030237028 ISBN-13(EAN): 9783030237028 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.
The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions.
The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
Автор: Yiannis Papadopoulos; Koorosh Aslansefat; Panagiot Название: Model-Based Safety and Assessment ISBN: 3030328716 ISBN-13(EAN): 9783030328719 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. safety assessment in automotive industry;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
