多乐游戏电视合作平台:研讨提出面向信息物理交融体系的扩展体系结构剖析与规划言语建模和剖析办法

多乐保皇游戏苹果版:

  据中国科学院音讯，近来，中国科学院软件研讨所科研人员针对信息物理交融体系的方式化建模和验证，提出了根据扩展体系结构剖析与规划言语的建模与验证办法，为高速列车、车联网等安全攸关体系的规划与验证供给了新思路。

  安全攸关信息物理交融体系是杂乱的嵌入式体系。传统的建模办法往往难以一起统筹软件功用、物理环境和体系架构三个维度，导致体系规划存在潜在危险。在很多架构型建模言语中，体系结构剖析与规划言语体现得最出色。但是，体系结构剖析与规划言语拿手描绘体系架构和硬件渠道，却难以精确描绘体系的软件功用和物理环境。

  该研讨为完成信息物理交融体系“物理-软件-硬件”三层架构的一致建模，扩展了应用于实时嵌入式体系的体系结构剖析与规划言语，规划了Hybrid Annex附件，使体系结构剖析与规划言语可以精确描绘离散的软件功用、接连的物理变化及二者的交互进程；建立了从扩展体系结构剖析与规划言语模型到方式化模型混成通讯顺序进程的主动转化结构，支撑在方式模型层面临信息物理交融体系来进行仿真与验证。

  进一步，该研讨选用扩展的体系结构剖析与规划言语为一个轿车主动巡航体系建模，经过构建包括物理行为层、软件功用层和硬件渠道层的三层模型，可完成体系行为的仿真和验证。试验标明，该办法可以有用调查不同总线装备下的体系行为差异，为体系优化供给相关根据。一起，研讨还使用根据混成霍尔逻辑的定理证明东西，验证了体系中紧迫操控组件的安全性。