发过程 —— 需求定义
? 功能需求 ? 基本功能/扩展功能 ? 对应于软件功能的硬件 ? 非功能需求 ? 外观、尺寸、功耗、成本、…
? 实时、安全、可靠、…
面向开发者的需求
12 计算机学院/软件学院
需求说明的要点全新现货kl2552数字量端子模块价格表|倍福BECKHOFF
1) 只指明外部行为，不考虑特殊实现
2) 列出实现的限制，必须特别说明硬件接
口细节（针对嵌入式系统）
3) 文档易修改 4) 必须记录有关系统生存期的一些考虑 5) 必须特征化针对异常事件的响应，包括
- 资源失败
临时或**
特价现货，一手货源 价格优势 德国制造 品质过硬 库存充足 全新现货 倍福全系列 优质服务提供技术支持
欢迎新老客户朋友询价选购下单， 曾双风 上淘宝找【枫红工控自动化 】
医 壶 酒 吧 吧 而 思 而 已 思 酒 换成数字
- 非正确输入 输入、比较、出错、输出 - 非正确内部数据 不一致、比较、输出
13 计算机学院/软件学院
**说明
时间限制
1) 与所委派事件相关，可以是**时全新现货kl2552数字量端子模块价格表|倍福BECKHOFF
间
- 给定时间达到后，事件发生
- 超过限定时间，事件不允许发生
特价现货，一手货源 价格优势 德国制造 品质过硬 库存充足 全新现货 倍福全系列 优质服务提供技术支持
欢迎新老客户朋友询价选购下单， 曾双风 上淘宝找【枫红工控自动化 】
医 壶 酒 吧 吧 而 思 而 已 思 酒 换成数字
15988242149
- 在事件发生前可以产生哪些计算 活动
2) 根据优先级响应某种事件
14 计算机学院/软件学院
需求说明必须包含的内容
1) 硬件接口
必要特征、任意细节、
输入／输出
2) 软件功能 3) 状态图
功能结构，条件／事 件，所用模型，特殊处理 一种可视化的形式化方 法，用于说明复杂系统的行为，所 有行为由外部刺激产生。
计算机学院/软件学院
- 状态、事件、条件、变迁
15
状态图示例
16
计算机学院/软件学院
需求考虑
1) 所有与设计相关的需求（功能、非功能） 必须明确说明 例：若无deadline，就
不考虑硬实时
2) 在许可条件下，尽可能提高速度（计算 机、网络） 确保采样率、资源使用、 Deadline等 3) 指定软件组件之间的接口需求
标识
消息传递。
4) 需要指定系统正常运行对CPU的使用率
便于管理共享资源。
17 计算机学院/软件学院
开发过程 —— 硬件选择
? 嵌入式处理器
应用规模、领域
? 功能硬件
处理器相关、应用功 配套芯片、外
能确定
? 目标板设计需求
观、尺寸、功耗、成本
18
计算机学院/软件学院
开发过程 —— 嵌入式OS
? 来源 ? 选择
专用、COTS
CPU支持
环境（资源、实时）
功能
成本 开发支持
19 计算机学院/软件学院
开发过程 —— 选择
? 软件体系结构
核心因素
? 软件设计
模型驱动、任务划分、
约束（实时、安全等）保障
? 开发平台
工具链、方便性 开发的可管理性
20
计算机学院/软件学院
开发过程 —— 编码调试
软件设计 详细设计文档 编码 仿真库 仿真编译 仿 成功 真 开 发 仿真文件 仿真下载 目标库 交叉编译 目标文件 交叉下载 交 叉 开 发
仿真调试全新现货kl2552数字量端子模块价格表|倍福BECKHOFF
交叉调试
成功
21
计算机学院/软件学院
基本的编码原则
? 清除无用代码
? 避免使用递归 ? 减少浮点运算
资源 速度
? 精简库函数
? 清除调试代码
22
精炼
计算机学院/软件学院
开发过程 —— 测试
? 基本方法
类似于一般软件
测试 ? 特殊性 可靠性测试 实时性测试 并发性测试 资源占用测试 ……
23 计算机学院/软件学院
7.2 常规设计方法
通用软件设计 方法在嵌入式软件
开发领域的应用
24
计算机学院/软件学院
一、语言描述
? 必不可少的分析设计方法，优缺点突出 ? 对其他方法的补充
⑴ ⑵ ⑶ ⑷ ⑸ ⑹ ⑺
25BECKHOFF 备件 ES 5151
BECKHOFF 配电终端 EL9188
BECKHOFF 线 ZK2000-6100-0010
BECKHOFF HIPAC网络模块 EL6731 金属
BECKHOFF 备件 KL3361
BECKHOFF 控制盘 CP7902-1232-0000
BECKHOFF 备件 KL3012
BECKHOFF 配电终端 EL9188
BECKHOFF 模块 EK1100
BECKHOFF 模块 CX1100-0004
BECKHOFF ETHERCAT耦合器 EK1100
BECKHOFF 模块 EK1100
BECKHOFF 备件 KL5111
BECKHOFF 备件 KL2114
BECKHOFF 配电终端 EL9189
BECKHOFF 备件 CX5140-0120
BECKHOFF 备件 CU8005-0000
BECKHOFF 模块 IP1001-B520-0000
BECKHOFF 备件 AX5103-0000
BECKHOFF 模块 KL2502
BECKHOFF 备件 KL3464
BECKHOFF IO模板 KL2134
BECKHOFF 模块 KL2602
BECKHOFF 备件 KL3162
BECKHOFF 模拟输入模块 EL3162
BECKHOFF 测厚仪主板 HS6237VER3.3
BECKHOFF 备件 KL5111
BECKHOFF 分配器 MX-F4/4
BECKHOFF 数字量输出模块 EL2622
BECKHOFF 数字量输入终端 KL1418
BECKHOFF 模块 KL9505
BECKHOFF 备件 BC5150
BECKHOFF PLC模块 EL1088
BECKHOFF 模块 EL3122
BECKHOFF 处理器模块 CX1020-0012
BECKHOFF 工控电脑 C6240-0050
BECKHOFF 备件 KL9010
BECKHOFF 工控电脑 C6340-0040
BECKHOFF 数字量输出终端 EL2904
BECKHOFF 总线卡 FC9002
BECKHOFF 备件 LC5100
BECKHOFF 备件 AM3033-OE40-0000
BECKHOFF 备件 AL2120-0000
BECKHOFF 模拟量输入端子 EL3112
BECKHOFF 模块 KL3360
BECKHOFF 模块 EL5151
BECKHOFF 数字量输出终端 EL2904
BECKHOFF PLC 控制器 CX1020-0011
BECKHOFF 触控屏 CP6203-0001-0020含处理器
BECKHOFF 温控模块 BK9000
BECKHOFF 模块 KL2809
BECKHOFF PLC模块 EL1104
BECKHOFF 备件 KL2408
BECKHOFF 模块 BX5100
BECKHOFF 备件 KL2134
BECKHOFF 备件 CX9010-0001
BECKHOFF 2通道模拟输入模块 EL3742
BECKHOFF 通信模块 EL3152
BECKHOFF 备件 CU8850-0000
BECKHOFF 备件 KL4002
BECKHOFF HIPAC总线模块 106640441MAVI.MVTBI-EBC
BECKHOFF 模块 KL1154
BECKHOFF 数字输入端子 EL 1904
BECKHOFF 显示屏 CP6942-0000-0000
BECKHOFF 总线模块端子 KL9110
BECKHOFF 备件 KL2889
BECKHOFF 倍孚模块 KL2012
BECKHOFF output terminal（16-channal） KL2809
BECKHOFF 备件 CX9010-0000
BECKHOFF 主机箱 C5T02-0010
BECKHOFF 备件 EL6022
BECKHOFF 备件 CX9010-0001
BECKHOFF 电源供电模块 EL9400
BECKHOFF 耦合器 BK5250 24VDC 用于F1C线连杆拧紧机
BECKHOFF 备件 CP7002-0001-0010
BECKHOFF 控制器 C9900-H516
BECKHOFF 备件 BC8150
BECKHOFF 输出 IE2022
BECKHOFF 数字量输入终端 KL1418
BECKHOFF Input terminal（16-channal） KL1809
BECKHOFF 模块 EL2622
BECKHOFF 备件 EL5101
BECKHOFF 备件 EL5101-0010
BECKHOFF 备件 KL6031
BECKHOFF 工业电脑 C6930-0040
BECKHOFF 备件 KL1114
BECKHOFF 编码器模块 KL5101 12995
BECKHOFF 数字输入模块 EL1262
BECKHOFF Profibus主站模块 EL6731
BECKHOFF 备件 KL1114
BECKHOFF 备件 EL2008
BECKHOFF Profibus 总 线 模 BEC.EL6731-0010
BECKHOFF 5V信号增量型编码器接口模块 EL5101
BECKHOFF 总线控制器 BC5150
BECKHOFF 备件 EL6631-0010
BECKHOFF 备件 KL5001
BECKHOFF 备件 KL2408
BECKHOFF 数字量控制模块 CP9906
BECKHOFF 操作屏 CP6932-1000-0000
BECKHOFF 模块 KL2541
BECKHOFF 总线扩展模块 BK1120
BECKHOFF 备件 KL9186
连接宿主机与目标机 将目标程序从宿主机下载到目标机 在源程序中设置调试开发位置和断点 启动目标程序，运行到准备调试位置，等待下一调试命令 返回当前信息 单步调试或断点调试 反复执行⑸和⑹，直到接收到停止调试命令，或程序执行完成 交叉调试器的测试程序流程全新现货kl2552数字量端子模块价格表|倍福BECKHOFF