鉴源论坛 · 观模丨基于AUTOSAR的TTCAN通信协议的形式化建模与分析01 AUTOSAR体系架构02 AUTOSAR的TTCAN协议03 基于AUTOSAR的TTCAN协议的形式化建模与分析04 小结
本文针对AUTOSAR的TTCAN协议进行研究，并用Timed CSP（Timed Communication Sequential Processes）形式化语言对其进行建模，通过LTL（linear temporal logic）及断言（Assertion）对TTCAN模型需要满足的性质进行描述，运用模型检验工具PAT完成了对模型的验证。
