针对约束复杂性的特点，论文对强实时任务的可调度性分析方法进行了扩展和补充。

Since the constraints of tasks are complicated, this thesis extends and complements the schedulability analysis methods for hard real-time tasks.

youdao

提出一种基于实时统一建模语言对实时系统可调度性进行分析的方法。

One method for real-time system schedulability analysis is presented based on real-time unified modeling language.

youdao

基于对业务活动的可调度性分析，提出了时序一致性验证方法，确保工作流执行中活动之间时间交互的安全性。

Based on analyzing the schedulability of business activities, a time consistency verification method is put forward to assure safe time interactions between activities during workflow executions.

youdao