Paper Info
Title
On Designing and Verifying Smart Home Embedded Software Model Based on AADL
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.
Year
DOI
Venue
2008
10.1109/FGCN.2008.156
FGCN (2)
Keywords
Field
DocType
smart home development,verifying smart home,smart home,home equipment,design software model,software quality,model designing and verifying,software model,home automation,embedded software,embedded software model,embedded system,smart home system,home computing,embedded systems,program verification,aadl,hardware,unified modeling language,process control
Avionics software,Embedded software,Unified Modeling Language,Computer science,Home automation,Software,Architecture Analysis & Design Language,Process control,Software quality,Embedded system
Conference
Volume
ISBN
Citations 
2
978-0-7695-3431-2
2
PageRank 
References 
Authors
0.58
4
2
Name
Order
Citations
PageRank
Wei Song111315.51
Yunwei Dong27320.11