检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《信息系统工程》2025年第3期23-26,共4页
摘 要:智能网联汽车技术促使车载软件架构向微服务架构转型,然而设计存在专用工具稀缺、代码生成与仿真验证脱节等问题。推出融合DDD的可视化设计工具,扩展SoaML元模型,构建能标注ASIL和实时性约束的车载服务建模语言,解决传统工具适配问题。同时设计面向国产车载OS的代码生成框架,用双向绑定技术实现模型与代码自动同步。还基于时间自动机理论开发仿真引擎,进行端到端延迟分析和故障注入验证。该工具通过“建模—生成—验证”闭环设计,降低设计复杂性,为车企原型系统提供全链路支持。
关 键 词:车载微服务 可视化建模 领域驱动设计 时间自动机
分 类 号:TP3[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.15.1.201