Abstract: Embedded systems are the devices that include a programmable computer but are not itself a general-purpose computer. The reliability of modem embedded system mainly depends on the embedded softwares which are becoming more and more complicated. This paper

Key words: Embedded software, Embedded system, Embedded modeling, Real-time software