Prototyping for real-time system based on enhanced Petri net and production system

• Main Authors: Kao,Hsiu-Che, 高脩哲
• Other Authors: Hsu,Ching-Chi
• Format: Others
• Language: zh-TW
• Published: 1993
• Online Access: http://ndltd.ncl.edu.tw/handle/99419413275227505049

碩士 === 國立臺灣大學 === 資訊工程研究所 === 81 === Real-time computing systems have appeared more widely in recent times. Based upon clear and manageable specification of timing constraints structure in real-time systems development, the quality of the specification of timing constraints can be examined during software development. In this paper, we propose an Enhanced Time Petri Net (ETPN) to model the timing constraints in both hard and soft real-time system. The model ETPN can describe the real systems more possibly and is associated a set of systematic analysis methods to find the inconsistency among timing constraints in the model. Our prototyping strategy is to use ETPN as a modeling tool and the text description of ETPN as the prototype. We choose AI production system as our environment which is as an simulation tool that can help us to examine the behavior of specification through the assistance of executing the prototype. Using the automatic rule translator to transform the prototype description to a set of rules and data that are executed through the inference engine is the main method to analyze the specification. In this paper, we propose a systematic specification and analysis method which combines with the concept of prototyping based on a production system, RTworks, to deal with the special properties of time-critical application. In this work, we use two demonstrating examples : rail-road crossing and telephone system that will show the usage and the effectiveness of the prototyping method.