A combined analysis approach to assessing requirements for safety critical real-time control systems

Abstract

A combined Petri net and FMEA based approach to requirements analysis of safety critical embedded real-time central systems developed by Hughes has been proven to provide a method of identifying incomplete, inconsistent, and incorrect requirements which may impact safety. This analysis method is applicable early in the design process, allowing requirement changes to be identified and implemented with minimal cost and schedule impact. It has been applied to several real world systems with positive results; missing, inconsistent, and incorrect requirements were identified in all cases. The approach is expected to be able to be implemented with minimal training of existing analysis personnel. Some training in Petri nets may be needed. This training should be able to be self taught.