电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
在出行需求日益增长的今天，基于传统设计思想的叠加式列控系统逐渐显露出不足，各种功能子系统的叠加导致结构复杂化、可靠性降低，系统的高度集中引发能耗、散热、占用空间过大等问题，并且在受到外力冲击时极易造成设备整体瘫痪，这些问题在车载设备方面表现得尤为突出。因此，在下一代列控系统的设计中，希望建立统一的安全计算机平台，对系统整体结构进行优化，以硬件、软件模块化来降低设备的复杂程度，实现灵活配置，同时缩短开发周期，减少重复开发。由于系统整体结构的调整，系统状态也随着单系内各单元间及两系间的复杂交互过程而增加，建模难度也随之增加。对于关键领域中应用的安全苛求系统，需要达到安全完整性等级SIL-4级标准，确保其在实际应用中能够稳定可靠地运行。
为提高下一代列车运行控制（简称列控）系统安全计算机的系统兼容性，首先对其结构进行简要分析，并对管理机制进行设计，建立了管理单元状态转移模型，同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元（MCU，micro controller unit）的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明，所设计的管理机制符合设计规范的要求，管理单元能够实现预期的状态转移功能。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 节点位置信息驱动的终端缓存管理机制 16次下载
- 计算机通信与网络教程—课件资料下载 0次下载
- 最全SPARK内存管理机制 5次下载
- 基于LabVIEW的泰克示波器与计算机的通信 40次下载
- 计算机通信原理与系统_部分6 4次下载
- 计算机通信原理与系统_部分3 2次下载
- 计算机通信原理与系统_部分2 4次下载
- 计算机通信原理与系统_部分1 5次下载
- 计算机通信原理与系统_部分5 2次下载
- 计算机通信原理与系统_部分4 3次下载
- TMS320F28x 事件管理机制参考 15次下载
- 一种基于信息流策略的组密钥管理机制 0次下载
- 浅谈计算机网络通信安全 34次下载
- linux内存管理机制浅析 73次下载
- 计算机串行通信基础 33次下载
- 什么是计算机视觉？计算机视觉的三种方法 1686次阅读
- 计算机架构及组成 4492次阅读
- xenomai系统中的xnheap管理机制 1292次阅读
- 计算机辅助技术有哪些_计算机辅助技术的应用 3.6w次阅读
- 计算机网络通信技术的原理与通信方式分析 4316次阅读
- 东大金智科技2乘2取2安全计算机平台描述 2088次阅读
- 计算机网络管理技术的应用 4431次阅读
- 什么是量子计算机_量子计算机原理_量子计算的两种有效方法 1.1w次阅读
- 如何实现自由口模式下PLC与计算机的通信方法概述 1477次阅读
- 嵌入式系统内存管理机制详解 4307次阅读
- 电子管计算机是第几代_电子管计算机如何存储数据 4.2w次阅读
- 浅谈局部网络管理 基于CAN总线的局部网络管理机制设计 6507次阅读
- μC／OS—II中的时钟节拍管理机制技术分析 1270次阅读
- 计算机网络有哪些作用_计算机网络硬件有哪些 1.1w次阅读
- 钻石内的量子计算机 1344次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1489次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 91次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 9次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30319次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233045次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论