資源描述：
《a system requirements traceability model an industrial application 》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、ASystemRequirementsTraceabilityModel:AnIndustrialApplicationTrevorCockram,RegParker,DavidTiley,HelenWoodwardRolls-RoyceMAELJaneSmith,AndyVickersUniversityofYorkRolls-RoyceUTCAbstractSystemsrequirementstraceabilityisanessentialdisciplineinthedevelopmentoflargereal-timesafetycriticalsystems.Thecor
2、rectcaptureandutilisationoftraceabilityinformationisnecessarytosupportverificationandcertification,andfundamentaltochangemanagement.Therequirementsforsystemsareatanumberoflevelsofabstractionderivedthroughsuccessivedecompositionofthesystemunderdevelopment.Accordingly,theassociatedrequirementstrac
3、eabilityisequallycomplex.Anadditionaldimensionistheneedtoencapsulatetherationalefortherequirementsanditsdesign(anessentialelementofthesafetycase)withinthetraceabilitystructure,andtheneedtorecordarangeofattributestosupporttherequirementssuchasrequirementriskandstability.Atraceabilitymodeladdressi
4、ngallthesedimensionsofcomplexityhasbeendeveloped.Thisidentifiestherequirementtorequirementtraceability,aswellasrequirementstodesigntraceability.Thestructureisthenusedtoorganiseanddefinethedesignrationaleandrequirementattributes.Thetraceabilitymodelalsoaddressestheneedtocapturerequirementsinarang
5、eofformatsincludingtextual,pictorialandtabularwithlinkstoformalspecificationswhereappropriate.Animplementationofthismodeliscurrentlybeingusedtosupportthedevelopmentworkonanumberofaeroengineprojects.1INTRODUCTIONTheabilitytotracethelogicalandphysicallinksbetweenthedifferentlevelsofsystemrequireme
6、ntsisanessentialdisciplineinthedevelopmentoflargereal-timesafetycriticalsystems.Thecompletenessoftheverificationofthesystems44F.Redmilletal.(eds.),IndustrialPerspectivesofSafety-criticalSystems?Springer-VerlagLondonLimited199845requirementsandarecordofthesystemsdevelopmentprocessisnecessarytoobt
7、aincertification,andisfundamentaltoeffectivechangemanagement.Variousproprietarycomputertoolshavebeenusedbyprojectsforstoringanddocumentingsystemsrequirementswithdetailsoftheirattributesandtraceabilitybetweenlevelsofdecomposi
