Software Tools


Supervisor Synthesis Tools

  • Feasibility study of multicore supervisor synthesis - Java application that implements a prototype multicore synthesis algorithm for feasibility study (download
  • Supervisor synthesis for nondeterministic automata with data - Java application that implements a supervisory synthesis algorithm (download) (usage)

    Implemented by: 
    S. Kirilov, D. Martinovikj, K. Mishevski, M. Petkovska, Z. Trajcheska

    Faculty of Computer Science and Engineering,
    Ss. Cyril and Methodius Univerisity, 
    Skopje, Macedonia
Minimization of nondeterministic plants

  • Partial bisimulation minimization- Java application that implements a scalable minimization algorithm for partial bisimulation (download) (copyright + usage)

    Systems Engineering Group,
    Department of Mechanical Engineering,
    Eindhoven University of Technology,
    Eindhoven, The Netherlands

Verification of supervised systems
  • SupPlant2UPPAAL - Java application that compositionally and consistently translates a Supremica model of a supervised plant to a UPPAAL automaton for the purpose of timed analysis (download) (copyright + usage)

  • Supremica2UPPAAL - Java application that translates a Supremica model of a supervised plant to a UPPAAL automaton for the purpose of state-based verification (download) (copyright + usage)
  • Supremica2mCRL2- Java application that transforms a Supremica supervised plant to an mCRL2 labeled transition system (download) (copyright + usage

    Systems Engineering Group,
    Department of Mechanical Engineering,
    Eindhoven University of Technology,
    Eindhoven, The Netherlands

Performance evaluation of supervised systems
  • PTA2MDP - Java application that compositionally translates a probabilistic timed automata to PRISM Markov decision process for the purpose of probabilistic model checking (download) (copyright + usage) 

  • Supremica2DTMDP - Java application that compositionally and consistently translates a Supremica model of a supervised plant to a PRISM Markov decision process for the purpose of probabilistic model checking (download) (copyright + usage) 

  • Supremica2PRISM - Java application that translates a Supremica model of a supervised plant to a PRISM Markov process for the purpose of probabilistic model checking (download) (copyright + usage) 

  • Supremica2DTMC - Java application that extracts a PRISM discrete-time Markov process from Supremica models of the original and the supervised plant (download) (copyright + usage)

  • Supremica2{IMC, MRMC} - Java applications that extract an MRMC performance model from an integrated Supremica model of a supervised plant (download) (copyright + usage)
  • MRMCCosts - Java application that enables convenient specification of a cost model based on state labels and translates it as an input for MRMC  (download) (copyright + usage

    Systems Engineering Group,
    Department of Mechanical Engineering,
    Eindhoven University of Technology,
    Eindhoven, The Netherlands
Random number generators

  • Quasigroup generator, QPRSG generator, random walks on torus and corresponding statistics toolset (tool website) that contains three separate packages:
    • J. Markovski, Quasigroup generator, Java application for automatic generation of different types of quasigroups
    • J. Markovski, V. Dimitrova, Quasigroup statistics and coefficient of period growth calculator, Java application for performing different types of statistics on quasigroups suitable for authentication and calculation of coefficient quasigroup period growth
    • J. Markovski, QPRNG Random walks, Java application for performing different types of random walks using QPRNG

supervisor: prof. Smile Markovski

Institute of Informatics,
Faculty of Natural Sciences and Mathematics,
University of Ss. Cyril and Methodius,
Skopje, Republic of Macedonia

Logic circuit simulator

  • Logic Circuit Simulator - Java application that automatically visualizes logic circuits using XML inputs,

    supervisor
    : prof. M. Gusev

    Institute of Informatics,
    Faculty of Natural Sciences and Mathematics,
    University of Ss. Cyril and Methodius,
    Skopje, Republic of Macedonia