IEEE 1232-2010 en Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE)《适合所有试验环境的人工智能交换和服务的标准(AI-ESTATE)》.pdf

《IEEE 1232-2010 en Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE)《适合所有试验环境的人工智能交换和服务的标准(AI-ESTATE)》.pdf》由会员分享，可在线阅读，更多相关《IEEE 1232-2010 en Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE)《适合所有试验环境的人工智能交换和服务的标准(AI-ESTATE)》.pdf（172页珍藏版）》请在麦多课文档分享上搜索。

1、 IEC 62243 Edition 2.0 2012-06 INTERNATIONAL STANDARD Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE) IEC 62243:2012(E)IEEE Std1232-2010IEEE Std 1232THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright 2010 IEEE All rights reserved. IEEE is a registered trademark i

2、n the U.S. Patent 35.060 PRICE CODEISBN 978-2-83220-102-2Warning! Make sure that you obtained this publication from an authorized distributor. IEEE Std 1232IEC 62243:2012 ii IEEE Std 1232-2010 Published by IEC under license from IEEE. 2010 IEEE. All rights reserved. Contents 1. Overview 1 1.1 Scope

3、. 2 1.2 Purpose 2 1.3 Conventions used in this document . 3 1.4 IEEE download site . 3 2. Normative references 3 3. Definitions, acronyms, and abbreviations. 4 3.1 Definitions . 4 3.2 Acronyms and abbreviations . 5 4. Description of AI-ESTATE 5 4.1 AI-ESTATE architecture . 5 4.2 Binding strategy . 8

4、 5. AI-ESTATE usage 9 5.1 Interchange format . 9 5.2 Extensibility . 11 5.3 Conformance . 11 6. Models 12 6.1 AI_ESTATE_CEM 12 6.2 AI_ESTATE_BNM . 55 6.3 AI_ESTATE_DIM 64 6.4 AI_ESTATE_DLM . 68 6.5 AI_ESTATE_FTM 72 6.6 AI_ESTATE_DCM . 77 7. Reasoner manipulation services . 92 7.1 Service order depen

5、dence 92 7.2 Status codes . 95 7.3 Data types for the reasoner manipulation services . 95 7.4 Required services . 110 7.5 Optional services . 132 Annex A (informative) Bibliography . 136 Annex B (informative) Overview of EXPRESS . 138 Annex C (informative) Overview of ISO 10303-28:2007 145 Annex D (

6、informative) Overview of ISO 10303-21:1994 152 Annex E (normative) Information object registration 157 Annex F (normative) Universal resource names for derived XML schemas 158 Annex G (informative) IEEE List of Participants. 159 IEC 62243:2012 IEEE Std 1232-2010 iii Published by IEC under license fr

7、om IEEE. 2010 IEEE. All rights reserved. Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE) FOREWORD 1) The International Electrotechnical Commission (IEC) is a worldwide organization for standardization comprising all national electrotechnical committees (IEC Nati

8、onal Committees). The object of IEC is to promote international co-operation on all questions concerning standardization in the electrical and electronic fields. To this end and in addition to other activities, IEC publishes International Standards, Technical Specifications, Technical Reports, Publi

9、cly Available Specifications (PAS) and Guides (hereafter referred to as “IEC Publication(s)”). Their preparation is entrusted to technical committees; any IEC National Committee interested in the subject dealt with may participate in this preparatory work. International, governmental and non-governm

10、ental organizations liaising with the IEC also participate in this preparation. IEEE Standards documents are developed within IEEE Societies and Standards Coordinating Committees of the IEEE Standards Association (IEEE-SA) Standards Board. IEEE develops its standards through a consensus development

11、process, which brings together volunteers representing varied viewpoints and interests to achieve the final product. Volunteers are not necessarily members of IEEE and serve without compensation. While IEEE administers the process and establishes rules to promote fairness in the consensus developmen

12、t process, IEEE does not independently evaluate, test, or verify the accuracy of any of the information contained in its standards. Use of IEEE Standards documents is wholly voluntary. IEEE documents are made available for use subject to important notices and legal disclaimers (see http:/standards.i

13、eee.org/IPR/disclaimers.html for more information). IEC collaborates closely with IEEE in accordance with conditions determined by agreement between the two organizations. 2) The formal decisions of IEC on technical matters express, as nearly as possible, an international consensus of opinion on the

14、 relevant subjects since each technical committee has representation from all interested IEC National Committees. The formal decisions of IEEE on technical matters, once consensus within IEEE Societies and Standards Coordinating Committees has been reached, is determined by a balanced ballot of mate

