近日，中国科学院软件研究所提出了基于扩展体系结构分析与设计语言的建模与验证方法，支持在形式模型层面对信息物理融合系统进行仿真与验证。经实验表明，该方法能有效观察不同总线配置下的系统行为差异，为系统优化提供依据。同时，研究还验证了系统中紧急控制组件的安全性。http://t.cn/A6kPEV9G ​