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

。 
2、实时系统的基本概念（硬实时、软实时、固实时）。 
3、RM/EDF调度算法。 
4、ROPES设计方法的描述。 
5、建模设计中的正向工程与逆向工程。 
6、实时系统建模分析中的外部事件定义及时间等约束。 
6、用例与场景的区别、用例图、时序图、类图。 
7、识别对象的基本方法及对象间的关系。 
8、用例图、类图的画法。  
9. 用例、协作、机制的定义和作用域
10. 设计模式模板如何定义
11. 详细设计主要解决哪些问题
12. 字节对齐与存分配问题
14. 智能指针模式的构造方法
15. 单点失效、共模失效概念，故障分析树画法
16. 可靠性设计模式中冗余通道的分类及构造方法
17. 门禁模式的定义、时序图和分类
18. 类图的UML语法
，以实验3 Dishwasher为例
20. 实验部分：状态机、时间自动机（timed automata/uppaal使用）
建模/MDA/MDD的基本概念
建模是对现实世界的一个简化。因为不能完整地理解一个复杂的系统，所以要对它建模。建模是为了更好的理解我们正在开发的系统。
建模的目的：
模型帮助按照实际情况后按照所需的样式对系统进行可视化
模型允许详细说明系统的结构或行为
模型给出了一个知道构造系统的模板
模型对做出的决策进行文档化
建模的原则：
选择要创建什么模型对如何动手解决问题和如何形成解决方案有着意义深远的影响
每一种模型可以在不同的精度级别上显示
最好的模型是与现实相联系的
单个模型是不充分的，对每个重要的系统最好用一组几乎独立的模型去处理
模型驱动架构(MDA)（moudle driver architecture）
OMG(Object Management Groups)定义模型驱动架构是一个软件开发框架
建模，建模语言在MDA方法里面起到了至关重要的作用
开发阶段产生形式化模型，可被计算机理解的模型
OMG提出MDA方法的三个主要目标：轻便性，互操作性和可重用性
具体解决以下问题：
扭转以代码为中心的软件开发方法
解决不同平台、不同技术路线之间的集成和互操作问题
便于适应将来出现的新技术和新平台
MDA的核心概念均是OMG系列的一系列标准：统模语言UML，元对象设计MOF，XML元数据交换XMI，公共数据仓库元模型CWM。MDA的各种核心标准组成了创建模型驱动的一致性纲要的基础。
MDA 定义了三种模型：
计算独立模型（CIM）
平***立模型（PIM）
平台特定模型（PSM）
模型驱动开发（MDD）moudle driver development
MDD是一种抽象的软件开发设计流程
主要包括以下特点：
1、抽象（提高层次），封装和信息隐藏
通过模型的多个层次（横向和纵向）来隐藏和展示信息，从而使模型更容易被理解
2、以模型为中心：
开发过程始终以模型为工作中心
3、不依赖于任何一种特定的实现：
模型独立于运行平台的实现细节，这部分往往是最容易变化的
实时系统的基本概念（硬实时、软实时、固实时）
任何必须在有限/指定的周期对外部发生的输入激励做出响应的信息处理活动或系统。
另：实时系统是指在确定的时间完成规定功能，并能对外部异步事件作出正确响应的计算机系统。
正确性不仅取决于计算的逻辑结果，也取决于产生结果所花费的时间的系统。实时系统具有及时性与正确性的双重特性。
实时系统的正确性不仅依赖于计算的合理结果，还依赖于产生这个结果的时间。
硬实时：硬实时系统是那些在规定的时限前做出响应是绝对强制性要求的系统。UNIX系统可以被看做一个实时系统，当用户输入一个命令，会期待在几秒得到响应
软实时：软实时系统是响应时间虽然重要，但如果偶尔错过时限系统依然正常运行的系统。（同交互式系统的区别：对后者而言无明显的时限。）
软实时并不是指一种单一的需求，它伴随着一些不同的性质：
1)可以偶尔错过时限（通常有一个在确定的时间间隔的错过次数上限）。
2)可以偶尔推迟提供服务（同样，有一个延迟次数的上限）
固实时：
RM/EDF调度算法
速率单调RM调度算法（经典的静态实时调度算法）
图：第二章：实时系统基本概念-----实时操作系统 ppt 14
RM算法是一种静态分配优先级算法，它根据任务的周期来分配优先级，周期越小，任务的优先级越高。
最佳的单处理机静态优先调度算法：系统任务序列的周期、截止时限、执行时间、CPU利用率
等时间特性参数都是己知的
不可调度：指某一个任务在周期无法完成任务，即：
任务的执行结束时间 > 任务的