Production Cell Case Study: Modeling and verifying a Real-Time system
Download:
|
|
by Elena Fersman, Tobias Amnell
http://www.docs.uu.se/~tobiasa/ProductionCell.ps
Add To MetaCart
Abstract:
The Production Cell case study is an attempt to define a realistic industrial application. It has earlier been described in many formalisms[1], but the original specification of it doesn't contain any temporal issues. In this assignment the original specification will be simplified, but we add timing to all operators and requirements. The temporal issues are the main focus. By manipulating the parameters of the models it is possible to investigate the impact of the design decisions. 1
Citations
| 342 | UPPAAL in a nutshell – Larsen, Pattersson, et al. - 1997 |
| 49 | New generation of uppaal – Bengsston, Larsen, et al. - 1998 |
| 11 | Eds), Formal Development of Reactive Systems – Lewerentz, Lindner - 1995 |
