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