 |
||
|
Advanced Search |
||
|
|||||
|
Design Analysis < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Effective Life-Cycle IV&V of Auto-Generated Software | |
| Point of Contact |
Kurt Woodham kurt.woodham@titan.com |
| Dates | May 2006 - May 2007 |
| Problem | The use of model based development (MBD) processes is becoming increasingly popular for NASA software developers. A number of focused efforts have emerged to provide insight into requirements modeling and validation, model architecture, and auto-generated code (autocode) verification; however, there is no effort to consolidate findings from current/past research, industry best-practices, and a survey of existing and emerging analytical tools to provide a broad-perspective "road-map" for IV&V practitioners. The objective of this joint research, conducted jointly by L-3 Titan and the Institute for Scientific Research (ISR), is to fill this gap by providing a comprehensive view of entrenched and emerging development environments, processes, and analytical tools with which to perform IV&V across the MBD life-cycle. |
| Objective | Our objectives are two-fold and product-based. First, we will compile and review available mission and product documentation, tool vendor white papers, and research reports and generate a Survey of Model Based Development Platforms. This deliverable will characterize autocode utilization on NASA flight missions, such as Rational, Esterel SCADE, MATLAB, and MATRIXx (which is reemerging in industry as a MATLAB competitor). It will also address common characteristics shared among current code generators as well as characteristics unique to individual packages.Secondly, we will produce a "Best Practices" Paper on Life-Cycle IV&V of Model-Based Development Products. This deliverable will define best-practices for evaluating MBD products; addressing "shared" and "product-unique" characteristics identified in the initial report. These best-practices will address processes as well as existing/emerging analytical tools that have either broad-spectrum or process-unique applicability. The discussion of processes and tools will address all elements of the MBD life-cycle, using a structure following IEEE 1012 to provide maximum direct applicability to the IV&V Facility WBS. |
| Results |
SAS 06 Executive Presentation.ppt SAS 06 Technical Presentation.ppt SAS_07_Exec_Briefing_AUTO_07_191a_Woodham.ppt SAS_07_Tech_Pres_AUTO_07_20_Woodham.ppt AUTO Phase 2 Report.zip |
| Keywords | |
| Categories |
Quality Control Code Analysis Design Analysis Domain-Specific Analysis Dynamic Analysis Formal Methods Interface Analysis Test Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |