Time model discusses time and time-related mechanism frame, which is applicable in modeling of real-timesoftwaresystem.
时间模型讨论适合实时软件系统建模的时间及时间相关机制的总体架构，为性能分析建立了定量分析的标准。
2
The subsystems, enviroment, performance and development of the system are explained, and the common problems about real-timesoftwaresystem arc also described.
文章还就一般的安全监测软件系统的有关问题进行了论述。
3
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-timesoftwaresystem.