The size and complexity of software in spacecraft is increasing exponentially, and this trend
complicates its validation within the context of the overall spacecraft system. Current …

Abstract Generalised Stochastic Petri Nets (GSPN s) are a popular modelling formalism for
performance and dependability analysis. Their semantics is traditionally associated to …

Effective risk management is a key to ensure that our nuclear power plants, medical
equipment, and power grids are dependable; and it is often required by law. Fault Tree …

Fault trees (FT) are a popular industrial method for reliability engineering, for which Monte
Carlo simulation is an important technique to estimate common dependability metrics, such …

The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …

Abstract COMPASS (COrrectness, Modeling and Performance of AeroSpace Systems) is an
international research effort aiming to ensure system-level correctness, safety, dependability …

Markov automata (MA) constitute an expressive continuous-time compositional modelling
formalism. They appear as semantic backbones for engineering frameworks including …

Costs and rewards are important ingredients for many types of systems, modelling critical
aspects like energy consumption, task completion, repair costs, and memory usage. This …

Markov automata (MAs) extend labelled transition systems with random delays and
probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution …

Distributed systems exhibit probabilistic and non-deterministic behaviors and may have time
constraints. Probabilistic Timed Rebeca (PTRebeca) is introduced as a timed and …