FY10SARPResearchTopicsTOC\o"1-3"\h\z\uHYPERLINK\l"_Toc211076652"1.RequirementsPAGEREF_Toc211076652\h3HYPERLINK\l"_Toc211076653"*1.1.AutomatedrequirementstracingtoolPAGEREF_Toc211076653\h3HYPERLINK\l"_Toc211076654"‡1.2.OntologiesforstandardsandrequirementsPAGEREF_Toc211076654\h5HYPERLINK\l"_Toc211076655"*1.3.FormalmethodsforhardwareandsoftwarespecificationsPAGEREF_Toc211076655\h6HYPERLINK\l"_Toc211076656"*‡1.4.RequirementstraceabilitytoolPAGEREF_Toc211076656\h7HYPERLINK\l"_Toc211076657"*‡1.5.SoftwareRequirementsandScenariosforSystemSafetyPAGEREF_Toc211076657\h8HYPERLINK\l"_Toc211076658"2.ResourceestimationPAGEREF_Toc211076658\h9HYPERLINK\l"_Toc211076659"*2.1.Assurancecost/benefitanalysistoolPAGEREF_Toc211076659\h9HYPERLINK\l"_Toc211076660"2.ResourceEstimationPAGEREF_Toc211076660\h11HYPERLINK\l"_Toc211076661"‡2.2.CommunicatethevalueofSoftwareAssurancePAGEREF_Toc211076661\h11HYPERLINK\l"_Toc211076662"3.Model-basedengineeringPAGEREF_Toc211076662\h12HYPERLINK\l"_Toc211076663"*3.1.Architecturetools&techniquesPAGEREF_Toc211076663\h12HYPERLINK\l"_Toc211076664"3.2.InteroperabilityofframeworksandmodelsPAGEREF_Toc211076664\h13HYPERLINK\l"_Toc211076665"*‡3.3.Assuranceofmodel-basedsoftwarePAGEREF_Toc211076665\h14HYPERLINK\l"_Toc211076666"3.4.StateanalysisPAGEREF_Toc211076666\h15HYPERLINK\l"_Toc211076667"3.5.VV&AofmodelsandsimulationsPAGEREF_Toc211076667\h16HYPERLINK\l"_Toc211076668"3.6.UMLqualitymetricsPAGEREF_Toc211076668\h17HYPERLINK\l"_Toc211076669"4.StandardscompliancePAGEREF_Toc211076669\h19HYPERLINK\l"_Toc211076670"*4.1.SoftwaresafetycaseapproachandmethodPAGEREF_Toc211076670\h19HYPERLINK\l"_Toc211076671"*‡4.2.StandardscompliancetoolsPAGEREF_Toc211076671\h22HYPERLINK\l"_Toc211076672"*4.3SupportforassessmentofcurrentimplementationofNASArequirementsfromNPR7123.1,7150.2,7120.5andSTD8739.8and8719.13.PAGEREF_Toc211