Spatial Awareness of Autonomous Embedded Systems, Clemens Holzmann
Автор: White Elecia Название: Making Embedded Systems ISBN: 1449302149 ISBN-13(EAN): 9781449302146 Издательство: Wiley Рейтинг: Цена: 5701.00 р. Наличие на складе: Поставка под заказ.
Описание: Making embedded systems takes a more disciplined approach to programming than you may be used to, because these systems don`t tolerate inefficiency. This easy-to-read book helps you cultivate a host of good development practices, based on classic software design patterns as well as new patterns unique to embedded programming.
Автор: Gomaa Название: Real-Time Software Design for Embedded Systems ISBN: 1107041090 ISBN-13(EAN): 9781107041097 Издательство: Cambridge Academ Рейтинг: Цена: 12672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.
Автор: Hobbs Название: Embedded Software Development for Safety-Critical Systems ISBN: 1498726704 ISBN-13(EAN): 9781498726702 Издательство: Taylor&Francis Рейтинг: Цена: 19906.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems 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 "safety bag" systems.Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.
Автор: Laurence T. Yang; Xingshe Zhou; Wei Zhao; Zhaohui Название: Embedded Software and Systems ISBN: 3540308814 ISBN-13(EAN): 9783540308812 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Second International Conference on Embedded Software and Systems held in 2005. The papers are organized in topical sections on embedded hardware, embedded software, real-time systems, power aware computing, hardware/software co-design and system-on-chip, testing and verification, and more.
Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man Название: Model-Based Engineering of Embedded Systems ISBN: 3642439926 ISBN-13(EAN): 9783642439926 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
Автор: Osman Название: Autonomous Agents and Multiagent Systems ISBN: 3319468391 ISBN-13(EAN): 9783319468396 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the most visionary papers of the AAMAS 2016 Workshops, held in Singapore, Singapore, in May 2016. The 12 revised full papers presented were carefully reviewed and selected from the 12 workshops. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.
Название: Embedded Computing Systems ISBN: 1466639229 ISBN-13(EAN): 9781466639225 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. <em>Embedded Computing Systems: Applications, Optimization, and Advanced Design</em> brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modelling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.
Автор: Bertolotti Название: Embedded Software Development ISBN: 146659392X ISBN-13(EAN): 9781466593923 Издательство: Taylor&Francis Рейтинг: Цена: 25265.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is written in a way that enables even novice practitioners to grasp the development process as a whole.
Incorporating real code fragments and explicit, real-world open-source operating system references (in particular, FreeRTOS) throughout, the text:
Defines the role and purpose of embedded systems, describing their internal structure and interfacing with software development tools
Examines the inner workings of the GNU compiler collection (GCC)-based software development system or, in other words, toolchain
Presents software execution models that can be adopted profitably to model and express concurrency
Addresses the basic nomenclature, models, and concepts related to task-based scheduling algorithms
Shows how an open-source protocol stack can be integrated in an embedded system and interfaced with other software components
Analyzes the main components of the FreeRTOS Application Programming Interface (API), detailing the implementation of key operating system concepts
Discusses advanced topics such as formal verification, model checking, runtime checks, memory corruption, security, and dependability
Embedded Software Development: The Open-Source Approach capitalizes on the authors' extensive research on real-time operating systems and communications used in embedded applications, often carried out in strict cooperation with industry. Thus, the book serves as a springboard for further research.
Автор: Mohsen Mirtalebi Название: Embedded Systems Architecture for Agile Development ISBN: 1484230507 ISBN-13(EAN): 9781484230503 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Mark Benson Название: The Art of Software Thermal Management for Embedded Systems ISBN: 1493902970 ISBN-13(EAN): 9781493902972 Издательство: Springer Рейтинг: Цена: 15672.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.
Автор: Fabrice Kordon; Oleg Sokolsky Название: Composition of Embedded Systems. Scientific and Industrial Issues ISBN: 3540774181 ISBN-13(EAN): 9783540774181 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The workshop discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
