Embedded software development for safety-critical systems, Hobbs, Chris (qnx Software Systems, Canada)
Старое издание
Автор: 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.
Автор: 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.
Автор: Rierson Название: Developing Safety-Critical Software ISBN: 143981368X ISBN-13(EAN): 9781439813683 Издательство: Taylor&Francis Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.
Автор: Hanssen Geir Kjetil, Stalhane Tor, Myklebust Thor Название: Safescrum(r) - Agile Development of Safety-Critical Software ISBN: 331999333X ISBN-13(EAN): 9783319993331 Издательство: Springer Рейтинг: Цена: 9756.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards.The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented.The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors’ own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular.
Автор: Karmakar Название: Development of Safety-Critical Systems ISBN: 303127900X ISBN-13(EAN): 9783031279003 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of development. It offers a guided tour traversing the path of software qualification by exploring the necessary steps towards achieving the goal with the help of case studies. Chapter 6 highlights the application of formal methods for the development of safety systems software and introduces some available notations and tools which assist the process. Finally, chapter 7 presents a detailed discussion on the importance and the advantages of qualified platforms for safety systems application development, including programmable controller (PLC) and formal model-based development platforms. Each chapter includes case studies illustrating the subject matter. The book is aimed at both practitioners and students interested in the art and science of developing computer-based systems for safety-critical applications. Both audiences will get insights into the tools and techniques along with the latest developments in the design, analysis and qualification, which are constrained by the regulatory and compliance requirements mandated by the applicable guides and standards. It also addresses the needs of professionals and young graduates who specialize in the development of necessary tools and qualified platforms.
Название: 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.
Автор: Machado Ricardo J. Название: Model-based Methodologies for Pervasive and Embedded Softwar ISBN: 3642382088 ISBN-13(EAN): 9783642382086 Издательство: Springer Рейтинг: Цена: 5611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012.
Автор: Laurence T. Yang; Xingshe Zhou; Wei Zhao; Zhaohui Название: Embedded Software and Systems ISBN: 3540308814 ISBN-13(EAN): 9783540308812 Издательство: Springer Рейтинг: Цена: 15855.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.
Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert Название: Formal Methods for Industrial Critical Systems ISBN: 3642045693 ISBN-13(EAN): 9783642045691 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.
Автор: Darren Cofer; Alessandro Fantechi Название: Formal Methods for Industrial Critical Systems ISBN: 3642032397 ISBN-13(EAN): 9783642032394 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .
Автор: 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.
Автор: Bertolotti Название: Embedded Software Development ISBN: 146659392X ISBN-13(EAN): 9781466593923 Издательство: Taylor&Francis Рейтинг: Цена: 26796.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.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 6098.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
