信息物理融合系统(Cyber-Physical System,CPS)通过各种传感器将信息世界与物理世界深度融合起来,改变了人与物理世界的交互方式。......

形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AAD......

为了提高嵌入式软件开发的自动化程度,代码自动生成是一种值得采用的有效方法。在研究体系结构分析与设计语言(AADL)和RTLinux(rea......

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估，对复杂嵌入式系统利用体系结构分析与设计语言（architecture a......

文章在分析了体系结构分析与设计语言AADL和软／硬件协同设计语言SystemC的基础上，基于模型驱动工程MDE的模型转换框架给出了AADL模型......

为实现AADL（体系结构分析与设计语言）对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在......

提出一种顶层设计架构,采取数据驱动的方式,自顶向下、逐步完成针对航空电子互连网络的设计。基于这种架构,给出一种使用SAEAADL规......

信息物理融合系统(Cyber-Physical System,CPS)是一种智能系统,它是将通信、计算与信息控制合为一体的复杂系统,并实现了物理资源......

实时嵌入式系统建模语言一体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言，当AADL构件模型进行组合时，因为一些交互活......

在分布式综合模块化航空电子（DIMA）系统中,采用综合化互连,同时支持时间触发（TT）通信流量和事件触发通信的速率约束（RC）流量。使用体系结......

为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言......

为解决智能交通系统（intelligent transport systems，ITS）的传统建模方法中存在难以解决的复杂问题，如不能对横切关注点进行建模、难以......

虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求......

开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模......