Date of Award

8-1-2018

Degree Name

Master of Science

Department

Electrical and Computer Engineering

First Advisor

Tragoudas, Spyros

Abstract

Today’s critical systems of military and aviation grade consist of several complex requirements that need to be assessed for a safe and continuous operation before they are deployed for use. Several coverage methodologies have been proposed over the years with Modified Condition / Decision Coverage (MC/DC) being chosen by the aviation industry. This practice is becoming a highly recommended coverage methodology among several modern standards such as the Automotive Safety Integrity Level (ASIL) of automotive standard ISO 26262 and the Safety integrity level (SIL) 4 in part 3 Annex B of the basic safety publication. The main focus of this thesis is to provide an automated process that can provide test vectors suitable for applying MC/DC testing. By using as the core engine a modified version of a hardware-oriented technique used in Automatic Test Pattern Generation (ATPG) called PODEM (Path-Oriented Decision Making) we get to produce several test vectors that can contribute towards MC/DC structural coverage.

Share

COinS
 

Access

This thesis is only available for download to the SIUC community. Others should
contact the interlibrary loan department of your local library.