software

Tyrant is an open source tool, that learns the logs of captured communication and outputs model that can be used to reproduce the run (or its mutation) in form of the so called scenario. Tyrant focuses on digital twins: the simulation and implementation of corresponding factory production environment (corresponding components, information system, ERP systems, etc.). The main use case of the scenarios is meant for testing the individual components in the environment: the machines, the terminals, ERP (Enterprise Resource Planning) systems and the PIS (Production Information System). The tool is mainly meant to be used together with the Kryton tool, developed in Masaryk University, which can orchestrate a set of simulators according to the given scenario, that is inferred by the Tyrant from the input set of logs. The tool (and its process) works in the following phases:    1. A communication in real production is captured either for future testing or      for debugging purposes. This results in the set of logs of messages, where      each message has particular timestamp, issued command, host, target, and set      of data of various formats.   2. Logs are parsed by the Tyrant into the stream of messages. Each message is      classified into a set of clusters of messages, where each cluster is      identified by unique key. The data of the corresponding cluster is      abstracted into the form of abstract trie.   3. The model of the communication is inferred. By default, the model is linear      and reproduces the log 1:1, without any abstractions or reduction.      Optionally, the tool can apply an abstraction (namely height abstraction)      resulting into minimized model, which is user-friendly for manual      inspection.   4. The model is serialized to stream of messages: the output scenario in the      YAML format supported by the Kryton tool. The Kryton then can reproduce the      scenario by sending messages between real (tested) or simulated components.

automata, digital twin, message abstraction, message classification, modeling, testing

23. 3. 2020

https://pajda.fit.vutbr.cz/tacr-unis/tyrant

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

https://pajda.fit.vutbr.cz/tacr-unis/tyrant