As computer systems become increasingly internetworked, Distributed Real-time Embedded (DRE ) software is becoming increasingly common and important, a challenging problem faced by researchers and developers of DRE software is how to devise and implement a method that can effectively analyze requirements in varying operational conditions. In this paper, a Distributed Real-time Embedded net (DREN) is proposed as software design specification modeling tool. The basic tasks, function module and communication process are modeled by using DREN, thus forming the entire application by making use of Petri net's synthesis operation. Time Reachability Graph is adopted to analyze the correctness of DREN model, the basic properties of DRE system are also considered. Finally, a specific example is given to simulate the analytical process, the results show that the method can be a good solution to analyze DRE software.