Model-Based Design for Embedded Systems, Nicolescu, Gabriela
Автор: Alexandru Forrai Название: Embedded Control System Design ISBN: 3642447724 ISBN-13(EAN): 9783642447723 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Bridging theory and practice, this book offers model based control design techniques and methods for verifying design robustness. Emphasizes sound design practices and systematic software development processes according to the generic standard IEC61508.
Автор: Twan Basten; Roelof Hamberg; Frans Reckers; Jacque Название: Model-Based Design of Adaptive Embedded Systems ISBN: 1489996192 ISBN-13(EAN): 9781489996190 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes model-based development of adaptive embedded systems, presenting techniques that focus on the problem domain rather than on the solution domain, thereby increasing development efficiency. Includes industrial examples of the models used.
Автор: Mohsen Mirtalebi Название: Embedded Systems Architecture for Agile Development ISBN: 1484230507 ISBN-13(EAN): 9781484230503 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Utilize a new layers-based development model for embedded systems using Agile techniques for software architecture and management. Firmware is comprised of both hardware and software, but the applicability of Agile in embedded systems development is new. This book provides a step-by-step process showing how this is possible.
The book details how the moving parts in embedded systems development affect one another and shows how to properly use both engineering tools and new tools and methods to reduce waste, rework, and product time-to-market. Software is seen not as a commodity but a conduit to facilitate valuable product knowledge flow across the company into the hands of the customer.
Embedded Systems Architecture for Agile Development starts off by reviewing the Layers model used in other engineering disciplines, as well as its advantages and applicability to embedded systems development. It outlines development models from p
roject-based methodologies (e.g., collaborative product development) to the newer modern development visions (e.g., Agile) in software and various tools and methods that can help with a Layers model implementation. The book covers requirement modeling for embedded systems (Hatley-Pirbhai Method) and how adapting the HP Method with the help of the tools discussed in this book can be seen as a practical example for a complete embedded system.
What You'll Learn:
Identify the major software parts involved in building a typical modern firmware
Assign a layer to each software part so each layer can be separate from another and there won't be interdependencies between them
Systematically and logically create these layers based on the customer requirements
Use Model-Based Design (MBD) to create an active system architecture that is more accepting of changes
Wh
at You'll Learn
Identify the major software parts involved in building a typical modern firmware
Assign a layer to each software part so each layer can be separate from another and there won't be interdependencies between them
Systematically and logically create these layers based on the customer requirements
Use Model-Based Design (MBD) to create an active system architecture that is more accepting of changes
Who This Book Is For
Firmware engineers; systems architects; hardware and software managers, developers, designers, and architects; program managers; project managers; Agile practitioners; and manufacturing engineers and managers. The secondary audience includes research engineers and managers, and engineering and manufacturing managers.
Автор: Zander, Justyna Название: Model-Based Testing for Embedded Systems ISBN: 1439818452 ISBN-13(EAN): 9781439818459 Издательство: Taylor&Francis Рейтинг: Цена: 209270.00 T Наличие на складе: Нет в наличии.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
