CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Vendor independent control database for virtual preparation and formal verification

Petter Falkman (Institutionen för signaler och system, Automation) ; Jonathan Göransson Hedvall (Institutionen för signaler och system, Automation) ; Anders Holmblad (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation)
International Conference on Information and Automation, ICIA 2011; Shenzhen; 6 June 2011 through 8 June 2011 p. 851-857. (2011)
[Konferensbidrag, refereegranskat]

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 verification 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 verification softwares and it is therefore hard to perform formal verification. In order to limit the risk of introducing errors it is also important that the specifications 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 verification tools. A database, storing necessary control information for verification and controller synthesis, is presented.

Nyckelord: Discrete event systems, formal verification, information exchange, production preparation, virtual production



Denna post skapades 2011-09-08. Senast ändrad 2016-10-28.
CPL Pubid: 145981

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Information Technology

Chalmers infrastruktur