Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

  • Björn F. Postema
  • Anne Remke
  • Boudewijn R. Haverkort
  • Hamed Ghasemieh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8376)

Abstract

Recently, algorithms for model checking Stochastic Time Logic (STL) on Hybrid Petri nets with a single general one-shot transition (HPNG) have been introduced. This paper presents a tool for model checking HPNG models against STL formulas. A graphical user interface (GUI) not only helps to demonstrate and validate existing algorithms, it also eases use. From the output of the model checker, 2D and 3D plots can be generated. The extendable object-oriented tool has been developed using the Model-View-Controller and Facade patterns, Doxygen for documentation and Qt for GUI development written in C++.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apache Software Foundation: Subversion (2000), http://subversion.apache.org/
  2. 2.
    Conrad, S.H., LeClaire, R.J., O’Reilly, G.P., Uzunalioglu, H.: Critical national infrastructure reliability modeling and analysis. Bell Labs Technical Journal 11(3), 57–71 (2006)CrossRefGoogle Scholar
  3. 3.
    Digia: Qt and Qt Creator (2009), http://qt-project.org/
  4. 4.
  5. 5.
    Ghasemieh, H., Remke, A., Haverkort, B., Gribaudo, M.: Region-based analysis of hybrid petri nets with a single general one-shot transition. In: Jurdziński, M., Ničković, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 139–154. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  6. 6.
    Ghasemieh, H., Remke, A., Haverkort, B.R.: Survivability evaluation of fluid critical infrastructure using hybrid Petri nets. In: 19th IEEE Int’l. Symposium PRDC (2013)Google Scholar
  7. 7.
    Gribaudo, M., Remke, A.: Hybrid Petri nets with general one-shot transitions: model evolution. Technical report, University of Twente (2012), http://130.89.10.12/~anne/pub/tecrep.pdf
  8. 8.
    van Heesch, D.: Doxygen (2001), http://www.stack.nl/~dimitri/doxygen/
  9. 9.
    Postema, B.F.: Fluid Survival Tool: A model checker for Hybrid Petri nets. MSc thesis, Department of Computer Science, University of Twente (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Björn F. Postema
    • 1
  • Anne Remke
    • 1
  • Boudewijn R. Haverkort
    • 1
  • Hamed Ghasemieh
    • 1
  1. 1.Centre for Telematics and Information Technology, Design and Analysis of Communication SystemsUniversity of TwenteThe Netherlands

Personalised recommendations