Computer aided software FMEA for unified modeling language based software

Model-based software development, particularly when it utilizes unified modeling language (UML) tools, provides artifacts that make programs more transparent. We use these capabilities to automate major steps in the generation of a software FMEA. Automation not only reduces the labor required but also makes the process repeatable and removes many subjective decisions that can impair the credibility of a software FMEA. The computer-aided software FMEA discussed in this paper can be the central organizing element for the verification and validation (V&V) of embedded software for real-time systems. The adoption of this technique benefits budgets because V&V frequently consumes the majority of the development resources for embedded software. After reviewing prior efforts in establishing a procedure for software FMEA we describe our approach for two life cycle phases: concept and design/implementation. Then we discuss the application of the computer-aided FMEA to software V&V and identify areas for further research.