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
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;
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
DOI :
10.1109/ECBS.2006.32
