Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems

DOI

10.2991/eame-15.2015.179How to use a DOI?

Keywords

trustworthiness; automatic test; equipment collaboration; operational semantics; SCS (Safety Critical System)

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - J.H. Lv
AU  - B. Sun
AU  - S.L. Ma
AU  - X.J. Li
PY  - 2015/07
DA  - 2015/07
TI  - Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems
BT  - Proceedings of the 2015 International Conference on Electrical, Automation and Mechanical Engineering
PB  - Atlantis Press
SP  - 652
EP  - 655
SN  - 2352-5401
UR  - https://doi.org/10.2991/eame-15.2015.179
DO  - 10.2991/eame-15.2015.179
ID  - Lv2015/07
ER  -