Verifying Chi models of industrial systems with Spin

N. Trcka

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)


The language ¿ has been developed for modeling of industrial systems. Its simulator has been successfully used in many industrial areas for obtaining performance measures. For functional analysis simulation is less applicable and such analysis can be done in other environments. The purpose of this paper is to describe an automatic translator from ¿ to Promela, the input language of the well known model-checker Spin. We highlight the differences between the two languages and show, in a step by step manner, how some of them can be resolved. We conclude by giving a translation scheme and apply the translator in a small industrial case study.
Originele taal-2Engels
TitelFormal Methods and Software Engineering (Proceedings 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006)
RedacteurenZ. Liu, Z. He
Plaats van productieBerlin
ISBN van geprinte versie3-540-47460-9
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Verifying Chi models of industrial systems with Spin'. Samen vormen ze een unieke vingerafdruk.

Citeer dit