The rapid progress of the Internet of Things (IoT) has continued to offer humanity numerous
benefits, including many security and safety-critical applications. However, unlocking the full …

This paper presents a phased fault tree analysis (phased-FTA)-based approach to evaluate
the performability of Autonomous Underwater Vehicles (AUVs) in real time. AUVs carry out a …

We propose a method for modelling of ladder diagrams named LCPN (Ladder Colored Petri
Net). This method accepts a ladder diagram and generates its colored Petri net. By LCPN …

The rapid progress of the Internet of Things (IoT) has continued to offer humanity numerous
benefits, including many security and safety-critical applications. However, unlocking the full …

In this paper, we study the rate of occurrence of the non-homogeneous Poisson process by
introducing the Gompertz-Makeham distribution as a rate of occurrence, known as the …