6. The computer implemented method according to claim 4 , wherein at least one of the respective receiving first and second listing steps receives a respective said first or second listing (D; E) that includes diagnostic expressions generated by at least one auxiliary diagnosis engine configured to generate status reports with respect to at least a sub-group of said components (c 1 , . . . , c n ).
4. A computer implemented method of diagnosing an entity with a plurality of components (c 1 , . . . , c n ) wherein at least one of the components is assumed to be in either a fault-free mode or be in exactly one of at least two fault modes, the method comprising receiving first (D) and second (E) listings of respective diagnostic expressions (D 1 , . . . , D n ) and E 1 , . . . , E m ) indicating at least one of said modes for at least one of said components (c 1 , . . . , c n ), and generating a status report (R) based on said first (D) and second (E) listings of respective diagnostic expressions (D 1 , . . . , D n ) and (E 1 , . . . , E m ), wherein said method comprises: receiving said first listing (D) of diagnostic expressions (D 1 , . . . , D n ) constituting a first part of said diagnostic expressions; receiving said second listing (E) of diagnostic expressions (E 1 , . . . , E m ) constituting a second part of said diagnostic expressions; storing said first and second listings (D, E) in a first storage area ( 120 ); creating an empty listing of enhanced diagnostic expressions (Q) by clearing any contents of a second storage area ( 130 ), and thereafter, for each combination of diagnostic expressions (D i , E j ) in said first and second listings (D, E); using a computer processing device to: generating a current joint diagnostic expression (Q new ) as a conjunction of a first diagnostic expression (D i ) from said first listing (D) of diagnostic expressions (D 1 , . . . , D n ) and a second diagnostic expression (E j ) from said second listing (E) of diagnostic expressions (E 1 , . . . , E m ); comparing the current joint diagnostic expression (Q new ) with each diagnostic expression in the listing of enhanced diagnostic expressions (Q) stored in the second storage area ( 130 ); discarding the current joint diagnostic expression (Q new ), if there exists a previous expression (Q k ) in the listing of enhanced diagnostic expressions (Q), and the current joint diagnostic expression (Q new ) implies the previous expression (Q k ); discarding the current joint diagnostic expression (Q new ), if there exists a first diagnostic expression (D k ) in said first listing (D) of diagnostic expressions (D 1 , . . . , D n ), the first diagnostic expression (D k ) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Q new ) implies the first diagnostic expression (D k ); discarding the current joint diagnostic expression (Q new ), if there exists a second diagnostic expression (E k ) said second listing (E) of diagnostic expressions (E 1 , . . . , E m ), the second diagnostic expression (E k ) having not yet been included in a joint diagnostic expression and the current joint diagnostic expression (Q new ) implies the second diagnostic expression (E k ); otherwise storing the joint diagnostic expression (Q new ) as an addition to the listing of enhanced diagnostic expressions (Q) in the second storage area ( 130 ); and generating a status report (R) based on the listing of enhanced diagnostic expressions (Q).