#Timenet solutions software#

It supports a modular view on typical setup elements and different types of UAVs and is based on UAV application standards. This paper presents a method to model and evaluate such UAV systems with coloured Petri nets. Model-based systems engineering supplies tools and methods to solve such problems. Stochastic influences such as failures and maintenance have to be taken into account. When designing such systems, operating companies have to find a system configuration of multiple drones that is near-optimal in terms of cost while achieving the required monitoring quality. The UAV industry is developing rapidly and drones are increasingly used for monitoring industrial facilities.

Our key findings from this study include the following: (1) the deployment of MTD with the switchover strategy can improve the performance of services (2) the switchover strategy showed the best cost-effectiveness among all strategies considered in this work and (3) the interval of triggering MTD operations introduced a modest impact on job completion probability.

#Timenet solutions software#

We conducted comparative performance analysis with five DSPN models implemented in software packages such as TimeNet and Mercury under five different system configuration scenarios. In addition, we demonstrate the effect of triggering a time-based MTD operation on performance degradation (e.g., jobs dropped or response time) and quality-of-service (QoS) of the system.

In this work, we present our developed stochastic models based on deterministic stochastic Petri net (DSPN) formalism to assess the performance degradation introduced by periodic MTD operations. One caveat in developing a time-based MTD-enabled system is the potential performance degradation due to MTD operations being triggered periodically.

Moving target defense (MTD) is a promising proactive defense technique to enhance system or network security.