Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
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...
Real-Time Systems
This valuable reference provides a comprehensive treatment of the technology known as RMA (rate-monotonic analysis) method. It also covers the tremendous recent advances in real-time operating systems and communications networks—emphasizing research results that have been adopted in state-of-the-art systems. Describing how and discussing why, this book uses insightful illustrative examples to convey technology transition in the last ten years. Coverage includes commonly used...
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series, 24)
This updated edition offers an indispensable exposition on real-time computing, with particular emphasis on predictable scheduling algorithms. It introduces the fundamental concepts of real-time computing, demonstrates the most significant results in the field, and provides the essential methodologies for designing predictable computing systems used to support time-critical control applications. Along with an in-depth guide to the available approaches for the implementation and analysis of...
Embedded Microcomputer Systems: Real Time Interfacing
This book provides an in-depth discussion of the design, implementation and testing of embedded microcomputer systems. The book covers the hardware aspects of interfacing, advanced software topics (including interrupts), and a systems approach to typical embedded applications. This book stands out from other microcomputer systems books because of its balanced, in-depth treatment of both hardware and software issues important in real time embedded systems design. The book features a wealth of...
Design Patterns for Embedded Systems in C: An Embedded Software Engineering Toolkit
A recent survey stated that 52% of embedded projects are late by 4-5 months. This book can help get those projects in on-time with design patterns. The author carefully takes into account the special concerns found in designing and developing embedded applications specifically concurrency, communication, speed, and memory usage. Patterns are given in UML (Unified Modeling Language) with examples including ANSI C for direct and practical application to C code. A basic C knowledge is a...
Real-Time Systems Design and Analysis: Tools for the Practitioner
An important resource, this book offers an introduction and overview of real-time systems: systems where timeliness is a crucial part of the correctness of the system. It contains a pragmatic overview of key topics (computer architecture and organization, operating systems, software engineering, programming languages, and compiler theory) from the perspective of the real-time systems designer and is organized into chapters that are essentially self-contained. In addition, each chapter...
Real-Time C++: Efficient Object-Oriented and Template Microcontroller Programming
With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some...
Principles of Cyber-Physical Systems
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive...
Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems
Real-time and embedded systems developers face unique challenges. The systems they design must use very limited processor and memory resources optimally to meet mission-critical and high reliability requirements. Developers working on these systems see the same common threads in problems again and again. The very best developers abstract these problems and their solutions into generalized approaches that prove consistently effective: design patterns. In this book, real-time programming guru...
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems
Until the late 1980s, information processing was associated with large mainframe computers and huge tape drives. During the 1990s, this trend shifted toward information processing with personal computers, or PCs. The trend toward miniaturization continues and in the future the majority of information processing systems will be small mobile computers, many of which will be embedded into larger products and interfaced to the physical environment. Hence, these kinds of systems are called...
Embedded Software Development for Safety-Critical Systems
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...
Real-Time Embedded Systems: Design Principles and Engineering Practices
This book integrates new ideas and topics from real time systems, embedded systems, and software engineering to give a complete picture of the whole process of developing software for real-time embedded applications. You will not only gain a thorough understanding of concepts related to microprocessors, interrupts, and system boot process, appreciating the importance of real-time modeling and scheduling, but you will also learn software engineering practices such as model documentation,...
The Engineering of Reliable Embedded Systems (LPC1769)
The "Engineering of Reliable Embedded Systems" (ERES) book series documents an industry-proven approach to the development of software for reliable, real-time embedded systems, based on the use of time-triggered (TT) architectures. "ERES (LPC1769)" describes techniques that may be applied to systems in a wide range of sectors, ranging from household goods to satellite and marine systems. The main case study (presented in an initial version in Chapter 3 and in a final version in Chapter 15)...
Real-Time UML Workshop for Embedded Systems (Embedded Technology)
Written as a workbook with a set of guided exercises that teach by example, this book gives a practical, hands-on guide to using UML to design and implement embedded and real-time systems.
- A review of the basics of UML and the Harmony process for embedded software development: two on-going case examples to teach the concepts, a small-scale traffic light control system and a large scale unmanned air vehicle show the applications of UML to the specification, analysis and design of embedded and...
The Art of Designing Embedded Systems 2e
BRAND NEW, Exactly same ISBN as listed, Please double check ISBN carefully before ordering.
Real-Time Systems: Design Principles for Distributed Embedded Applications
"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded...
Avionics Certification - Complete Guide to DO-178, DO-178C, DO-254
The second edition brings this book up to date on C, the latest version of DO-178. It describes the impact on the earlier document in the practical style of the authors, who have a combined experience of 50 years in avionics certification. The book is the result of seminars given throughout the world for over ten years. This edition is updated with new chapters on: Integrated Modular Avionics (DO-297), Software Tool Qualification (DO-330) and the complete test of the related FAA Advisory...
Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
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...
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems (The MK/OM
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software.
Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the...
Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications (Expert Guide)
This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems.
With this book you will learn:
