| Summary: | 碩士 === 國立臺灣大學 === 資訊工程研究所 === 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.
|
|---|
