学术知识图片库 > 计算机软件及计算机应用 > 假开车控制功能的PROMELA模型
假开车控制功能的PROMELA模型
图片来源:
  • 顾益;黄志球;基于SPIN的系统级失效模式与影响分析方法研究,机械设计与制造工程,201305. >>查看本文图片摘要
图片关键词: 模型图控制功能模型失效模式
所属学科: 计算机软件及计算机应用
图片上下文:
  • ?榈?需求规约,如其中“假开车控制”过程的需求如下所示:进入条件:油门杆角度位于慢车域,“假开车信号”和“起动按钮信号”有效,“起落架放下信号”有效,且“起落架收起信号”无效。控制过程:(1)0s开始,输出“起动机控制信号”,持续60s后进入停车控制;(2)0s开始,输出“起动电....
  • >>展开全部