搜索筛选:
搜索耗时3.6175秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：冯思喆,,
来源：南京航空航天大学 年份：2020
安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AADL(Architecture Analysis and Design Language)的模型驱动开发方法在安全关键软件领域得到广泛应用。基于AADL模型的代码自动生成......
[期刊论文] 作者：冯思喆,杨志斌,薛垒,
来源：计算机与现代化 年份：2020
模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件...
相关搜索：
