Title :
On Designing and Verifying Smart Home Embedded Software Model Based on AADL
Author :
Song, Wei ; Dong, Yun-wei
Author_Institution :
Coll. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
This paper introduces an embedded system of smart home development with AADL in, which is useful to analyze requirement, design software model, and verify relations between hardware and software in an embedded system. AADL is very convenient and scaleable to manage home equipment in smart home system, and enhance the developing quality of embedded software.
Keywords :
embedded systems; home automation; home computing; program verification; software quality; AADL; embedded software model; smart home; Computer architecture; Design methodology; Embedded software; Embedded system; Hardware; Smart homes; Software design; Software libraries; Software safety; Software systems; AADL; Embedded Software; Model Designing and Verifying; Smart Home;
Conference_Titel :
Future Generation Communication and Networking, 2008. FGCN '08. Second International Conference on
Conference_Location :
Hainan Island
Print_ISBN :
978-0-7695-3431-2
DOI :
10.1109/FGCN.2008.156
