近日，中国科学院软件研究所科研人员针对信息物理融合系统的形式化建模和验证，提出了基于扩展体系结构分析与设计语言的建模与验证方法，为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。
安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度，导致系统设计存在潜在风险。在众多架构型建模语言中，体系结构分析与设计语言表现得最为出色。然而，体系结构分析与设计语言擅长描述系统架构和硬件平台，却难以准确描述系统的软件功能和物理环境。
该研究为实现信息物理融合系统“物理-软件-硬件”三层架构的统一建模，扩展了应用于实时嵌入式系统的体系结构分析与设计语言，设计了Hybrid Annex附件，使体系结构分析与设计语言能够准确描述离散的软件功能、连续的物理变化及二者的交互过程；建立了从扩展体系结构分析与设计语言模型到形式化模型混成通信顺序进程的自动转换框架，支持在形式模型层面对信息物理融合系统进行仿真与验证。
进一步，该研究采用扩展的体系结构分析与设计语言为一个汽车自动巡航系统建模，通过构建包含物理行为层、软件功能层和硬件平台层的三层模型，可实现系统行为的仿真和验证。实验表明，该方法能够有效观察不同总线配置下的系统行为差异，为系统优化提供依据。同时，研究还利用基于混成霍尔逻辑的定理证明工具，验证了系统中紧急控制组件的安全性。
相关研究成果发表在ACM TOSEM上。
论文链接
汽车自动巡航控制系统的扩展体系结构分析与设计语言架构图
汽车在不同总线配置下的行车差异对比
交变磁性是近年来提出的第三类基本磁相。交变磁性既有反铁磁体的零净磁场，又具有铁磁体的自旋劈裂现象。通常，两者被认为是不相容的。交变磁性兼具铁磁性和反铁磁性的优势，为制造自旋电子器件带来了新突破口，在磁存 本报9月30日综合消息 75载砥砺奋进，75载凯歌前行，75载春华秋实。在中华人民共和国75周年华诞到来之际，各地各校干部师生满怀喜悦和豪情，通过丰富多彩、形式多样的活动，共享荣光、共庆华诞，为全面推进教育强国建设积蓄前 新华社利马/西安11月13日电 “天涯若比邻”——这句唐朝诗人王勃的千古名句，既是8年前秘鲁国家考古人类学历史博物馆“华夏瑰宝展”的主题，也是多年来中国和秘鲁传统友好、民心相亲的生动写照 中国教育报-中国教育新闻网讯（记者 魏海政 通讯员 唐立宁）近日，山东省优秀课程设计研讨会在济宁市召开，会议旨在落实教育部《基础教育课程教学改革深化行动方案》，促进国家课程方案向学校课程实施 编者按：博士研究生教育是国民教育的最高层次，是国家创新体系的关键支撑。近日，中共中央办公厅、国务院办公厅印发《关于加快推动博士研究生教育高质量发展的意见》，对持续深化博士研究生教育综合 中国教育报-中国教育新闻网讯（记者 欧媚）11月11日，北京工业职业技术学院职教出海研究中心成立仪式暨《职业中文教育学刊》学术研讨会举行。该中心将围绕推动“一带一路”教育共同体建设，探索与企 。本文链接：研究提出面向信息物理融合系统的扩展体系结构分析与设计语言建模和分析方法http://www.sushuapos.com/show-12-1412-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 黑洞双星X射线光变起源研究获进展
下一篇： 滑坡堰塞坝形成与溃决机理研究取得进展