1、.2 线性表的顺序存储和实现线性表的顺序存储和实现 插入一个元素图示插入一个元素图示1 1 内存内存 a a1 1 a2a2 a a i i a a i+1i+1 a an n 0 0 1 1 i-1i-1 V V数组下标数组下标 n-1n-1 i i n n 1 1 2 2 i i 元素序号元素序号 i+1i+1 n n n+1n+1 内存内存 a a1 1 a a2 2 a a i i a a i+1i+1 a an n 0 0 1 1 i-1i-1 V V数组下标数组下标 n-1n-1 i i n n 1 1 2 2 i i 元素序号元素序号 i+1i+1 n n n+1n+1 a a
2、n-1n-1 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 插入一个元素图示插入一个元素图示2 2 x x 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 插入算法时间复杂度插入算法时间复杂度T(nT(n) ) PiPi是在第是在第i i个元素之前插入一个元素的个元素之前插入一个元素的 概率,则在长度为概率,则在长度为n n的线性表中插入一个的线性表中插入一个 元素时,所需移动的元素次数的平均次数元素时,所需移动的元素次数的平均次数 为为: 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 向线性表中表头插入一个元素向线性表中表头插入一个元素 Inse
3、rtFront(ListInsertFront(List* * L,constL,const ElemTypeElemType overflow!” ); return;return; for(ifor(i = L-size 1; i = 0; i- ) = L-size 1; i = 0; i- ) L-listi+1 = L-L-listi+1 = L-listilisti; L-list0 = item;L-list0 = item; L-size +; L-size +; 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 向线性表中满足条件的位置插入一个元素向线性表中满足条
4、件的位置插入一个元素 void void Insert(ListInsert(List* * L,constL,const ElemTypeElemType item) item) if(Lif(L-size = = -size = = MaxSizeMaxSize) printfprintf( “List overflow!”);( “List overflow!”); return;return; for(ifor(i=0; isize; i+)=0; isize; i+) if(itemif(item listilisti) break;) break; for(jfor(j = L-s
5、ize 1; j=i ; j-) = L-size 1; j=i ; j-) L-listj+1 = L-L-listj+1 = L-listjlistj; L- L-listilisti = item; = item; L-size + ; L-size + ; 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 向线性表中的末尾添加一个元素向线性表中的末尾添加一个元素 void void InsertRear(ListInsertRear(List* L, * L, ElemTypeElemType item) item) if(Lif(L-size = = -size = =
6、MaxSizeMaxSize) ) printfprintf( ( “List overflow!List overflow!” ); ); return;return; L-L-listL.sizelistL.size = item; = item; L-size +;L-size +; 变成长度为变成长度为n-1n-1的线性表的线性表 需将第需将第i+1i+1至第至第n n共(共(n-in-i)个元素前移个元素前移 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 删删 除除 一一 个个 元元 素素 定义:线性表的删除是指将第定义:线性表的删除是指将第i i(1 1i i n
7、n) 个元素删除,使长度为个元素删除,使长度为n n的线性表的线性表 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 删删 除除 一一 个个 元元 素算法素算法 intint sxbsc(intsxbsc(int i, i, intint v, v, intint *p) *p) intint j,nj,n; n=*p; n=*p; if(iif(in)n) return (0); return (0); for(jfor(j= =i;ji;jsize = = 0) printfprintf( “L is an empty list!” );( “L is an empty li
8、st!” ); return 0;return 0; for(ifor(i = 0; isize; i+) = 0; isize; i+) if(Lif(L-listilisti = = item) break = = item) break ; 2.2 2.2 线性表的顺序存储和实现线性表的顺序存储和实现 从线性表中删除等于给定值的元素从线性表中删除等于给定值的元素2 2 if(iif(i = = L-size) = = L-size) printfprintf( ( “Deleted “Deleted element element is is not not exist!” );exis
9、t!” ); return 0; return 0; for(intfor(int j = i+1; jsize; j+) j = i+1; jsize; j+) L-listj-1 = L-listj-1 = L.list嵌入式系统及应用 第九章 嵌入式系统软件的开发 主要内容 l嵌入式软件开发工具 l嵌入式系统开发模式 l实时软件分析设计方法 第一节 嵌入式软件开发工具 嵌入式软件开发工具的分类 嵌入式软件的交叉开发环境 嵌入式软件实现阶段的开发过程 嵌入式软件开发工具的发展趋势 嵌入式软件开发工具 “工欲善其事,必先利其 器” 嵌入式软件开发工具的 集成度和可用性将直接关 系到嵌入式系统
10、的开发效 率。 嵌入式软件开发工具的分类 嵌入式软件开发阶段 嵌入式软件开发工具的分类 l根据不同的阶段,嵌入式软件开发工具 可以分为: 需求分析工具(Requirement Analysis Tools) 软件设计工具(Software Design Tools) 编码、调试工具(Coding Tools) 测试工具(Testing Tools) 配置管理工具、维护工具等 主要嵌入式软件开发工具产品 Requirement Analysis Software Design CodingTestRelease Phases TAU ObjectGeode Rational Rose RealT
11、ime Rhapsody Tornado pRISM+ Spectra Win CE Platform Builder CodeWarrior Xray Debugger Logiscope CodeTEST LambdaTOOL 嵌入式软件开发工具的分类 l嵌入式软件的开发可以分为以下几种 : 编写简单的板级测试软件,主要是辅助硬件的调 试 开发基本的驱动程序 开发特定嵌入式操作系统的驱动程序(板级支持 包) 开发嵌入式系统软件,如:嵌入式操作系统等 开发应用软件 嵌入式软件开发工具的分类 l从以上嵌入式软件开发分类来看,嵌入式 软件开发工具可以分为: 与嵌入式OS相关的开发工具,用于开发:
12、 l基于嵌入式OS的应用 l部分驱动程序等 与嵌入式OS无关的开发工具,用于开发: l基本的驱动程序 l辅助硬件调试程序 l系统软件等 嵌入式软件的交叉开发环境 l交叉开发环境是指用于嵌入式软件开发的 所有工具软件的集合,一般包括: 文本编辑器 交叉编译器 交叉调试器 仿真器 下载器等 l交叉开发环境由宿主机和目标机组成,宿 主机与目标机之间在物理连接的基础上建立 起逻辑连接。 交叉开发环境 目标机硬件 目标机应用系统 应用软件 应用中间件 目标机OS 宿主机硬件 宿主机OS 调 试 代 理 运 行 库 宿主机开发环境 编辑 编译 连接 调试 运行平台Target开发平台Host 嵌入式软件的
13、交叉开发环境 l宿主机(Host) :是用于开发嵌入式系统的计算 机。一般为PC机(或者工作站),具备丰富的软硬 件资源,为嵌入式软件的开发提供全过程支持。 l目标机(Target):即所开发的嵌入式系统,是 嵌入式软件的运行环境,其硬件软件是为特定应用 定制的。 l在开发过程中,目标机端需接收和执行宿主机发 出的各种命令如设置断点、读内存、写内存等,将 结果返回给宿主机,配合宿主机各方面的工作。 嵌入式软件的交叉开发环境 l物理连接和逻辑连接 物理连接是指宿主机与目标机通过物理线路连接 在一起,连接方式主要有三种: l串口 l以太口 lOCD(On Chip Debug)方式,如JTAG、B
14、DM等 物理连接是逻辑连接的基础。 逻辑连接指宿主机与目标机间按某种通信协议建 立起来的通信连接,目前逐步形成了一些通信协 议的标准。 嵌入式软件实现阶段的开发过程 l设计完成后,嵌入式软件的开发进入实现阶段, 可分为三个步骤:生成、调试和固化运行。 软件的生成主要是在宿主机上进行,利用各种工具完成 对应用程序的编辑、交叉编译和链接工作,生成可供调试 或固化的目标程序。 调试是通过交叉调试器完成软件的调试工作。调试完成 后还需进行必要的测试工作。 固化运行是先用一定的工具将应用程序固化到目标机上 ,然后启动目标机,在没有任何工具干预的情况下应用程 序能自动地启动运行。 嵌入式软件生成阶段 l三
15、个过程 源代码程序的编 写 编译成各个目标 模块 链接成可供下载 调试或固化的目 标程序 编辑器交叉编 译器 交叉链 接器 源程序 目标模 块 可供调 试/固 化 库文件 交叉编译 l把在宿主机上编写的高级语言程序编译成 可以运行在目标机上的代码,即在宿主机上 能够编译生成另一种CPU(嵌入式微处理器 )上的二进制程序。 嵌入式软件的调试 l交叉调试器 是指调试程序和被调试程序运行在不同机器上的 调试器 调试器通过某种方式能控制目标机上被调试程序 的运行方式 通过调试器能查看和修改目标机上的内存、寄存 器以及被调试程序中的变量等 交叉调试非交叉调试 调试器和被调试程序运行在不同 的计算机上 调
16、试器和被调试程序运行在同一 台计算机上 可独立运行,无需操作系统支持需要操作系统的支持 被调试程序的装载由调试器完成 被调试程序的装载由专门的 Loader程序完成 需要通过外部通信的方式来控制 被调试程序 不需要通过外部通信的方式来控 制被调试程序 可以直接调试不同指令集的程序只能直接调试相同指令集的程序 嵌入式软件的调试 l交叉调试方式 Crash and Burn Rom Monitor Rom Emulator In Circuit Emulator On Chip Debugging lSimulator方式(非交叉) Crash and Burn 最早的 嵌入式应 用软件调 试方法
17、。 在宿主机上编写代码 反复检查代码,直到编译 通过,生成可执行程序 将程序固化(Burn)到目标机的非易失 性存储器(E2PROM、FLASH等)中 在宿主机上反复检查 码,查找问题根源 改写代码 启动目标机运行,观 察程序是否正常工作 N Y 结束 ROM Monitor lROM Monitor是被固化且运行在目标机上的 一段程序,负责监控目标机上被调试程序的 运行,与宿主机端的调试器一起完成对应用 程序的调试。 l调试器与ROM Monitor之间的通信遵循远程 调试协议。 ROM Monitor调试方式 调试器 Windows或其它桌 面操作系统 PC机等硬件 嵌入式 硬件 监控程
18、序(ROM Monitor) 被调试 程序 宿主机目标机 逻辑上的连接 物理上的连接 ROM Monitor l在目标机上电或复位后首先执行的就是 ROM Monitor,它对目标机进行一些必要的 初始化 初始化要求的外围设备,如最基本的串口和用于 内存刷新的系统计时器芯片; 初始化用于下载映像的内存系统; 初始化中断控制器和安装中断处理程序。 l初始化自己的程序空间 l等待宿主机端的命令 ROM Monitor lROM Monitor能配合调试器完成: 程序映像下载 对目标机系统内存的读写 对寄存器的读写 设置和清除不同类型的断点 单步执行指令 复位系统 等调试功能 ROM Monitor
19、 调试过程 (1)启动目标机,监控器掌握对目标机的控制,等待和 调试器建立连接; (2)启动调试器,并和监控器建立起通信连接; (3)使用调试器将应用程序下载到目标机上的RAM空间 中; (4)使用调试器进行调试,发出各种调试命令,监控器 解释并执行这些命令,通过目标机上的各种异常来获取 对目标机的控制,将命令执行结果回传给调试器; (5)如果程序有问题,在调试器的帮助下定位错误;修 改之后再重新编译链接并下载程序,开始新的调试,如 此反复直至程序正确运行为止。 ROM Monitor 优点 提高调试程序的效率 ,缩短开发周期,降 低成本 简单、方便 可扩展性强,可支持许多高级调试功能 成本低
20、廉,不需专门的调试硬件支持 几乎所有的交叉调试器都支持这种方式 ROM Monitor 缺点 Debug Monitor需要用Crash and Burn方法开发。 当ROM Monitor占用CPU时,应用程序不响应外部的中 断,因此不便调试有时间特性的程序。 某些调试功能依赖于CPU硬件的支持(如硬件断点功能 ) ROM Monitor要占用目标机一定数量的资源,如CPU、 RAM、ROM和通信设备等资源。 调试环境不同于实际目标环境。 仿真开发方式 嵌入式应用的开发经常会遭遇缺少目 标机环境、缺乏目标机芯片等资源的问题 ,而开发过程又不可能停止,因此自然就 提出了根据不同的应用需要,利用
21、仿真器 件、仿真环境进行开发的方法。 硬件仿真开发 ROM Emulator ICE OCD 软件仿真开发 ROM Emulator ROM Emulator是一种用于替代目标机 上的ROM芯片的设备,即ROM仿真器。利用 这种设备,目标机可以没有ROM芯片,但目 标机的CPU可以读取ROM Emulator设备上 ROM芯片的内容:ROM Emulator设备上的 ROM芯片的地址可以实时地映射到目标机的 ROM地址空间,从而仿真(Emulation)目标 机的ROM。 ROM Emulator ROM Emulator的调试方式是一种不完 全的调试方式:ROM Emulator设备只是为目
22、 标机提供ROM芯片和在Target和Host间建立 一条高速的通信通道,因此它经常和前面两 种调试方式结合起来形成一种完备的调试方 式。ROM Emulator的典型应用就是和ROM Monitor的调试方式相结合。 ROM Emulator l优点 目标机可以没有ROM芯片、可以使用 ROM Emulator提供的ROM空间且不需要用 别的工具来写ROM。 l缺点 目标机必须能支持外部ROM存储空间, 而且由于其通常要和ROM Monitor配合使用 ,因此它拥有ROM Monitor的所有缺点。 ICE lICE(In-Circuit Emulator)是一种用于替代 目标机上CPU的设
23、备,即在线仿真器。 l它比一般的CPU有更多的引出线,能够将 内部的信号输出到被控制的目标机。 lICE上的Memory也可以被映射到用户的程 序空间,这样即使目标机不存在的情形下也 可以进行代码的调试。 宿主开 发平台 目标平台 ICE ICE调试结构 l连接ICE和目标机时,一般是将目标机的CPU 取下,而将ICE的CPU引出线接到目标机的CPU 插槽。 l用ICE进行调试时,在Host端运行的调试器通 过ICE来控制目标机上运行的程序。 ICE ICE 功能特点 l同时支持软断点和硬件断点的设置 l设置各种复杂的断点和触发器 l实时跟踪目标程序的运行,并可实现选择性的跟 踪 l支持“Ti
24、me Stamp” l允许用户设置“Timer” l提供“Shadow RAM”,能在不中断被调试程序的 运行下查看内存和变量即非干扰调试查询 ICE l适用于: 调试实时的应用系统 调试设备驱动程序 对硬件进行功能和性能的测试 实时性能分析 l缺点: 价格太昂贵,不利于团队开发 所仿CPU有限 OCD OCD(On Chip Debugging)是CPU芯 片提供的一种调试功能(片上调试),可以 认为是一种廉价的ICE功能:OCD的价格只 有ICE的20%,但提供了ICE 80%的功能。 OCD调试结构 调试器 Windows或其它桌 面操作系统 PC机等硬件 被调试程序 OCD接 口 嵌入
25、式 硬件 宿主机目标机 逻辑上的连接 物理连接 仿真器 针形连接器并口、串口 或网络接口 为特定处理 器而建造 OCD l调试方法 将CPU的模式分为一般模式和调试模式 一般模式下, CPU从内存读取指令执行 调试模式下,CPU首先从调试端口读取指令,通过调试端 口可以控制CPU进入和退出调试模式;Host端的调试器可以 直接向目标机发送要执行的指令,读写目标机的内存和各种 寄存器,控制目标程序的运行以及完成各种复杂的调试功能 。 OCD l优点 不占用目标机的资源 调试环境和最终的程序运行环境基本一致 支持软硬断点、Trace功能 精确计量程序的执行时间 提供时序分析功能 OCD l缺点 调
26、试的实时性不如ICE 不支持非干扰调试查询 CPU必需具有OCD功能 OCD l存在各种实现 BDM(Background Debugging Mode) JTAG(Joint Test Access Group)(主流方式) OnCE(On Chip Emulation) 各种OCD仿真器例 边界扫描技术(JTAG) lJTAG标准测试访问接口与边界扫描结构 (Standard Test Access Port and Boundary Scan Architecture),已被IEEE1149.1标准所采 纳,是面向用户的测试接口。 l该接口一般由4个引脚组成: 测试数据输入(TDI) 测
27、试数据输出(TDO) 测试时钟(TCK) 测试模式选择引脚(TMS) 异步测试复位引脚(TRST,可选) 边界扫描技术(JTAG) l优点 可以通过边界扫描操作测试整个板的电气连接,特别为 表面贴元件提供方便 各个引脚信号的采样,并可强制引脚输出用以测试外围 芯片 可以软件下载、执行、调试和控制,为复杂的实时跟踪 调试提供路径 可以进行多内核和多处理器的板级和芯片级的调试,通 过串接 ,为芯片制造商提供芯片生产、测试的途径 不占用系统资源,能够调试没有外部总线的芯片,代价 非常小 边界扫描技术(JTAG) l缺点 通过串口依次传递数据,速度比较慢 只能进行软件断点级别的调试 不能完成实时跟踪和
28、多种事件触发等复杂调试功 能 l几种增强版本 ARM芯片的实时调试方案(E-TRACE) 背景调试模式BDM 片上仿真OnCE Nexus标准 l提出一个在JTAG之上的嵌入式处理器调试的统一 标准 l将调试开发分成四级 第一级使用JTAG的简单静态调试; 第二级支持编程跟踪和实时多任务的跟踪,并允许用户 用I/O引脚作为多路复用辅助调试口; 第三级包括处理器运行时的数据写入跟踪和存储器的读 写跟踪; 第四级增加了存储替换并触发复杂的硬件断点。 Nexus标准 l通过Nexus 标准可以解决以下问题 调试内部总线没有引出的处理器,如含有片 内存储器的芯片 传统在线仿真器无法实现的高速调试 深度
29、流水线和有片上Cache的芯片,能够探测 具体哪条指令被取指和最终执行 可以稳定地进行多内核处理器的调试 Simulator 交叉开发方式存在如下缺点: l硬件支持 必须有目标机或评估板 l易使用性 普通编程人员不熟悉 l廉价性 成本高 l可移植性、可扩展性 不高 l团队开发 较难 l开发周期 较长 Simulator l一种软件仿真器,在宿主机上创建一个虚拟的 目标机环境,再将应用系统下载到这个虚拟目标 机上运行调试。 l软件仿真的对象 仿真处理器 仿真外设 仿真环境 l软件仿真的级别 指令级仿真开发 API级仿真开发 应用仿真开发环境示意图 结合了仿真的软件开发过程 Simulator l
30、优点 最大好处就是可以不用真正的目标机, 可以在目标机环境并不存在的条件下开发目 标机上的应用系统,并且在调试时可以利用 Host资源提供更详细的错误诊断信息。 Simulator l缺点 和实际的运行环境差别很大 设备模拟的局限性较大 实时特性较差 对Host的资源要求较高 l适用范围 对时间特性没有严格要求、没有特殊外设、只 需要验证逻辑正确的应用程序。 嵌入式软件的测试 l测试工具:能够用来辅助测试的工具,主要用 来支持测试人员的工作,本身不能直接用来进行 测试。测试工具一般都是通用工具,测试人员应 该根据实际情况对它们进行适当的调整。 l嵌入式软件测试中经常用到的测试工具有: 内存分析
31、工具 性能分析工具 覆盖分析工具 缺陷跟踪工具等 嵌入式软件的测试 内存分析工具 l嵌入式系统的内存资源通常是受限的,内存分 析工具可以用来处理在进行动态内存分配时产生 的缺陷。当动态分配的内存被错误地引用时,产 生的错误通常难以再现,出现的失效难以追踪, 使用内存分析工具可以很好地检测出这类缺陷。 l目前常用的内存分析工具有软件和硬件两种: 基于软件的内存分析工具可能会对代码的执行性能带 来很大影响,从而影响系统的实时性; 基于硬件的内存分析工具对系统性能影响小,但价格 昂贵,并且只能在特定的环境中使用。 嵌入式软件的测试 性能分析工具 l嵌入式系统的性能通常是一个非常关键 的因素,开发人员
32、一般需要对系统的某些 关键代码进行优化来改进性能。 l性能分析工具 可以提供有关数据,帮助确定哪些任务消耗 了过多的执行时间,从而可以决定如何优化软 件,以获得更好的时间性能。 引导开发人员发现在系统调用中存在的错误 以及程序结构上的缺陷。 嵌入式软件的测试 覆盖分析工具 l在进行白盒测试时,可以使用代码覆盖分析工 具追踪哪些代码被执行过 l分析过程一般通过插桩来完成,插桩可以是在 测试环境中嵌入硬件,也可以是在可执行代码中 加入软件,或者是两者的结合。 l开发人员通过对分析结果进行总结,可以确定 哪些代码被执行过,哪些代码被遗漏了。 l目前常用的覆盖分析工具一般都提供有关功能 覆盖、分支覆盖
33、、条件覆盖等信息。 覆盖分析工具实例 测试工具实例:逻辑分析仪 l工作机理:在不打断被测程序运行流程 的基础上,对程序运行中的相关信息进行 采集和分析,然后通过真实再现程序运行 的逻辑流程和分析程序运行数据,帮助用 户优化系统设计和解决出现的问题。 l与调试工具的对比 调试器:照相机 逻辑分析仪:摄像机 测试工具实例:逻辑分析仪 l主要功能: 真实再现程序运行流程 发现系统死锁及软件造成的死机 发现系统内存泄漏 指导对任务的合理划分 指导关键路径设计与验证 指导合理分配任务堆栈 CPU使用率统计 指导合理设计中断服务程序 测试工具实例:逻辑分析仪 嵌入式应用软件运行的逻辑流程 测试工具实例:逻
34、辑分析仪 系统堆栈使用率分析 嵌入式软件的固化运行 l当调试完成之后,程序代码需要被完全烧 入到目标板的非易失性存储器(如ROM或闪存 )中,并且在真实的硬件环境上运行,这个 过程叫做固化。 l调试环境与固化环境的区别: 代码定位不同 初始化部分不同 嵌入式软件的固化运行 阶段调试环境固化环境 编译目标文件需要调试信息目标文件不需要调试信息 链接 应用系统目标代码不需要Boot 模块,此模块已由目标板上的 监控器程序实现。 应用系统目标代码必须以Boot 模块作为入口模块。 定位 程序的所有代码段、数据段都 依次被定位到调试空间的RAM 中。 程序的各逻辑段按照其不同的 属性分别定位到非易失性
35、存储 空间(ROM)或RAM中。 下载 宿主机上的调试器读入被调试文件 ,并将其下载到目标机上的调试空 间中,目标机掉电后所有信息全部 丢失。 在宿主机上利用固化工具将可固化 的应用程序写入目标机的非易失性 存储器中,目标机掉电后信息不丢 失。 运行 被调试程序在目标监控器的控制下 运行,并与后者共享某些资源,如 CPU资源、RAM资源以及通信设备( 如串口、网口等)资源。 程序在真实的目标硬件环境上 运行 嵌入式软件的固化运行 lBoot模块:当应用程序在真实的目标环境下运行 时将首先执行该程序,它至少由系统加电时执行的 代码组成。 lBoot模块的主要功能:初始化CPU环境,使目标 机硬件
36、到已知的状态 初始化芯片的引脚 初始化系统外部控制寄存器 初始化基本输入输出设备 初始化MMU,包括片选控制寄存器等 执行数据拷贝 嵌入式软件开发工具发展趋势 l向着开放的、集成化的方向发展 l具有系统设计、可视化建模、仿真和验证功能 l自动生成代码和文档 l具有更高的灵活性 第二节 嵌入式系统开发模式 概述 处理器及硬件开发平台的选定 操作系统选定 开发环境选定 嵌入式系统开发模式概述 最大特点:软硬件综合开发。 原因: 1)嵌入式产品是软硬件的结合体 2)软件针对硬件开发、固化,不能 进行任意修改 嵌 入 式 系 统 开 发 过 程 系统定义时期 符合要求 硬件设计制作软件设计实现 软硬件
37、集成 功能性能测试 产品 Yes 系统总体设计 No 系统总体设计 软 硬 件 划 分 系 统 总 体 框 架 处 理 器 选 定 操 作 系 统 选 定 开 发 环 境 选 定 硬件设计制作 硬件概要设计 硬件详细设计 硬件制作 硬件测试 功能模块图设计 逻辑电路图设计 PCB设计与制作 PCB 测试 软件设计实现 软件概要设计 软件详细设计 软件实现 软件测试 软硬件协同开发 l通常的嵌入 式系统开发 l软/硬件协同 开发 嵌入式 软件开发 嵌入式 硬件开发 嵌入式系统 集成、测试、 验证 嵌入式软件开发 嵌入式硬件开发 嵌入式系统 协同设计、测试、验证 处理器及硬件开发平台的选定 选择依
38、据: l应用的类型及I/O接口 l主频及功耗 l对不同类型存储器的支持 l封装 l产品生命力和厂家实力、技术支持及第三 方软件的支持 l硬件开发平台的选择 操作系统选定 选择依据: l选择嵌入式OS的必要性 l自建、购买或使用开源软件 l对嵌入式操作系统的功能、性能要求 l与硬件平台和开发工具的关系 l行业标准 l技术支持 l版税或服务费 操作系统与硬件平台的关系 l操作系统应支持选定的硬件平台 l如果不支持,需考虑移植工作 不同类型嵌入式微处理器之间的移植:任务上下 文切换、时钟、中断等 同类型微处理器但不同类型硬件板之间的移植: 硬件接口及设备驱动程序 操作系统与开发工具的关系 l工具是否
39、能为基于特定操作系统的应用开 发提供最大支持: 运行库与OS相结合 提供应用工程创建和管理功能,构建基于特定操 作系统的应用框架 对操作系统的剪裁与配置 提供高级调试功能 提供配套的应用逻辑分析工具、覆盖测试工具等 开发环境及工具选定 l对硬件平台的支持 l所使用的编程语言 C/C+ 汇编语言 JAVA l与嵌入式操作系统的关系 第三节 实时软件分析设计方法 DARTS分析设计方法 DARTS分析设计方法 l嵌入式实时软件系统的生存周期 l需求分析与说明 l系统设计DARTS设计方法 数据流分析 划分任务 定义任务接口 l任务设计 l模块构筑 l任务与系统集成 嵌入式实时软件系统的生命周期 l
40、需求分析与详细说明 l系统设计 任务分解, 定义任务间接口关系 l任务设计 按模块方式设计每个任务,定义模块间接口 l模块构筑 完成每个模块的详细设计、编码和单元测试 l任务与系统集成 l系统测试 实 例 说 明机器人控制器系统 上电 手动停止结束 断电 运行 程序选择 控制面板 控制设备由内部控 制器和外部控制面 板组成 控制器控制六个转 轴,并与数字I/O 传感器交互作用。 转轴和I/O由程序 控制 该程序由控制面板 操作启动执行 按下“上电”按钮,系统进入了上电状态。 上电成功后,系统进入了手动状态。此时,操作 者可以通过程序选择开关选择程序 按下“运行”按钮,则选定的程序开始运行,系
41、统转为运行态。 程序运行中如果按下“停止”键,程序被挂起。 之后,操作者可以按下“运行”键,使程序恢复 执行,也可按下“结束”键,结束程序。 按下“结束”键后,系统进入终止态。当程序最 终终止执行时,系统返回手动状态。 控制执行过程 需求分析与说明 断电态通电态 手动态运行态 终止态挂起态 上电 上电 成功 断电启动 程序 选择 程序 终止 结束 启动停止 状态变迁图 系 统 设 计 l系统设计说明该系统如何被分解成多个 任务,如何定义任务间的关系 l任务划分方法 DARTS设计方法 DARTS设计方法 l 数据流分析:每个数据流图都包含: l变换圈, 表示系统完成的功能 l箭头,表示变换间的
42、数据流动 l数据存储区,表示数据的存储场 所 l数据字典,定义了数据流和数据 存储区所包含的数据项 机器人控制器数据流图 程序 面板输入有 效 性检查 解释程序 各语句 读传 感器 处理面板 输入 处理 I/O命令 处理动 作命令 向传感 器输出 输出动作 轴数据 接收 确认 输出到 面板 轴控制 器 读面板 输入 按下 按钮 面板输入 有效的 面板输入 运行 开始 结束 动作 命令 动作 确认 I/O 命令 传感器值 输入 传感器输入 传感器 输出 输出 面板 输出 显示灯 运行 停止 重启动 轴块 轴确认 轴输入 轴输出 动作块 l划分任务就是识别出并行性的功能 l需要考虑的是系统内功能的
43、异步性。分 析数据流图中的变换,确定哪些变换可以 并行,哪些变换本质上是顺序的。 l一个任务可对应一个变换,也可对应多 个变换。 DARTS设计方法 l划分任务原则 I/O 依赖性 功能的时间关键性 计算需求 功能内聚 时间内聚 周期执行 DARTS设计方法 I/O 依赖性 DeviceI/O Task App.Task l如果变换依赖于I/O,速度受限I/O,可独立成 任务 l在系统中创建与I/O设备数目相当的I/O任务 lI/O任务只实现与设备相关的代码 lI/O任务的执行只受限于I/O设备的速度,而不 是处理器 l在任务中分离设备相关性 功能的时间关键性 l将有时间关键性(deadline)的功能分离出来, 组成独立运行的任务 l赋予这些任务高的优先级,以满足对时间的需要 event 1 event 2 Task 1 Task 2 Task 3Task 3 deadline 1 deadline 2 l计算量大的功能占用CPU的时间多,把计算功能 捆绑成任务,以消耗CPU的剩余时间 l赋予计算任务较低优先级, 能被高优先级的任务抢 占,保持高优先级的任务是轻量级的 l多个计算任务可安排成同优先级,按时间片循环 轮转 计算需求