A method for the generation of a set of conflicts for model-based system diagnostics is described, with which system a plurality of sensors is associated for the observation of variables indicative of operation conditions.The method starts from generating a complete set of Analytical Redundancy Relations (ARRs) in implicit form and, for each diagnosis instance: it performs a system simulation, computing the expected values for a first subset of Analytical Redundancy Relations (D-ARRs) including the relations involving only one system observation variable; it compares the expected and observed values of the system observation variables to identify the inconsistent variables, i.e. the unsatisfied redundancy relations, indicating a fault in at least one system component; and, when discrepancies are detected, it checks the consistency of each relation belonging to a second subset of Analytical Redundancy Relations (I-ARR), comprising relations involving a plurality of system observation variables, at least one of which exhibits discrepancies between expected and observed values; therefore identifying the support set of the unsatisfied Redundancy Relations as set of system conflicts.