近日,中国科学院软件研究所科研人员针对信息物理融合系统的形式化建:脱橹,提出了基于扩展体系结构分析与设计语言的建模与验证方法,为高速列车、车联网等安全攸关系统的设计与验证提供了新思路。安全攸关信息物理融合系统是复杂的嵌入式系统。传统的建模方法往往难以同时兼顾软件功能、物理环境和系统架构三个维度...
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved 京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号 页面更新时间: 2026-06-12 05:40