Abstract: The reabtime of distributed real-time systems can be modeled by aspect-oriented software design methods, and separated into deterministic timing sub-aspect, undeterministic timing sub-aspect and fuzzy timing sub-aspect further. According to the aspect-ori

Key words: Aspect-oriented software design, Formal method, Timed automata, Fuzzy-timing Petri nets, Stochastic and real-time temporal logic, Reabtime system