系统建模分析期末重点.docVIP

1.建模/MDA/MDD的基本概念。?2、实时系统的基本概念（硬实时、软实时、固实时）。?3、RM/EDF调度算法。?4、ROPES设计方法的描述。?5、建模设计中的正向工程与逆向工程。?6、实时系统建模分析中的外部事件定义及时间等约束。?6、用例与场景的区别、用例图、时序图、类图。?7、识别对象的基本方法及对象间的关系。?8、用例图、类图的画法。??9. 用例、协作、机制的定义和作用域10. 设计模式模板如何定义11. 详细设计主要解决哪些问题12. 字节对齐与内存分配问题14. 智能指针模式的构造方法15. 单点失效、共模失效概念，故障分析树画法16. 可靠性设计模式中冗余通道的分类及构造方法17. 门禁模式的定义、时序图和分类18. 类图的UML语法19.状态图画法，以实验3 Dishwasher为例20. 实验部分：状态机、时间自动机（timed automata/uppaal使用） 计算独立模型（CIM） 平台独立模型（PIM） 平台特定模型（PSM） 模型驱动开发（MDD）moudle driver development MDD是一种抽象的软件开发设计流程 主要包括以下特点： 1、抽象（提高层次），封装和信息隐藏 通过模型的多个层次（横向和纵向）来隐藏和展示信息，从而使模型更容易被理解 2、以模型为中心： 开发过程始终以模型为工作中心 3、不依赖于任何一种特定的实现： 模型独立于运行平台的实现细节，这部分往往是最容易变化的 实时系统的基本概念（硬实时、软实时、固实时） 正确性不仅取决于计算的逻辑结果，也取决于产生结果所花费的时间的系统。实时系统具有及时性与正确性的双重特性。 实时系统的正确性不仅依赖于计算的合理结果，还依赖于产生这个结果的时间。 硬实时：硬实时系统是那些在规定的时限前做出响应是绝对强制性要求的系统。UNIX系统可以被看做一个实时系统，当用户输入一个命令，会期待在几秒内得到响应 1)可以偶尔错过时限（通常有一个在确定的时间间隔内的错过次数上限）。 2)可以偶尔推迟提供服务（同样，有一个延迟次数的上限） 固实时： RM/EDF调度算法 速率单调RM调度算法（经典的静态实时调度算法） 图：第二章：实时系统基本概念-----实时操作系统 ppt 14 RM算法是一种静态分配优先级算法，它根据任务的周期来分配优先级，周期越小，任务的优先级越高。 最佳的单处理机静态优先调度算法：系统任务序列的周期、截止时限、执行时间、CPU利用率等时间特性参数都是己知的 不可调度：指某一个任务在周期内无法完成任务，即： 任务的执行结束时间 任务的截止期 EDF(Earliest Deadline First)算法 图：第二章实时系统基本概念 ppt p22 根据任务的开始截止时间确定任务的优先级，开始截止时间越早，优先级越高。如果当前有其他较低优先级作业正在执行，则较低优先级作业被抢占，让位给具有最高优先级的作业执行那个，直至就绪队列中没有高于改作业优先级的作业时，该作业恢复执行。 ROPES设计方法的描述 ROPES(rapid object process for embedded system) 嵌入式系统快速对象处理 第四章：ppt p6 需求设计 需求分析（requirements analysis） 系统分析（system analysis） 对象分析（object analysis） 设计阶段 架构设计（architecture design）：部署视图、并发视图 机制设计（mechanistic design）：对象集合的协作 详细设计（detailed design）：类结构、内部组织 转换 整合与测试 ROPES过程是基于迭代式生命周期，并使用标准UML元模型作为其语义框架和符号。 整体过程如： 1）需求分析：从客户获取需求。客户是有责任定义系统该做什么的任何人。通常是功能视图，并不给出对象和类。 消息：这些信息通常在用例，对象上下文，顺序图，状态图，或外部消息队列中给出。 2）系统分析：系统分析是大规模复杂嵌入式系统的重要阶段，按功能进行分解架构 3）对象分析：对象分析给出重要的对象和类，以及他们的主要属性。包括结构对象分析和行为对象分析。 设计阶段： 哪些对象是主动的 应用程序任务调度策略 对象和类在可部署组件中的组织 处理器间通信的媒介和协议 软件组件在节点间的分析情况 软件组件在节点间的分布情况 关系实现策略 错误处理策略 内存管理策略 分析-设计-转化-测试 建模设计中的正向工程和逆向工程 正向工程（forward engineering）：是通过到一个实现语言的映射，把一个模型转换为代码的过程。用例图可