Master thesis. This project is organized according to the thuthesis template, except that all Uppaal models are in path /model.
##Models
| File | Description |
|---|---|
| 614.xml | 614项目模型 |
| 614.q | 614项目模型的查询 |
| Interrupt_basic.xml | 基本中断模型 |
| Interrupt_section.xml | 分段中断模型 |
| Interrupt_reentry.xml | 重入中断模型 |