OSATE相关论文
使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模......
新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以......
分析无人机导航系统的功能特点，把其分为三个子系统：测量系统、计算系统、执行系统。采用AADL对整个系统进行建模，使用OSATE工具，定义......
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息......
传统的嵌入式软件开发过程,大多数是基于代码传统的嵌入式开发环境。这样缺乏对整个系统的体系结构的精确预算。虽然单个功能模块......
