近日，中国科学院软件研究所科研人员针对信息物理融合系统的形式化建模和验证，提出了基于扩展体系结构分析与设计语言的建模与验证方法，为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。
安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度，导致系统设计存在潜在风险。在众多架构型建模语言中，体系结构分析与设计语言表现得最为出色。然而，体系结构分析与设计语言擅长描述系统架构和硬件平台，却难以准确描述系统的软件功能和物理环境。
该研究为实现信息物理融合系统“物理-软件-硬件”三层架构的统一建模，扩展了应用于实时嵌入式系统的体系结构分析与设计语言，设计了Hybrid Annex附件，使体系结构分析与设计语言能够准确描述离散的软件功能、连续的物理变化及二者的交互过程；建立了从扩展体系结构分析与设计语言模型到形式化模型混成通信顺序进程的自动转换框架，支持在形式模型层面对信息物理融合系统进行仿真与验证。
进一步，该研究采用扩展的体系结构分析与设计语言为一个汽车自动巡航系统建模，通过构建包含物理行为层、软件功能层和硬件平台层的三层模型，可实现系统行为的仿真和验证。实验表明，该方法能够有效观察不同总线配置下的系统行为差异，为系统优化提供依据。同时，研究还利用基于混成霍尔逻辑的定理证明工具，验证了系统中紧急控制组件的安全性。
相关研究成果发表在ACM TOSEM上。
论文链接
汽车自动巡航控制系统的扩展体系结构分析与设计语言架构图
汽车在不同总线配置下的行车差异对比
11月6日上午，淮北师范大学在滨湖校区行政楼309会议室召开博士点培育建设专题会。校领导毕明福、曹灯明出席会议，校党委常 中国教育报-中国教育新闻网讯（记者 刘玉）记者近日获悉，辽宁在全省14个市共设计了46条精品研学路线，并由鲁迅美术学院全国高校黄大年式教师团队设计制作了14张研学路线图，以此进一步丰富中小学研学 中国教育报-中国教育新闻网讯（记者 陈欣然）“学校开设的‘简历门诊’对我太有帮助了！老师一对一‘把脉’，既让我看清短板，也明白了如何突出自己的竞争优势。”天津职业大学生物与环境工程学院2025 《中华人民共和国学前教育法》以“推进学前教育普及普惠安全优质发展”为主线，深刻、全面、具体阐述了落实政府发展学前教育责任的法律规定和实现路径，对于加快学前教育高质量发展、实现现代化 中国教育新闻网讯（记者 焦小新）近日，由广东以色列理工学院（以下简称“广以”）、广东省能量转换材料和技术重点实验室主办的“2024先进材料与柔性电子国际研讨会”成功举办。世界柔性电子领域知名 ◎摘 要 发挥高等教育在教育强国建设中的龙头作用，需要完善的高等教育财政政策作为坚实的保障。健全高等教育财政政策，要加大财政投入，建立多元化财政投资机制；调整转移支付体系，增强转移支付的 。本文链接：研究提出面向信息物理融合系统的扩展体系结构分析与设计语言建模和分析方法http://www.sushuapos.com/show-12-1412-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 黑洞双星X射线光变起源研究获进展
下一篇： 滑坡堰塞坝形成与溃决机理研究取得进展