fy10sarpresearchtopics.doc

FY10 SARP Research Topics 1. Requirements 3 *1.1. Automated requirements tracing tool 3 ?1.2. Ontologies for standards and requirements 5 *1.3. Formal methods for hardware and software specifications 6 *?1.4. Requirements traceability tool 7 *?1.5. Software Requirements and Scenarios for System Safety 8 2. Resource estimation 9 *2.1. Assurance cost/benefit analysis tool 9 2. Resource Estimation 11 ?2.2. Communicate the value of Software Assurance 11 3. Model-based engineering 12 *3.1. Architecture tools techniques 12 3.2. Interoperability of frameworks and models 13 *?3.3. Assurance of model-based software 14 3.4. State analysis 15 3.5. VVA of models and simulations 16 3.6. UML quality metrics 17 4. Standards compliance 19 *4.1. Software safety case approach and method 19 *?4.2. Standards compliance tools 22 *4.3 Support for assessment of current implementation of NASA requirements from NPR 7123.1, 7150.2, 7120.5 and STD 8739.8 and 8719.13. 23 5. Testing 25 5.1. Random testing techniques. 25 5.2. Functional/integration testing tool/frameworks for Flex/Flash based Rich Internet Applications. 26 *5.3. Test coverage metrics 28 6. Reliability estimation 31 6.1. Software reliability metrics and tool 31 7. Maintenance project assurance tools techniques 33 7.1. Tools techniques for software maintenance 33 8. Generic 34 8.1. Rapid prototyping 34 8.2. Delphi Knowledge Elicitation Method w/ Check List Analysis 35 8.3. Fault/Failure Tolerance Analysis 36 9. Autonomous Failure Detection 37 9.1. Autonomous Failure Detection, Isolation and Recovery/Integrated systems health monitoring tools 37 10. Complex electronics 38 *10.1. NASA standard on complex electronics 38 10.2. VVA of complex electronics 39 10.3. Reconfigurable computing assurance 40 10.4. Methodology for moving complex electronics from class D to class A 41 11. Metrics 42 11.1. Reliability metrics 42 11.2. Test coverage metrics 43 11.3. Metrics for complex electronics development 44 11.4. UML quality metrics 45 *11.