15、rially interested parties who indicate interest in reviewing the proposed standard. Final approval of the IEEE standards document is given by the IEEE Standards Association (IEEE-SA) Standards Board. 3) IEC/IEEE Publications have the form of recommendations for international use and are accepted by

16、IEC National Committees/IEEE Societies in that sense. While all reasonable efforts are made to ensure that the technical content of IEC/IEEE Publications is accurate, IEC or IEEE cannot be held responsible for the way in which they are used or for any misinterpretation by any end user. 4) In order t

17、o promote international uniformity, IEC National Committees undertake to apply IEC Publications (including IEC/IEEE Publications) transparently to the maximum extent possible in their national and regional publications. Any divergence between any IEC/IEEE Publication and the corresponding national o

18、r regional publication shall be clearly indicated in the latter. 5) IEC and IEEE do not provide any attestation of conformity. Independent certification bodies provide conformity assessment services and, in some areas, access to IEC marks of conformity. IEC and IEEE are not responsible for any servi

19、ces carried out by independent certification bodies. 6) All users should ensure that they have the latest edition of this publication. 7) No liability shall attach to IEC or IEEE or their directors, employees, servants or agents including individual experts and members of technical committees and IE

20、C National Committees, or volunteers of IEEE Societies and the Standards Coordinating Committees of the IEEE Standards Association (IEEE-SA) Standards Board, for any personal injury, property damage or other damage of any nature whatsoever, whether direct or indirect, or for costs (including legal f

21、ees) and expenses arising out of the publication, use of, or reliance upon, this IEC/IEEE Publication or any other IEC or IEEE Publications. 8) Attention is drawn to the normative references cited in this publication. Use of the referenced publications is indispensable for the correct application of

22、 this publication. 9) Attention is drawn to the possibility that implementation of this IEC/IEEE Publication may require use of material covered by patent rights. By publication of this standard, no position is taken with respect to the existence or validity of any patent rights in connection therew

23、ith. IEC or IEEE shall not be held responsible for identifying Essential Patent Claims for which a license may be required, for conducting inquiries into the legal validity or scope of Patent Claims or determining whether any licensing terms or conditions provided in connection with submission of a

24、Letter of Assurance, if any, or in any licensing agreements are reasonable or non-discriminatory. Users of this standard are expressly advised that determination of the validity of any patent rights, and the risk of infringement of such rights, is entirely their own responsibility. IEC 62243:2012 iv

25、 IEEE Std 1232-2010 Published by IEC under license from IEEE. 2010 IEEE. All rights reserved. International Standard IEC 62243/ IEEE Std 1232-2010 has been processed through IEC technical committee 93: Design automation, under the IEC/IEEE Dual Logo Agreement. This second edition cancels and replace

26、s the first edition, published in 2005, and constitutes a technical revision. The text of this standard is based on the following documents: IEEE Std FDIS Report on voting IEEE Std 1232-2010 93/320/FDIS 93/327/RVDFull information on the voting for the approval of this standard can be found in the re

27、port on voting indicated in the above table. The IEC Technical Committee and IEEE Technical Committee have decided that the contents of this publication will remain unchanged until the stability date indicated on the IEC web site under “http:/webstore.iec.ch“ in the data related to the specific publ

28、ication. At this date, the publication will be g120 reconfirmed, g120 withdrawn, g120 replaced by a revised edition, or g120 amended. IEC 62243:2012 IEEE Std 1232-2010 v Published by IEC under license from IEEE. 2010 IEEE. All rights reserved. IEEE Std 1232TM-2010 (Revision of IEEE Std 1232-2002) IE

29、EE Standard for Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE) Sponsor IEEE Standards Coordinating Committee 20 on Test and Diagnosis for Electronic Systems Approved 8 December 2010 IEEE-SA Standards Board IEC 62243:2012 vi IEEE Std 1232-2010 Published by IEC u

30、nder license from IEEE. 2010 IEEE. All rights reserved. Abstract: Data interchange and standard software services for test and diagnostic environments are defined by Artificial Intelligence Exchange and Service Tie to All Test Environments (AI-ESTATE). The purpose of AI-ESTATE is to standardize inte

31、rfaces for functional elements of an intelligent diagnostic reasoner and representations of diagnostic knowledge and data for use by such diagnostic reasoners. Formal information models are defined to form the basis for a format to facilitate exchange of persistent diagnostic information between two

32、 reasoners and also to provide a formal typing system for diagnostic services. The services to control a diagnostic reasoned are defined by this standard. Keywords: AI-ESTATE, Bayesian Network, diagnosis, diagnostic inference, diagnostic model, diagnostic services, D-matrix, fault tree, IEEE 1232, k

