Fan Real-Time Embedded Systems

Design Principles and Engineering Practices
1. Auflage 2015
ISBN: 978-0-12-801718-0
Verlag: Academic Press
Format: EPUB
Kopierschutz: 6 - ePub Watermark

E-Book, Englisch, 686 Seiten, Format (B × H): 191 mm x 235 mm

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, model analysis, design patterns, and standard conformance.

This book is split into four parts to help you learn the key concept of embedded systems; Part one introduces the development process, and includes two chapters on microprocessors and interrupts---fundamental topics for software engineers; Part two is dedicated to modeling techniques for real-time systems; Part three looks at the design of software architectures and Part four covers software implementations, with a focus on POSIX-compliant operating systems.

With this book you will learn:

- The pros and cons of different architectures for embedded systems
- POSIX real-time extensions, and how to develop POSIX-compliant real time applications
- How to use real-time UML to document system designs with timing constraints
- The challenges and concepts related to cross-development
- Multitasking design and inter-task communication techniques (shared memory objects, message queues, pipes, signals)
- How to use kernel objects (e.g. Semaphores, Mutex, Condition variables) to address resource sharing issues in RTOS applications
- The philosophy underpinning the notion of "resource manager" and how to implement a virtual file system using a resource manager
- The key principles of real-time scheduling and several key algorithms



- Coverage of the latest UML standard (UML 2.4)
- Over 20 design patterns which represent the best practices for reuse in a wide range of real-time embedded systems
- Example codes which have been tested in QNX---a real-time operating system widely adopted in industry

Zielgruppe

<p>Undergraduate and post graduate students; Software engineers, Embedded systems engineers and hobbyists </p>

Autoren/Hrsg.

Fan, Xiaocong

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
• Mathematik | Informatik EDV | Informatik Betriebssysteme Echtzeitbetriebssysteme

Inhaltsverzeichnis

Preface Acknowledgements Acronyms Introduction

- Introduction to Embedded and Real-Time Systems
- Cross-Platform Development
- Microprocessor Primer
- Interrupts
- Embedded System Boot Process
- Fundamental UML Structural Modeling 
- Architecture Modeling in UML 
- Fundamental UML Behavioral Modeling
- Modeling Stateful Behaviors in UML
- Real-Time UML: General Resource Modeling
- Real-Time UML: Model Analysis
- Software Architectures for Real-Time Embedded Systems
- POSIX and RTOS
- Multitasking
- Real-time Scheduling: Clock-Driven Approach
- Real-time Scheduling: Rate-Monotonic Approach
- Real-time Scheduling: Sporadic Server
- Resource Sharing
- Inter-Task Communication: Message Queue
- Inter-Task Communication: Pipe
- Inter-Task Communication: Signaling
- Software Timer Management
- QNX Resource Management

Index References

Leseproben

