visualSTATE第九章解读.ppt

9.2 车灯系统的状态图设计 Voltage的内部结构如图所示： 9.2 车灯系统的状态图设计 Doors的内部结构如图所示： 9.2 车灯系统的状态图设计 Lgnitionkeylock的内部结构如图所示： 本章总结 正如本书开篇所述，“开发者所面临的最大挑战也许是系统的复杂度”，故我们以后着重要解决的问题是对于复杂系统如何快速建立状态图模型。本章介绍的车灯系统的例子，状态多达40个，已经初步展示了现实中系统的复杂性，但应用visualSTATE对整个系统建模，仅仅花费了不到一下午时间，由此可见基于图形化的visualSTATE开发工具在效率上的巨大优势。 第九章　车灯系统的快速建模 前言 通过前面的学习，我们对visualSTATE的应用已经有所掌握，这一章节将介绍一个visualSTATE应用于复杂系统的例子，即用其完成上汽一款车型的灯光系统部分功能的设计。 第九章 目录 9.1　上汽车灯系统的需求分析 9.2　车灯系统的状态图设计 第九章 目录 9.1　上汽车灯系统的需求分析 9.2　车灯系统的状态图设计 9.1.1 系统综述 上汽这一车型的部分车内照明灯的分布如图所示： 9.1.1 系统综述 其中汽车内部照明系统可分为如下两部分： Facia lighting 仪表照明 Courtesy Lamps 车室照明灯 此部分具体又包括： 前方地图照明灯 Front Map Lamp 后方地图照明灯 Rear Map Lamp 车位储物箱照明灯 Loadspace Lamp 镜前灯 Mirror Lamp 手套箱照明灯 Glovebox Lamp 关键气缸照明灯 Key Cylinder Illumination 9.1.2 系统的控制描述 主要包括下面几方面： 定时继电器控制 Timed-Relay Control 仪表照明灯 车室照明灯 定时继电器控制 Timed-Relay Control 仪表照明灯 应该立刻关闭仪表照明灯，当： 信号LightSideOn的转换出错 关闭KL.R 车室照明灯 车室照明灯运行过程如下： ? 自动脉宽调制控制Auto PWM Control 包括：Front/Rear Map Lamps, Loadspace Lamp and Key Cylinder Illumination 每次车室照明灯自动地开或关，都是逐渐开或逐渐关的。在初始加电时，车室照明灯进入此模式。这时，车室照明灯自动地被一系列的ON和OFF的条件控制着。具体如下 注意：动作的最新请求应该优先于当前状态。 车室照明灯 自动脉宽调制控制Auto PWM Control Fade-On 自动的Fade-ON，当： 从RF遥控钥匙成功发出的unlock命令，或者钥匙在驾驶侧车门中 任何门的打开 转换到KL.R OFF Instantly ON 下面一些情况会Instantly turn ON: 当延时开关（inertia switch）被激发 当碰撞传感器（crash sensor）被激发时；这可通过信号VehicleStateCrashed来识别 车室照明灯 自动脉宽调制控制Auto PWM Control Fade-off 自动地Fade-OFF，当： 所有门关闭30s之后 在KL.R信号转换之后，当所有的门都第一次关闭时（即第一次转换到all-doors-closed）。 注意：随后开门，然后再关门，将会导致灯继续保持亮30秒，然后逐渐熄灭 从RF遥控钥匙成功发出的lock命令，或者司机用钥匙锁门 车室照明灯 自动脉宽调制控制Auto PWM Control Fade-off 选择KL.R，同时所有门都关闭 延时15minutes之后（即门未关(a door being left open)，或者是出现关门故障(a faulty door switch)时） 处于KL.15状态，并且灯被自动地打开，所有的门都已关闭 注意：当通过延时开关(inertia switch)触发条件或者VehicleStateCrashed信号switched ON时，灯应该延时等待15分钟，而不管所处的状态，状态的转换，以及KL.R开关。 车室照明灯 自动脉宽调制控制Auto PWM Control Intantly OFF 出现如下情况，上述灯将立即熄灭(Instantly-OFF)： 当KL.50 ON时，将会执行Instantly-OFF。 车室照明灯照明曲线Courtesy Lamp illumination curve 脉冲宽度调制(PWM)，是英文“Pulse Width Mo