33、nowledge exchange, system test g120IEEE is a registered trademark in the U.S. Patent however, such systems may not be portable. A diagnostic model can be moved from one AI-ESTATE implementation to another by translating it into one of two interchange formats described in the specification. Another A

34、I-ESTATE implementation can then utilize this information as a complete package by translating the data and knowledge from the interchange format to its own internal form. The translation step is not a requirement; an AI-ESTATE implementation may use the interchange format or its own internal form.

35、Software specifications defined in this standard provide a consistent means of communicating with diagnostic reasoners through a well-defined set of services. This supports interoperability of diagnostic reasoner with other elements of a test environment with no effect on the other elements of the s

36、ystem. This standard also provides an extension mechanism to allow the inclusion of new diagnostic technology outside the scope of the Al-ESTATE specification. An overview of EXPRESS can be found in Annex B. Overviews of the ISO 10303-28:20071and ISO 10303-21:1994 exchange formats can be found in An

37、nex C and Annex D, respectively. 1.1 Scope The AI-ESTATE standard defines formal specifications for supporting system diagnosis. These specifications support the exchange and processing of diagnostic information and the control of diagnostic processes. Diagnostic processes include, but are not limit

38、ed to, testability analysis, diagnosability assessment, diagnostic reasoning, maintenance support, and diagnostic maturation. 1.2 Purpose The AI-ESTATE standard provides formal models of diagnostic information to ensure unambiguous access to an understanding of the information supporting system test

39、ing and diagnosis. The standard defines formal information models and software services specific to several different types of diagnostic reasoners. 1Information on references can be found in Clause 2. IEC 62243:2012 IEEE Std 1232-2010 3 Published by IEC under license from IEEE. 2010 IEEE. All right

40、s reserved. The purpose is to provide semantically sound definitions of diagnostic knowledge and to specify software exchange and service interfaces that are consistent with the state of the practice in modern test and diagnostic systems (e.g., the use of eXtensible Markup Language XML and web servi

41、ces). 1.3 Conventions used in this document This standard specifies information models, exchange formats, and services using the EXPRESS language and uses the following conventions in their presentation. Information models are provided in the form of EXPRESS schemas. Exchange files provide the insta

42、nces of those schemas for a particular diagnostic model. Note that “information model” and “diagnostic model” use the word “model” in subtly different ways. In an attempt to resolve this confusion, in this document, information models will be referred to as EXPRESS schemas and instances of a schema

43、corresponding to a diagnostic model will be referred to as instances (e.g., Dynamic Context Part 21 instance). All specifications in the EXPRESS and XML languages are given in the Courier New type font. The EXPRESS schemas include comment delimiters “(*” and “*)”. Each entity of each EXPRESS schema

44、is presented in a separate subclause. Within a schema, subclauses are listed in alphabetical order by constants, types, enumerated types, select types, entities, and then functions. The subclause structure begins with the actual EXPRESS specification; then, each attribute of the entity is described

45、below the attribute definition heading. If any constraints have been specified, these are described below the formal propositions heading. This standard uses the vocabulary and definitions of relevant IEEE standards. In the event of conflict between this standard and a related standard such as IEEE

46、Std 1636TM-2009 B5,2the standard as it applies to the information being produced shall take precedence. In the event of any conflict between the models and AI-ESTATE definitions (Clause 3), the models lexical definitions shall take precedence 1.4 IEEE download site The schemas and examples that acco

47、mpany this standard are available on the Internet at http:/standards.ieee.org/downloads/1232/1232-2010. 2. Normative references The following referenced documents are indispensable for the application of this document (i.e., they must be understood and used, so each referenced document is cited in t

48、ext and its relationship to this document is explained). For dated references, only the edition cited applies. For undated references, the latest edition of the referenced document (including any amendments or corrigenda) applies. Internet Engineering Task Force (IETF) RFC 2396 (August 1998), Unifor

49、m Resource Identifiers (URI): Generic Syntax. cited 2004-03-15.3,42The numbers in brackets correspond to those of the bibliography in Annex A. 3IETF publications are available from the Internet Engineering Task Force, IETF Secretariat, c/o Association Management Solutions, LLC (AMS), 48377 Fremont Boulevard, Suite 117, Fremont, CA 94538, USA (http:/www.ietf.org). 4This reference can be downloaded at http:/www.ietf.org/rfc/rfc2396.txt. IEC 62243:2012 4 IEEE Std 1232-2010 Published by IEC under license from IEEE. 2010 IEEE. All rights res