Abstract: CBSE（Component-Based Software Engineering） is a new method of the many development of the embedded software. The paper gives a modelling approach of embedded real-time software, using RT-UML^＊ and LTLC. The model describes adequately embedded software pro

Key words: Embedded real-time software, CBSE, Model, RT-UML^＊ , LTLC