Analysis of Functional Software Dependencies through Supervised Execution

Knowing functional interferences between system components is imperative when developing safety critical systems. In this paper, we describe an approach for reliably detecting functional dependencies of software components to other system entities through supervised execution of software using the simulation techniques. Supervised execution enables monitoring of the internal state of system components and therefore permits the rapid detection of component behavior changes across simulation contexts. Credibility of results is achieved through collected test coverage metrics.