【TTool學習筆記】2：TTool中的AVATAR建模方法(設計和驗證)

1 塊圖(Block Diagram) 塊圖通過New Design添加，描述的是系統的主要結構。 其中，建模元素包括： Security pragmas，用規約語言寫信息安全性質的地方 Safety property (UPPAAL)，用規約語言寫功能安全性質的地方，用的是UPPAAL的方法 Performance property，用規約語言寫和性能有關的性質的地方 Block，塊圖中的塊，可

>>阅读原文<<