Formal approach for the safety assessment of embedded controller based on programmable electronic hardware
Method gives assurance when system development or service history data not available. Approach shown on embedded control system having legacy components. Formal models created from available system description. Safety assessment performed using analysis of faulty and non-faulty behaviour. Method generates evidence for safety argument and is consistent with known standards.
safety assessment petri nets hardware assurance previously developed hardware hardware standards certification