Modeling method for discrete event system using event flow chart

A computer-readable storage medium for recording a program for performing a method for modelling a Discrete Event System in a modelling system provided with a processor, the method including the steps of:

• a) receiving a user-defined requirement and specification of the Discrete Event System;
• b) extracting events and actions from the requirement and specification and storing the events and actions;
• c) generating a tree-type data structure including a start node;
• d) searching the stored events to determine existence of allowable events at an event represented by a leaf node, which quits the generation of the data structure when there is no allowable event;
• e) when there is an allowable event in the stored events, generating a child node of the leaf node, the child node representing the allowable event;
• f) iterating the step of searcliing and the step of generating a child node for all the leaf nodes of the data structure;
• and
• g) generating a flag according to whether or not the event represented by the leaf node is an interrupt event.