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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论