Loading...
Please wait, while we are loading the content...
Similar Documents
MITIP 2012 14 th International Conference on Budapest , Hungary , October 24 – 26 , 2012 Modern Information Technology in the Innovation Processes of the Industrial Enterprises Proceedings volume
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bartha, Tamás Vörös, András Jámbor, Attila Darvas, Dániel |
| Copyright Year | 2012 |
| Abstract | The verification of embedded, safety-critical industrial systems is important, since a failure of these systems may have catastrophic consequences. Formal methods guarantee not only the correctness, but also the completeness of the analysis. However, even moderately complex industrial systems have state spaces so large that former analysis techniques could not handle. In this paper we model and analyse a small, but important part of a safety-critical industrial system: a safety function initiating an emergency procedure in a nuclear power plant. We model safety function using a proprietary coloured Petri net formalism, and perform the analysis by symbolic model checking based on the saturation algorithm. The analysis results were computed by the model checking tool developed at our department∗. Although this particular safety function has been analysed in earlier research [11], this is the first time the full behaviour of this system could be examined without any restrictions. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://petridotnet.inf.mit.bme.hu/publications/MITIP2012_BarthaEtAl.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
