By Topic

Verification of operation sequences in process simulate by connecting a formal verification tool

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)
Falkman, P. ; Dept. of Signals & Syst., Chalmers Univ. of Technol., Goteborg, Sweden ; Westman, F. ; Modig, C.

It is very advantages to use virtual techniques for testing and developing new hardware and software systems. It is cost effective since no real machine or manufactory system is needed. It is safe since there are no real components that can be damaged. Simulation is a fast design method since the time can go faster then real time and the machine can be set to desired machine states without time consumption. Novel concepts can be tested prior to manufacturing. However, it is of greatest importance that the virtual model can be trusted so that the results of the development and tests can be directly transferred to a real system without any manual last minute changes. Testing all possible scenarios within a system by simulation is an ambiguous task and is impossible to do with todays complex systems. The present paper introduces a method for combining virtual development and simulation techniques with tools for formal verification methods. The aim is to enable the use of formal verification techniques and by doing that guaranteeing a correct system behavior. virtual production, production preparation, formal verification, discrete event systems.

Published in:

Control and Automation, 2009. ICCA 2009. IEEE International Conference on

Date of Conference:

9-11 Dec. 2009