By Topic

Object-oriented method for real-time systems based on timed automaton

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
$33 $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

1 Author(s)
S. Yamane ; Dept. of Comput. Sci., Shimane Univ., Japan

It is useful to introduce object-orientation into an analysis and design methodology for real-time systems. We have proposed such an object-oriented methodology for real-time systems, which is integrated with a timed automaton, but, using the proposed method, the verification cost is very large. In this paper, we focus on the verification of a dynamic model and propose two effective verification methods as follows. (1) In the explicit enumeration method, we represent state transitions as list structures. (2) In the implicit enumeration method, we represent state transitions as BDDs (binary decision diagrams). Using a depth-first search algorithm (in case 1) or inverse image computation (in case 2), we search for SCCs (strongly connected components) satisfying the acceptance conditions and test whether the SCCs are reachable from the initial states. At the same time, we check the timing constraints. We have developed an actual verification system and shown our method to be effective

Published in:

Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on

Date of Conference:

1-2 Feb 1996