Vendor independent Control Database for Virtual Preparation and Formal Verification
It is very advantageous to use virtual techniques for testing and developing new hardware and software systems within a manufacturing system.It is,however,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.In order to trust the result,formal veri fication techniques can be applied and by doing that guaranteeing a correct system behavior.Today, there is a gap between how systems are modeled in simulation softwares and formal veri fication softwares and it is therefore hard to perform formal veri fication.In order to limit the risk of introducing errors it is also important that the speci fications created in the simulation softwares are not manually converted into formal languages.The present paper presents a method for sharing information between the different virtual development tools and formal veri fication tools.A database,storing necessary control information for veri fication and controller synthesis,is presented.
Petter Falkman Jonathan Hedvall Anders Holmblad Bengt Lennartson
Control and Automation Laboratory Department of Signals and Systems Chalmers University of Technology S-412 96 G(o)oteborg,Sweden
国际会议
深圳
英文
851-857
2011-06-06（万方平台首次上网日期，不代表论文的发表时间）