首页   按字顺浏览 期刊浏览 卷期浏览 Microprocessor systems diagnosis using a time-range approach
Microprocessor systems diagnosis using a time-range approach

 

作者: K.P.Lam,  

 

期刊: IEE Proceedings E (Computers and Digital Techniques)  (IET Available online 1993)
卷期: Volume 140, issue 1  

页码: 1-9

 

年代: 1993

 

DOI:10.1049/ip-e.1993.0001

 

出版商: IEE

 

数据来源: IET

 

摘要:

In many aspects of microprocessor systems design and diagnosis, temporal reasoning of a sequence of event changes occurring at imprecisely known time instants is often required. By combining the change-based and time-based approaches of temporal logics, the concept of time range is proposed as a key component of an enhanced time structure which captures the notion of time impreciseness in event occurrence. A practical MC68000 CPU-memory interface design problem is used as an extensive example to illustrate the various temporal reasoning techniques derived from this new time structure. Efficient methods for time referencing, constraint satisfaction and propagation of time ranges have been developed for embedding domain knowledge in a deep-level constraint model. It is also shown how different shallow rules (regarded as expert's rule of thumb) for system diagnosis can be generated and explained through an inference process of the constraint model.

 

点击下载:  PDF (1317KB)



返 回