论文部分内容阅读
针对时间抽象状态机(TASM)存在一定的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及“%”,“&”,“|”,“^”,“>>”和“<<”等运算符,定义扩展后TASM的语法和语义,并采用扩展后的TASM为实际的实时嵌入式软件需求建模。实验验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。