| 摘要 | 第1-13页 |
| Abstract | 第13-17页 |
| 第一章 绪论 | 第17-39页 |
| ·研究背景 | 第17-25页 |
| ·SystemC 模型的意义 | 第17-22页 |
| ·软件产品线 | 第22页 |
| ·SC 模型产品线 | 第22-23页 |
| ·SC 模型与C++程序的异同 | 第23-25页 |
| ·SC 模型开发方法研究现状 | 第25-26页 |
| ·SC 模型基于组件的开发方法 | 第25页 |
| ·基于组件的开发方法存在的问题 | 第25-26页 |
| ·SC TLM 的形式化功能验证 | 第26-28页 |
| ·软件产品线相关研究现状 | 第28-37页 |
| ·SPL 的开发方法 | 第29-34页 |
| ·SPL 的语法正确性 | 第34页 |
| ·SPL 的组合安全性 | 第34-35页 |
| ·SPL 行为正确性的形式化验证 | 第35-37页 |
| ·论文的主要工作 | 第37-38页 |
| ·论文结构 | 第38-39页 |
| 第二章 背景知识介绍 | 第39-51页 |
| ·SystemC 简介 | 第39-42页 |
| ·面向特征的编程 | 第42-47页 |
| ·特征的定义 | 第42页 |
| ·特征与关注 | 第42页 |
| ·面向特征的编程 | 第42-45页 |
| ·FeatureC++ | 第45-47页 |
| ·面向特征的软件产品线开发 | 第47-50页 |
| ·特征模型 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第三章 面向特征的SystemC模型产品线的开发方法 | 第51-81页 |
| ·面向对象方法在开发SCPL 时存在的问题 | 第51-58页 |
| ·面向对象方法在开发SCPL 时存在的问题 | 第51-56页 |
| ·OR1K CPU SCPL 的面向特征的实现 | 第56-58页 |
| ·以面向特征的SPL 开发方法开发SCPL 存在的问题 | 第58-67页 |
| ·可选特征问题 | 第58-60页 |
| ·互斥特征问题 | 第60-62页 |
| ·Ⅱ型可选特征问题 | 第62-67页 |
| ·面向特征的SCPL 开发方法 | 第67-71页 |
| ·修改SC 以支持面向特征的SC 模型开发 | 第67-70页 |
| ·面向特征的SCPL 开发方法 | 第70-71页 |
| ·面向特征的SCPL 的开发案例 | 第71-80页 |
| ·通用串口SoC | 第71-74页 |
| ·Motion-JPEG 解码芯片SCPL | 第74-77页 |
| ·OR1K SCPL | 第77-80页 |
| ·本章小结 | 第80-81页 |
| 第四章 面向特征的SC模型产品线的组合安全 | 第81-113页 |
| ·一个简化的 SCPL 语言——FSC~S | 第81-90页 |
| ·SC~S的语法 | 第82-85页 |
| ·FSC~S的语法 | 第85-87页 |
| ·FSC~S的组合语义 | 第87-90页 |
| ·FSC~S的基于类型系统的组合安全判定方法 | 第90-108页 |
| ·SC~S的基于约束的类型系统 | 第90-95页 |
| ·SC~S程序的类型正确 | 第95-96页 |
| ·FSC~S的基于约束的类型系统 | 第96-103页 |
| ·FSC~S产品线的组合安全 | 第103-108页 |
| ·判定算法的实现及案例研究 | 第108-112页 |
| ·基于枚举法的组合安全判定 | 第108-109页 |
| ·基于类型系统的组合安全判定 | 第109-111页 |
| ·两种方法的判定结果 | 第111-112页 |
| ·本章小结 | 第112-113页 |
| 第五章 基于属性保持的SCPL形式化功能验证方法 | 第113-129页 |
| ·属性保持的概念 | 第113-114页 |
| ·特征模块的形式化模型 | 第114-121页 |
| ·SC 程序的micMac 模型 | 第114-120页 |
| ·特征模块的e-micMac 模型 | 第120-121页 |
| ·LTL 公式的语法和基于micMac 的语义 | 第121-122页 |
| ·Monitor 型特征模块的属性保持 | 第122-126页 |
| ·基于monitor 的SCPL 形式化验证方法 | 第126页 |
| ·案例研究 | 第126-128页 |
| ·本章小结 | 第128-129页 |
| 第六章 基于属性推断的SCPL形式化功能验证方法 | 第129-139页 |
| ·属性推断的概念 | 第129-130页 |
| ·Functor 型特征模块的属性推断 | 第130-135页 |
| ·functor 型特征模块的属性保持 | 第134-135页 |
| ·基于functor 的SCPL 形式化功能验证方法 | 第135-136页 |
| ·案例研究 | 第136-138页 |
| ·本章小结 | 第138-139页 |
| 第七章 总结和展望 | 第139-143页 |
| ·本文的主要贡献 | 第139-140页 |
| ·进一步的工作展望 | 第140-143页 |
| 致谢 | 第143-145页 |
| 参考文献 | 第145-153页 |
| 作者在学期间取得的学术成果 | 第153页 |
