By Topic

Modeling of complex automation systems using colored State Charts

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

3 Author(s)
O. Fengler ; Dept. of Comput. Architectures, Ilmenau Tech. Univ., Germany ; W. Fengler ; V. Duridanova

The design of complex distributed automation systems often presents great challenges due to the size and number of components which have to work in parallel to one another in real time. This paper discusses some of the problems of designing such systems. The use of colored dynamic state diagrams for the modeling of complex real-time systems is suggested as a possible solution. This type of diagram is based on State Charts, the well-known and generally applied description technique included as one variation in the unified modeling language. Colored State Charts harness two techniques: the modelling technique well accepted by engineers, and high level Petri nets with their outstanding powers of description. By coloring State Charts, the behaviour of several objects or processes can be modelled simultaneously in a single figure. The colored state diagrams contain a variety of resources to facilitate clear and unequivocal representation of the composition of a number of simple state diagrams. They also have additional mechanisms for mapping the dependencies and relationships between individual objects. Via transformation into colored Petri nets, they make formal verification possible. Their usability is shown in a modelled reference example.

Published in:

Robotics and Automation, 2002. Proceedings. ICRA '02. IEEE International Conference on  (Volume:2 )

Date of Conference: