Analysis of Real-time Systems and Software Designs
This joint project with the Eszterhazy
in Eger, Hungary runs from December 1, 2012 to November
31, 2014. It is sponsored by the Austrian Academic Exchange Service
under the contract HU 10/2012.
The goal of the proposed project is to twofold:
- We will formulate previously developed performance models in the
languages of the tools PRISM and PEPA, compare these, and develop
corresponding modeling and analysis guidelines.
- We will investigate new performance modeling problems with the
help of PRISM and PEPA for analyzing non-functional requirements
in system design.
- Austria: Research Institute for Symbolic Computation
- Hungary: Eszerhazy
Last modified: March 1, 2013