SysML活动图相关论文
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.......
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的......
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之......
CTCS-LDL级列控系统是面向我国西部地区低密度线路的新型列控系统,目前正处于理论探索和实验室仿真阶段。为了降低西部铁路低密度......
如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。......
当前MBSE的研究热点聚焦于系统工程的技术流程领域,而缺乏将早期设计阶段各类工作与技术管理流程工作相结合的研究。但在整个系统......
