DocumentCode
2136469
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
Volume
2
fYear
2008
fDate
13-15 Dec. 2008
Firstpage
217
Lastpage
221
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/FGCN.2008.156
Filename
4734209
Link To Document