set of words, semantics and logical rules with sound mathematical properties
Note 1 to entry: Programming languages are an example of formal language with mathematical properties
allowing them to be compiled into computer executable code.
Note 2 to entry: Every reliability model has an underlying formal language behind the graphical elements (e.g. the
Binary logic for Boolean models).
Note 3 to entry: Specific formal languages have been developed to model the functioning and the dysfunctioning
of industrial systems (e.g. AltaRica). According to their powerfulness of modelling and their mathematical
properties they can be compiled toward event trees, fault trees, Markov graphs, Petri nets, accident sequences,
etc. Some of them can also be directly used for Monte Carlo simulation.
Source: ISO/TR 12489:2013(E) Reliability modelling and calculation of safety systems. Global Standards