Abstract: The disclosure concerns a security condition verification method for a system comprising first and second security domains relating to respective first and second functional modules, a security kernel and a shared hardware component. The functional modules are executed using the shared hardware component and the security condition comprises a condition that any information exchange between the functional modules is an authorized information exchange. The security kernel controls the execution of the first and second functional modules using the shared hardware component.