Book Image

The Complete Edition - Software Engineering for Real-Time Systems

By : Jim Cooling
Book Image

The Complete Edition - Software Engineering for Real-Time Systems

By: Jim Cooling

Overview of this book

From air traffic control systems to network multimedia systems, real-time systems are everywhere. The correctness of the real-time system depends on the physical instant and the logical results of the computations. This book provides an elaborate introduction to software engineering for real-time systems, including a range of activities and methods required to produce a great real-time system. The book kicks off by describing real-time systems, their applications, and their impact on software design. You will learn the concepts of software and program design, as well as the different types of programming, software errors, and software life cycles, and how a multitasking structure benefits a system design. Moving ahead, you will learn why diagrams and diagramming plays a critical role in the software development process. You will practice documenting code-related work using Unified Modeling Language (UML), and analyze and test source code in both host and target systems to understand why performance is a key design-driver in applications. Next, you will develop a design strategy to overcome critical and fault-tolerant systems, and learn the importance of documentation in system design. By the end of this book, you will have sound knowledge and skills for developing real-time embedded systems.
Table of Contents (16 chapters)
Preface
15
Glossary of terms

10.7 Review

Upon completing this chapter, you should now:

  • Be able to explain the underlying concepts of the software testing of source code structures
  • Know, when testing software, what the major quality and performance assessment points are
  • Know what static analysis is and how it may be carried out
  • Appreciate the features of automated static analyzers
  • Understand what the various analysis techniques are: control flow, dataflow, information flow, semantics, and compliance
  • Understand what a control flow graph is and how it is used
  • Appreciate the features and use of Halstead software metrics
  • Appreciate the features and use of the McCabe cyclomatic complexity metric
  • Know what white box testing, black-box testing, and dynamic analysis are
  • Recognize that dynamic analysis includes both testing and coverage analysis
  • Realize why coverage analysis is needed and know what the following coverage features are: statement, path, decision, and condition...