Aerospace systems are becoming more and more complex due to customer requirements for greater capability versus unit cost. Increased dependence on software controlled systems, and a desire to maximize the use of commercial off the shelf (COTS) items, exponentially adds to the already complex task of ensuring that new systems are safe. Sikorsky is required