Formal Language

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[11][12]). 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

Comments are closed.