Software with own development

At the group, the development of some software packages that can be used in a variety of contexts and projects is being pushed forward.

  • TimeNET
    is a tool for the modelling and analysis of stochastic Petri nets.
    Among other things, it also supports the graphic modeling of colored Petri nets and Markov chains.
  • MDE4CPP
    comprises several sub-projects that lay the foundations for model-driven engineering (MDE) for the C ++ programming language.
    The common goal is to create fully executable applications exclusively from models and the use of different generators.

Further software in teaching and projects

Additional software tools are also relevant in teaching and projects. 
In our group is expertise i.a. with 

Start-up companies with team members

Current or former team members are involved in young, innovative companies and exciting external projects, e.g.

  • Project Prop-Plane with Aleksandra Beliautsou

    The mobile drone-based system is designed for monitoring road infrastructure.
    The solution enables fast and flexible inspection of road surfaces, individual road sections, and infrastructure elements. The collected data is converted into road condition parameters and can be used for road asset management, maintenance and repair planning, as well as digital services for connected and automated transport.
  • Startup dataliz9r with Tino Jungebloud

    The Thuringian startup dataliz9r supports operators in the structured, quantitative, and auditable assessment of the cybersecurity of industrial plants. In the initial phase, the focus is on specialized consulting services for industrial plants and those requiring monitoring. 
    Simultaneously, a software platform is being developed that will support these assessments more efficiently, repeatably, and scalably in the future. This platform employs a scientifically sound approach that systematically implements the requirements of the German Ordinance on Industrial Safety and Health (BetrSichV), the Technical Rules for Operational Safety (TRBS 1115-1), and the relevant accreditation body (ZÜS) guidelines. The solution is also compatible with further requirements such as NIS2 and KRITIS.

    Dieses Projekt wird im Rahmen des ESF Plus-Programms Gründungsrichtlinie: Gründungsprämie der Thüringer Aufbaubank gefördert.
dataliz9r
Thüringer Ministerium für Wirtschaft, Landwirtschaft und Ländlichen Raum
Europäischer Sozialfonds Plus