SYSE 505: System Safety and Certification Module 8: Safety-Critical Systems Development Project: Test Case Set Development   Consider that you are tasked to build the test cases for a combined hardware-software safety-critical system that accounts for both the intended and unintended functionality of the system

SYSE 505: System Safety and Certification

Module 8: Safety-Critical Systems Development

Project: Test Case Set Development

Consider that you are tasked to build the test cases for a combined hardware-software safety-critical system that accounts for both the intended and unintended functionality of the system. For that purpose, the logical control of the seven components of the system is identified as:

X = A AND NOT B AND ((C AND NOT D) OR (E AND F)) AND G

where, X is the decision variable, and A, B, C, D, E, F, G are the system components (conditions).

Derive the MC/DC solution approach to address both the intended and unintended functionality of the combinational logic model above. You will need to identify the number of MC/DC test cases needed, build the logical diagram, and identify all the MC/DC test cases needed.