[SystemSafety] Critical systems Linux

[Michael J. Pont]

David Ward wrote:
> For an integrator using an element developed as SEooC then they have to
confirm 
> that the assumptions the developer made are valid in their context of use.


I agree completely (and in my experience this process is rarely as
straightforward as people sometimes assume).

Michael.

Michael J. Pont, PhD
SafeTTy Systems Ltd
www.SafeTTy.net