DocumentCode
3423100
Title
Correct-ed through construction: a model-based approach to embedded systems reality
Author
Jackson, Ethan K. ; Sztipanovits, Janos
Author_Institution
Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN
fYear
2006
fDate
27-30 March 2006
Lastpage
176
Abstract
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to correct specifications as they are constructed, driving the engineer towards a more correct specification. We also present a concrete specification language based on this methodology
Keywords
embedded systems; formal specification; formal verification; specification languages; systems analysis; embedded systems; model-based approach; specification correction; specification language; Design engineering; Design methodology; Embedded software; Embedded system; Hardware; Nonlinear dynamical systems; Power system modeling; Scalability; Software libraries; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on
Conference_Location
Potsdam
Print_ISBN
0-7695-2546-6
Type
conf
DOI
10.1109/ECBS.2006.32
Filename
1607366
Link To Document