摘要
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。
The system based on rule description method(RDM) is widely used in safety critical field.To ensure its safety and dependability,it is of necessity that the system is verified and validated before it is deployed. This paper provides an overview of different techniques and tools that have been developed for performing verification and validation activities.Then it proposes a simple,efficient and easily automated algorithm which can detect different types of structural errors.A belt transport control system is cited to verify the said approach.
出处
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第5期674-678,共5页
Journal of Hefei University of Technology:Natural Science
基金
安徽省2007年度重点科研计划资助项目(7020303064)
合肥工业大学科学研究发展基金资助项目(070503F)
关键词
规则化描述方法
基于规则的系统
逻辑验证
皮带运输控制系统
rule description method(RDM)
rule-based system
logic verification and validation
belt transport control system