QQ客服 官方微博 反馈留言

	Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems
	Lv, J. H. ; Sun, B. ; Ma, S. L. ; Li, X. J.
	2015
关键词	trustworthiness automatic test equipment collaboration operational semantics SCS (Safety Critical System)
英文摘要	The trustworthiness of safety critical system (SCS) is very important. To assess their trustworthiness depends on data from test. In order to ensure the reliability and validity of test data, especially for such complex SCS, development of test languages is inevitable trend for automatic test of SCS. As general test language for SCS should be independent of specific equipment, in the paper types and syntax of expressions of equipment collaboration are abstracted, evaluating rules for these expressions are designed, and related properties are proved so that to support the generality of SCS test languages.; CPCI-S(ISTP); 658-661; 15
语种	英语
出处	PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL, AUTOMATION AND MECHANICAL ENGINEERING (EAME 2015)
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/424389]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Lv, J. H.,Sun, B.,Ma, S. L.,et al. Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。