This paper deals with the definition of a UML profile addressing software critical applications. This profile is implemented in the context of the HIDOORS project. It is based on the one hand on the OMG standard profile "UML Profile for Schedulability, Performance and Time" and on the other hand on the ARINC 653