By Topic

Model-checking framework for embedded systems controllers development using IOPT Petri nets

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

3 Author(s)
Pereira, F. ; Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal ; Moutinho, F. ; Gomes, L.

This paper presents a new model-checking framework for embedded systems controllers development using IOPT Petri nets. The new tools, comprehending a state-space generator, a query system and a new automatic code generator, were added to an existing tool framework which already had tools to import and edit controller models, automatic code generators and automatic hardware synthesis tools. The new tools permit the automatic analysis of system properties and the fast detection of errors during early design stages, considerably reducing debug and validation time. All tools share the same Web based user interface, publicly available on the research group Web page (

Published in:

Industrial Electronics (ISIE), 2012 IEEE International Symposium on

Date of Conference:

28-31 May 2012