MBSE周边
文章平均质量分 84
MBSE周边新闻
每天造轮子
站在轮子的肩膀上
展开
-
一种全数字实时仿真的安全关键领域解决方案
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程(MBSE)技术则给大家提供了一种全新的技术方向,分享一种全数字实时仿真的安全关键领域解决方案,提供一种新的解决思路。什么是MBSE?MBSE在2007年的 INCOSE (系统工程国际委员会)国际研讨会上首次被提出。MBSE是一种正规化的建模应用,它为系统工...原创 2021-02-05 11:58:53 · 310 阅读 · 0 评论 -
国产自主可控的MBSE解决方案和全数字仿真平台(SkyEye)
2020年6月,哈工大、哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术。截止到2020年12月,中国已有超过300家企业和机构被列入美国“实体名单”,被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所,美国想以此来打压中国工业和科技的发展,其中就包括Matlab等工业软件的限制。2020年8月,国务院随即出台软件产业扶持新政,发布《新时期促进集成电路产业和软件产业高质量发展的若干政策》,出台了40项支持政策推...原创 2021-02-05 11:55:59 · 2449 阅读 · 1 评论 -
自主可控的安全关键领域国产工业软件SkyEye
全球制造业正处于新一轮变革的浪潮中,大数据、云计算等新一代信息技术正加速向工业领域融合渗透,工业互联网、工业4.0、智能制造等战略理念不断涌现。传统产业数字化转型升级的需求强烈,工业软件缺乏自主可控成为横亘在我国发展工业4.0道路上的一道坎,尤其在安全关键领域,急需要自主可控的国产工业软件软件。由迪捷软件开发的自主创新的安全关键领域国产工业软件SkyEye,将替代国外Matlab/Sumlink等同类软件。SkyEye 的性能SkyEye采用国产自主可控的特殊算法和LLVM计算进行翻译加速.原创 2021-02-05 11:53:56 · 621 阅读 · 0 评论 -
同步数据流语言代码生成工具的研究进展
摘要同步数据流语言(如Lustre,Signal)近年来在航空、高铁、核电等安全关键领域得到了广泛应用,因此与这类语言相关的开发工具本身的安全性问题受到高度关注.同步数据流语言到串行命令式语言的代码生成工具是此类工具的典型代表(如Scade)。构造代码生成工具的途径可分为两大类:一类是传统的方法,例如通过大量测试和严格的过程管理等手段来实现;另一类是通过形式化方法,例如直接对编译器本身进行形式化证明,采用翻译确认的方法等。近年来,形式化方法作为构造和验证代码生成工具的关键途径而得到广泛的重视,有望最..转载 2021-02-04 15:49:57 · 1012 阅读 · 0 评论