For dynamic analysis to be a powerful and convenient instrument in system modelling, comprehensive support is required. Dynamic analysis should be embedded in an appropriate modelling environment and be supported by adequate visualization mechanisms. Such an environment may support model consistency, selective information display, hypertext-based documentation, model substitution, and complexit...

Ecosystems are complex and sparsely observed making inference prediction challenging. Empirical dynamic modelling (EDM) circumvents the need for a parametric model complete observations of all system variables. Classical univariate approaches, which require time-series only single focal variable, can produce verifiable out-of-sample forecasts; however, they sometimes long time series that may b...

In software product line (SPL) engineering, formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability. The number of products in an SPL can be exponential in the number of features. Therefore, the challenge when modelling SPL lies in analysing and verifying large, complex models efficiently, in order to ensure that all produ...

With the rapid advances of computer-based technology in mission-critical domains such as aerospace, military, and power industries, critical systems exhibit more complex, dependent, and dynamic behaviors. Such dynamic system behaviors cannot be fully captured by existing reliability modelling tools. In this paper, we introduce a new reliability modelling tool, called dynamic reliability block d...