Preface
Xiaocong Fan, Erie, PA An embedded system is an electronic system that is designed to perform a dedicated function within a larger system. Real-time systems are those that can provide guaranteed worst-case response times to critical events, as well as acceptable average-case response times to noncritical events. When a real-time system is designed as an embedded component, it is called a real-time embedded system. Real-time embedded systems are widespread in consumer, industrial, medical, and military applications. As more and more of our daily life depends on embedded technologies, the demand for engineers with the skill set for the development of real-time embedded software has soared in recent years. As a consequence, preparing students for the design and implementation of embedded software is becoming increasingly important. This textbook is written especially for advanced undergraduates or master-level students who are pursuing a major in software engineering, computer engineering, or a related discipline. The textbook may also benefit practicing engineers with a concentration in embedded software development. This book takes a synergetic approach to introducing ideas and topics from real-time systems, embedded systems, and software development principles. Readers will not only gain a thorough understanding of concepts related to microprocessors, interrupts, and the cross-platform development process, and appreciate the importance of real-time modeling and scheduling, they will also be trained in good software engineering practices such as model documentation, model analysis, design patterns, and system standard conformance. This textbook features three aspects that are essential for the development of real-time embedded software. First, developing software for real-time embedded systems involves many activities, including specification of requirements, timing analysis, architecture design, multitasking design, and cross-platform testing and debugging. This book covers the whole process of embedded software development, with some topics fully explained and others only briefly mentioned (e.g., debugging and testing). In particular, this book presents various embedded software architectures in a systematic way, with a focus on a real-time operating system, which is the most advanced architecture adopted in large real-time embedded systems. Moreover, we have chosen to place significant emphasis on reusable design solutions. As shown in Table 0.1, this book introduces many design patterns, which represent the best practices that can be reused in a wide range of real-time embedded systems. Table 0.1 Summary of design patterns Category Pattern Name Where in the Book ISR ISR-Pattern-min Section 4.5.1 ISR-Pattern-server Section 4.5.2 Interrupt chaining Figure 4.7 in Section 4.5.3 Interrupt cascading Figure 4.9 in Section 4.5.4 Interrupt disabling Figure 4.11 in Section 4.5.5 Double buffering Figure 4.12 in Section 4.5.5 Honor first request Figure 12.17 in Section 12.3.2 Subclassing Abstraction-occurrence Figure 6.25 in Section 6.3.4 General hierarchy Figure 6.27 in Section 6.3.4 Software architecture Round-robin DAS Figure 12.10 in Section 12.2.2 Round robin with interrupts Figure 12.16 in Section 12.3.2 FIFO queuing Figure 12.20 in Section 12.4.1 Priority queuing Figure 12.21 in Section 12.4.2 Serial port design pattern Figure 14.5 in Section 14.2.2.1 Static task scheduler Clock based Section 15.2 Frame based Section 15.3 Timing wheel Section 22.3 Semaphore/mutex Rendezvous synchronization pattern Figure 18.8 in Section 18.3.1 Multi-instance resource protection Figure 18.19 in Section 18.4.1 Condition variable Barrier synchronization pattern Figure 18.24 in Section 18.5.1 Producer-consumer pattern Figure 18.25 in Section 18.5.2 Read-write lock pattern Figure 18.30 in Section 18.5.3 Message queue Unidirectional queuing pattern Figure 19.5 in Section 19.3.1 Acked-unidirectional queuing pattern Figure 19.6 in Section 19.3.2 Bidirectional queuing pattern Figure 19.7 in Section 19.3.3 Client-server queuing pattern Figure 19.10 in Section 19.3.4 Pipe Unidirectional piping pattern Figure 20.4 in Section 20.3 Bidirectional piping pattern Figure 20.4 in Section 20.3 Deadlock avoidance Hierarchical messaging pattern Figure 21.8 in Section 21.7.3 DAS, detect-acknowledge-service; FIFO, first in first out; ISR, interrupt service routine. Second, Unified Modeling Language (UML) is a graphical language for specifying, visualizing, constructing, and documenting software systems. UML is useful in a variety of engineering problems, from single-process, embedded systems and stand-alone user applications to concurrent, distributed systems. This text features UML 2.4, the latest UML standard as of this writing. Throughout the book, UML diagrams are used for both system designs and concept illustrations. In particular, the UML real-time profile is carefully presented so that students can learn how to document their designs of real-time systems in a professional way. Third, POSIX (for “portable operating system interface”) is an open operating system interface standard that has been developed to promote interoperability and portability of applications across variants of Unix operating systems. Software systems built upon one real-time operating system can be easily ported to other POSIX-compliant operating systems. This text features POSIX.1-2008 (2013 edition). The operating system services and concepts covered in this book are fully compatible with the POSIX.1-2008 standard. The example codes provided in this book have been tested in QNX—a real-time operating system widely adopted in industry. Since QNX is POSIX compliant, the programs may also be compiled, without changing the source code, for execution on another POSIX-compliant operating system. Briefly, this textbook consists of four parts: • Part I is dedicated to a basic introduction to real-time embedded systems and the iterative development process. Although our emphasis is on the software aspects, complete isolation from the underlying hardware is neither feasible nor desirable. For such a reason, this part also contains two chapters on microprocessors and interrupts—fundamental topics for software engineers who wish to build embedded systems. • Part II is dedicated to modeling techniques for real-time systems. In particular, we introduce the modeling tools covered by UML—a standard widely adopted in both academia and the software industry. Moreover, we introduce real-time UML—a profile for specifying real-time-related constraints in system models. UML diagrams are consistently used throughout the book to illustrate key concepts and design patterns. • Part III is dedicated to the design of software architectures for real-time embedded systems. We start with generic architectures, which lead us to the most complicated architecture—a real-time operating system. The focus is then switched to multitasking and real-time scheduling—two critical issues to be addressed by any designers of real-time embedded systems. • Part IV is dedicated to system implementation. We especially focus on those mechanisms available on any POSIX-compliant operating systems; this means that the design/implementation patterns given in this book are applicable to other POSIX-compliant operating systems as well. The four parts together have 23 chapters. A one-semester course can use selected chapters/sections to suit the interests of the instructor and students. For instance, some microprocessor types in Chapter 3 can be skipped in order to fit the materials in one or two lecture time. If UML basic modeling concepts have been covered in a prerequisite...

Über Autor(innen)

Fan, Xiaocong
Dr. Xiaocong (Simon) Fan is an Associate Professor of Computer Science and Software Engineering at Pennsylvania State University. He received his Ph.D. in Software Engineering from Nanjing University, China. He has been an active researcher in the fields of Multi-Agent Systems, Formal Methods in Software Engineering, and Advanced Decision-Support Systems. He is a key architect of several intelligent agent systems, including RCAST and SMMall. Dr. Fan is a Senior Member of IEEE.