嵌入式系统软件工程：基础知识、方法和应用

图书标准信息

• 作者 [德]利格斯迈尔（Liggesmeyer P） 著；张聚 译
• 出版社 电子工业出版社
• 出版时间 2009-01
• 版次 1
• ISBN 9787121074929
• 定价 45.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 410页
• 字数 600千字
• 正文语种 简体中文

【内容简介】

　　系统地阐述嵌入式系统软件工程所涉及的过程、方法、内容，以及在典型工业领域中的应用。全书内容分为两大部分：第一部分介绍嵌入式系统软件工程方法论，主要包括嵌入式软件的开发过程（需求工程、软件和系统体系结构、编程和测试等内容），开发和测试中所采用的标准，与安全性相关的软件系统的准入，以及嵌入式软件所涉及的法律问题：第二部分介绍嵌入式系统软件在汽车领域、轨道交通领域、航天领域、医疗器械、工业自动化、通信系统中的应用，在每个应用领域重点介绍具体应用领域的一些特定需求、技术和限制条件，以及它们对于嵌入式系统软件开发过程的影响。
　　《嵌入式系统软件工程：基础知识、方法和应用》有望为嵌入式系统软件工程领域的教学、科研和工程实践提供帮助，《嵌入式系统软件工程：基础知识、方法和应用》可供从事嵌入式系统软件开发和研究的工程技术人员使用和参考，也可作为高等院校相关专业的研究生和《嵌入式系统软件工程：基础知识、方法和应用》科牛的教材和参考书。

【目录】

第1章绪论
1.1软件对于嵌入式系统的意义
1.2软件工程的环境分析
1.2.1软件开发过程
1.2.2软件结构
1.2.3软件质量保证
1.3用于嵌入式系统的软件工程
1.4本书的主要内容

第2章嵌入式软件的开发过程
2.1动因
2.2定义与概念
2.2.1基小概念
2.2.2过程种类
2.3嵌入式软件开发过程的特点
2.3.1多学科丌发
2.3.2跨企业的肝发与同步工程
2.3.3非功能性特征
2.3.4经济性
2.3.5长的产品生命周期
2.4特定领域过程模型的建立
2.4.1现有的用于嵌入式软件开发的过程模型
2.4.2描述性过程建模
2.4.3连续的过程改善
2.5总结与展望

第3章开发和测试的标准
3.1引言
3.2从标准到软件标准
3.2.1为什么需要标准
3.2.2为什么需要软件标准
3.3软件开发的标准
3.4一般性流程标准
3.5IEC61508标准
3.5.1对开发过程的一般性要求
3.5.2安全监测
3.5.3软件开发
3.6CenelecEN50126、EN50128和EN50129标准
3.7总结
3.8定义

第4章与安全有关的软件系统的许可
4.1引言
4.2什么是许可
4.3参与者
4.3.1行政机关
4.3.2鉴定人和检测机构
4.3.3制造商
4.3.4供应商
4.3.5运营商和用户
4.4获得许可
4.4.1系统的复杂度
4.4.2规划与约定（对规划的检验单）
4.4.3人为因素
4.4.4申请许可证过程中的风险处理
4.4.5企业秘密的公开

第5章嵌入式系统的法律问题
5.1版权和专利权
5.1.1版权
5.1.2专利法
5.1.3半导体保护
5.2合同法
5.2.1系统集成商与整体系统买主的合同关系
5.2.2系统集成商与软件供应商的合同关系
5.2.3整体系统的买主与软件供应商的合同关系
5.3法律责任
5.3.1机器制造商也是软件制造商
5.3.2供应的软件
5.4结论

第6章嵌入式软件的需求工程
6.1引言
6.2RE基础知识
6.3RE的框架体系
6.3.1系统环境
6.3.2RE过程的三个维度
6.3.3五个主要设计行为
6.3.4早期和后期阶段的对比
6.4对嵌入式系统复杂度的控制
6.5三种需求模型
6.5.1面向解决方案的需求建模
6.5.2目标建模
6.5.3场景与用例
6.5.4建模种类的实例
6.6基于场景和目标的系统开发的需求工程（SEGOS.RE）
6.7应用实例：数码相机
6.8总结与展望

第7章软件结构和系统结构
7.1定义和限制
7.1.1嵌入式系统和软件结构
7.1.2软件结构、系统结构的定义和视图
7.1.3结构模型化的维度
7.2嵌入式系统的结构模型
7.2.1面向对象的元元结构
7.2.2嵌入式系统的元结构
7.2.3模型结构化的作用
7.3模型结构和嵌入式系统的结构风格
7.3.1操作方法
7.3.2CIP结构
7.3.3面向角色结构
7.3.4双服务器结构
7.3.5X-By-Wire结构
7.4结构模板和框架
7.4.1模板和框架作为软件再利用的工具
7.4.2模板和框架的候选项
7.4.3嵌入式系统中的一个模板实例
7.5基于结构的嵌入式系统结构设计
7.5.1软件结构对于嵌入式系统的作用
7.5.2基于结构的软件开发

第8章嵌入式软件编程
8.1引言
8.2C语言嵌入式软件编程
8.2.1POSIX1003.1b标准
8.2.2线程管理与定时器
8.3Ada语言嵌入式软件编程
8.3.1Ada任务
8.3.2Ada时间特性
8.3.3Ada同步和调度
8.4Java与嵌入式系统
8.4.1JaVa实时规范
8.4.2调度
8.4.3内存管理
8.4.4例程
8.4.5Java2MicroEdition
8.5MicrOSOft.NetCompactFramework
8.6应用程序和操作系统
8.7总结

第9章嵌入式软件测试
9.1引言
9.2传统软件测试中的技术水平
9.2.1动态测试
9.2.2静态分析
9.2.3形式化技术：符号测试和形式化验证方法
9.3嵌入式软件测试：情形分析
9.4嵌入式软件系统动态测试
9.4.1嵌入式软件特殊性能测试
9.4.2动态测试适用于嵌入式软件特性——一个例子
9.4.3通过测试结果的静态评价得到量化的可靠性说明
……
第10章嵌入式UML/实时UML
第11章形式化开发方法与分析技术
第12章安全性和可靠性分析技术
第13章分布嵌入式系统
第14章实时操作系统
第15章反应式系统的建模：同步语音和状态图
第16章汽车中的软件技术
第17章安全软件在交通技术的嵌入式系统中的应用
第18章航天应用领域嵌入式软件的开发
第19章嵌入式软件在医疗技术中的应用
第20章嵌入式软件在工业自动化领域的应用
第21章嵌入式通信软件的开发