基于AADL的智能家庭嵌入式软件模型设计与验证

摘要：

本文提出了一种使用AADL建模工具对智能家庭嵌入式系统进行需求分析、模型设计、分析与验证的方法。该方法基于AADL对智能家庭嵌入式软件、软件与硬件的交互关系建模,并对系统模型进行验证、分析,进而设计和开发智能家庭嵌入式软件系统,实现对整个有源家居电器设备的智能化控制和网络化管理,提高嵌入式软件开发质量。

关键词： 智能家庭 嵌入式软件 模型设计 建模工具

作者: 董云卫 宋伟 李秀萍 张琛雨

作者单位: 西北工业大学 计算机学院 陕西 西安 710072

会议类型: 国内会议

会议名称: 2008全国软件与应用学术会议(NASAC”08)

会议地点: 广州

会议语种:中文

页码: 119-123

在线出版日期: 2008-11-11（万方平台首次上网日期，不代表论文的发表时间）