本书的主要内容分为四大部分：第一部分对应于第2章，主要介绍了嵌入式系统在模型层面上的功能验证，包括建模通用概念、模型测试、模型仿真、模型验证方法与工具等方面的内容；第二部分对应于第3章，主要介绍了嵌入式系统在实现级层面上的高级通信验证，包括组件间通信主要的不兼容性和解决这些不兼容性的转换器实现方法与技术；第三部分对应于第4章，主要介绍了嵌入式系统在较低实现层面上的性能调试，包括程序执行时间的估计、导致执行时间不可预测的因素及其建模、系统级通信分析和执行时间可预测系统的设计等方面的内容；第四部分对应于第5章，主要介绍了嵌入式系统在较低实现层面上的功能调试，包括动态校验方法和形式化校核方法等方面的内容。