Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Formal specification and analy...

Formal specification and analysis of production systems

V. Bos, J.J.T. Kleijn, Formal specification and analysis of production systems. International Journal of Production Research 40(15), 3879–3894, 2002.

Abstract:

This paper discusses how formal methods can be integrated with existing simulation techniques to specify and analyse production systems. Simulation is very well suited for performance analysis of production systems, like cycle time or throughput approximations. However, it fails with respect to behavioural analysis of these systems, like deadlock and livelock detection. Formal methods are mathematical notations and techniques especially designed for behavioural analysis. We show that it is possible to integrate a particular formal methods technique, called model checking, with existing simulation based techniques. The resulting mix provides powerful tools to analyse both performance and behavioural properties of production systems, which will be showed by two examples.

BibTeX entry:

@ARTICLE{jV.02a,
  title = {Formal specification and analysis of production systems},
  author = {Bos, V. and Kleijn, J.J.T.},
  journal = {International Journal of Production Research},
  volume = {40},
  number = {15},
  pages = {3879–3894},
  year = {2002},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Publication Forum rating of this publication: level 2

Edit publication