Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Björn Frits Postema, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, Hamed Ghasemieh

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

5 Citations (Scopus)

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++.
Original languageEnglish
Title of host publicationMeasurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Subtitle of host publicationInternational Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB&DFT 2014
EditorsK. Fischbach, U. Krieger
Place of PublicationSwitzerland
PublisherSpringer International Publishing AG
Number of pages5
ISBN (Print)9783319053585
DOIs
Publication statusPublished - 17 Mar 2014
Externally publishedYes
EventInternational Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 2014 - Bamberg, Germany
Duration: 17 Mar 201419 Mar 2014

Publication series

NameLecture Notes in Computer Science
Volume8376

Conference

ConferenceInternational Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 2014
Abbreviated titleMMB&DFT 2014
CountryGermany
CityBamberg
Period17/03/1419/03/14

Keywords

  • EWI-24675
  • Hybrid Petri nets
  • IR-91064
  • Critical Infrastructures
  • METIS-305868
  • Model Checking

Fingerprint Dive into the research topics of 'Fluid Survival Tool: A Model Checker for Hybrid Petri Nets'. Together they form a unique fingerprint.

  • Cite this

    Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M., & Ghasemieh, H. (2014). Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. In K. Fischbach, & U. Krieger (Eds.), Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: International Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB&DFT 2014 (Lecture Notes in Computer Science; Vol. 8376). Springer International Publishing AG. https://doi.org/10.1007/978-3-319-05359-2_18