By Topic

Using 'parallel automaton' as a single notation to specify, design and control small computer based 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
$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

2 Author(s)
H. G. Mendelbaum ; Jerusalem Coll. of Technol., Israel ; R. B. Yehezkael

Presents a methodology for using a 'parallel automaton' to set up the requirements, to specify and to execute small computer-based systems (CBSs). A parallel automaton is an extended form of the Mealy machine. It handles a finite set of events (variable conditions or clock conditions) which can occur in parallel, and performs a finite set of actions which can be carried out in parallel. In the parallel automaton, there is no concept of a "global state" as in the Mealy machine. Instead, to each action and to each event is associated a "private state" representing their occurrence in the application. Nevertheless, the number of event/action private states is also finite. This single notation (a parallel automaton with private states) can be used to describe requirements and specifications in the same way. Moreover, these two descriptions can be connected. The aims of the application can be described using a parallel automaton as a black box with initial inputs and final outputs. This parallel automaton can then be refined and enhanced with intermediate conditions and actions to obtain detailed requirements. By successive refinements and enhancements, a sufficiently detailed executable specification can be derived. We present this methodology through a simple CBS example for requirements and specifications using the parallel automaton notation. We then give an architecture of a virtual machine that we have built to execute such a parallel automaton on a network.

Published in:

Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the

Date of Conference: