As computer systems become increasingly internetworked,Distributed Real-time Embedded (DRE) systemshas became increasingly common and important, achallenging problem faced by researchers and developers ofDRE software is devising and implementing an method thatcan effectively analyze requirements in varying operationalconditions. In this paper, a Hierarchical Distributed RealtimeEmbedded net (HDRE-net) is proposed as softwareanalysis tool. The basic task, function module andcommunication process are modeled by using HDRE-net,thus forming the whole application through the synthesisoperation of Petri net. Time Reachability Graph is adoptedto analyze the correctness of HDRE-net, the basic propertiesof DRE software are also considered. Finally, a specificexample is given to simulate the analysis process, and theresults show that the method can be a good solution toanalyze DRE software.
展开▼