学术知识图片库 > 计算机软件及计算机应用 > 假开车控制功能的PROMELA模型
假开车控制功能的PROMELA模型
图片来源:
  • 顾益,黄志球. 基于SPIN的系统级失效模式与影响分析方法研究 , 机械设计与制造工程, 2013 (05). >>查看本文图片摘要
图片关键词: 模型图控制功能模型失效模式
所属学科: 计算机软件及计算机应用
图片上下文:
  • ?榈?需求规约,如其中“假开车控制”过程的需求如下所示:进入条件:油门杆角度位于慢车域,“假开车信号”和“起动按钮信号”有效,“起落架放下信号”有效,且“起落架收起信号”无效。控制过程:(1)0s开始,输出“起动机控制信号”,持续60s后进入停车控制;(2)0s开始,输出“起动电....
  • >>展开全部
京 ICP 证 040431 号  网络出版服务许可证 (总)网出证(京)字第 271 号 经营性网站备案信息
京公网安备 11010802020460 号
《中国学术期刊(光盘版)》电子杂志社有限公司
KDN 平台基础技术由 KBASE 11.0 提供. © 1998-2018 中国知网(CNKI)
可信网站 诚信网站