By Topic

A knowledge-based approach for worst-case timing analysis of microprocessor systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Yuen, S.M. ; Dept. of Syst. Eng. & Eng. Manage., Chinese Univ. of Hong Kong, Shatin, Hong Kong ; Lam, K.P.

A diagnostic system for microprocessor systems is being designed and developed. In microprocessor system diagnosis, temporal reasoning of event changes occurring at imprecisely known time instants is an important issue. The concept of time range has been proposed to capture the notion of time imprecision in event occurrence. According to this concept, efficient temporal reasoning techniques for time referencing, constraint satisfaction and propagation of time ranges have been developed for embedding domain knowledge in a deep level constraint model. The imprecision in these event contributes to a certain degree of uncertainty in the correctness of a microprocessor system operation. The proposed system performs worst case timing analysis. In particular, for the asynchronous bus operation of the MC68000 microprocessor, the sequence of events during a read cycle is traced through an inference process to determine if any constraint in the model is violated. Satisfactory results have been obtained in a practical implementation of the system using the CLIPS expert system shell

Published in:

Computer Software and Applications Conference, 1995. COMPSAC 95. Proceedings., Nineteenth Annual International

Date of Conference:

9-11 Aug 1995