【作者】 吴博； 黄志球； 祝义；

【Author】 Wu Bo Huang ZhiQiu Zhu Yi College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics 210016

【机构】 南京航空航天大学信息科学与技术学院；

【摘要】 实时扩展的Wright语言是一种从行为语义上对Wright语言增加了时间属性的体系结构描述语言。在增强了对系统描述能力的同时,其对系统的检验和推理能力也有了相应的变化。文章针对其在时间特性上的描述变化,分析了实时扩展后的Wright所描述系统的检验规则的变化以及新增的对时间属性的检验规则。更多还原

【Abstract】 Timed extension of Wright is an architecture description language that is added the timed features to Wright on behavior se- mantics of Wright.Despite of the extension of capability on description,the capability of the language on model check and reasoning is also changed. Based on the timed extension of Wright,the changes of validating descriptions and checks on time is analyzed,new cheek descriptions on time like safety and aliveness are proposed.更多还原