This paper uses LOTOS to describe the requirement specification of real-time systems and proposes a method for generating software model from formal specifications by establishing a mechanism that translates LOTOS specifications into UML-RT models. Finally, this paper illustrates how to use the method when modeling real-time software. The UML-RT models generated by this method can increase the reliability for designing the software for real-time systems.