By Topic

Rapid prototyping through graphical operational specification and automated code generation

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
$31 $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)
Zompi, R. ; Olivetti Syst. & Networks, Ivrea, Italy ; Russi, V.

The application of PROTOB, an object-oriented CASE system based on high-level Petri nets, to rapid prototyping of distributed systems is presented. PROTOB consists of several tools supporting specification, modeling and prototyping activities within the framework of the operational software life-cycle paradigm. As its major application area it addresses distributed systems, such as real-time embedded systems, communication protocols and manufacturing control systems. The PROTOB methodology and its support environment can be used in software development of distributed discrete-event dynamic systems at three different levels. The functionality of the system can be formally defined and also analyzed quantitatively by building a PROT net based model, which is actually a simulation model. The model becomes more detailed and the timing of the transitions is real, being managed by the host operating system. The PROTOB objects emulating the physical environment are are replaced by a suitable interface which has the task of transforming signals coming from the plant into tokens to be introduced into the PROTOB model and, likewise, of converting tokens coming from the PROTOB model into appropriate commands issued to the plant

Published in:

CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering

Date of Conference:

8-10 May 1990