By Topic

Automatic composition of timed Petri net specifications for a real-time architecture

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)

Ideally, a system's design starts with a formal model. However, in the real world, many systems are designed without a formal model in mind. For these systems, it is hard to show that a formal model meets the informal design. We demonstrate on the example of the composable message scheduled system (MSS) architecture how to bridge the gap between a rather informal description and a formal timed Petri net model. We discuss, how modeling can be done in a "natural" way, so that the mapping between system and model components and the composition of model components is rather obvious. Also, we introduce the tool MGen that support the automatic generation of Petri net models for the MSS architecture.

Published in:

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

Date of Conference: