This paper proposes a double extension to the UML 2.0 new notation, for 
Real-Time Applications, using the Temporal-Assertion Components of the 
Arts'Codes method (Applicative Real-Time Systems based on Component Design), 
by adding :
- Real-Time Components for an architectural design,
- and Temporal-assertions (temporal extended-OCL for an a priori validation 
  of the design and for the verification at the run-time.
The Arts'Codes components describe the expected properties at run time 
(Assertion-Guards) and at the completion of an application (Goals to fulfill).
They are executed in parallel and can communicate. These Arts'Codes Components
are proposed as synchronous parallel subsystems, which are described in the 
form of a hierarchical homothetic diagram. They can be viewed as an extension 
of the UML active objects, by:
- adding Temporal-assertions that define the Goals of the component (a priori 
  rules defining the properties it has to fulfill at the end of its work),
- adding Temporal-assertions that define the Assertion-Guards (Exception 
  rules defining the verifications to test during its work, and what to do 
  in case of illfunctioning),
- adding interface mechanisms which allow communication with other parallel 
  components,
- using the already existing OO UML data-attributes, function-methods and a 
  'run' manager-function (active-behavior method) .
The hierarchy of components facilitates the validation of the whole system: 
each component has its own assertionproperties to fulfill (goals and 
run-time-guards), and the property of the main component (the applicative 
system) is a composition of the properties of all the subcomponents (so 
allowing the validation of the whole designed system). This extension is 
described using a case study.