
Formal models for information used in system diagnosis are defined. As part of the AI-ESTATE set of standards, this standard includes several models that form the basis for a format to facilitate exchange of persistent diagnostic information between two reasoners, and also provides a formal typing system for the services defined in the AI-ESTATE service specification.
- Sponsor Committee
- SASB/SCC20 - SCC20 - Test and Diagnosis for Electronic Systems
Learn More - Status
- Superseded Standard
- Board Approval
- 1997-03-20
- History
-
- Published:
- 1997-09-05
Working Group Details
- Society
- IEEE-SASB Coordinating Committees
- Sponsor Committee
- SASB/SCC20 - SCC20 - Test and Diagnosis for Electronic Systems
Learn More
No Active Projects
No Active Standards
No Superseded Standards
No Inactive-Withdrawn Standards
No Inactive-Reserved Standards