[SystemSafety] multi-core validation for aerospace

[Olwen Morgan]

On 14/11/2018 11:18, Paul Sherwood wrote:
> At the risk of taking another beating from the folks here, I'd like to 
> point out that there's a huge amount of 'firmware' and 'microcode' 
> (which i read as 'software') in modern microprocessors. I am 
> struggling to understand how folks can extrapolate methods designed 
> primarily for baremetal microcontroller-scale devices to this level of 
> complexity.
>
FWIW, I agree with Paul here.


Olwen