Embedded software development for safety-critical systems, Hobbs, Chris
Автор: 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.
Описание: This book is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application that must satisfy one or more of the international standards.
Описание: 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.
Автор: 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.
Автор: 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.
Описание: Basing its systems on dynamically reconfigurable processors, this book will help systems designers adhere to the constraints of performance and area. It presents a number of techniques for reducing energy consumption in adaptive embedded multimedia 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.
Автор: Neeraj Kumar Singh Название: Using Event-B for Critical Device Software Systems ISBN: 144715259X ISBN-13(EAN): 9781447152590 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.
Автор: Oshana, Robert Название: Software Engineering For Embedded Systems ISBN: 0128094486 ISBN-13(EAN): 9780128094488 Издательство: Elsevier Science Рейтинг: Цена: 13304.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications, Second Edition provides the techniques and technologies in software engineering to optimally design and implement an embedded system. Written by experts with a solution focus, this encyclopedic reference gives an indispensable aid on how to tackle the day-to-day problems encountered when using software engineering methods to develop embedded systems. New sections cover peripheral programming, Internet of things, security and cryptography, networking and packet processing, and hands on labs. Users will learn about the principles of good architecture for an embedded system, design practices, details on principles, and much more.
Provides a roadmap of key problems/issues and references to their solution in the text
Reviews core methods and how to apply them
Contains examples that demonstrate timeless implementation details
Users case studies to show how key ideas can be implemented, the rationale for choices made, and design guidelines and trade-offs
Автор: Sanchez Название: Embedded Systems Circuits and Programming ISBN: 1138074063 ISBN-13(EAN): 9781138074064 Издательство: Taylor&Francis Рейтинг: Цена: 16078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
During the development of an engineered product, developers often need to create an embedded system--a prototype--that demonstrates the operation/function of the device and proves its viability. Offering practical tools for the development and prototyping phases, Embedded Systems Circuits and Programming provides a tutorial on microcontroller programming and the basics of embedded design.
The book focuses on several development tools and resources:
Standard and off-the-shelf components, such as input/output devices, integrated circuits, motors, and programmable microcontrollers
The implementation of circuit prototypes via breadboards, the in-house fabrication of test-time printed circuit boards (PCBs), and the finalization by the manufactured board
Electronic design programs and software utilities for creating PCBs
Sample circuits that can be used as part of the targeted embedded system
The selection and programming of microcontrollers in the circuit
For those working in electrical, electronic, computer, and software engineering, this hands-on guide helps you successfully develop systems and boards that contain digital and analog components and controls. The text includes easy-to-follow sample circuits and their corresponding programs, enabling you to use them in your own work. For critical circuits, the authors provide tested PCB files.
Название: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
