Experience applying the CoRE method to the Lockheed C-130J software requirements

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI:10.1109/CMPASS.1994.318472

S. Faulk, L. Finneran, J. Kirby, S. Shah, J. Sutton

{"title":"Experience applying the CoRE method to the Lockheed C-130J software requirements","authors":"S. Faulk, L. Finneran, J. Kirby, S. Shah, J. Sutton","doi":"10.1109/CMPASS.1994.318472","DOIUrl":null,"url":null,"abstract":"For safety-critical systems, regulatory and human concerns make assurance of requirements correctness a necessity. Most popular requirements methods rely heavily on expensive after-the-fact verification, validation and correction activities to attain a desired level of correctness. In cooperation with its industrial partners, the Software Productivity Consortium (the Consortium) has developed a rigorous requirements engineering method called CoRE (\"Consortium Requirements Engineering\"), building upon proven formal and object-oriented methods. As part of Continuous Process Improvement (CPI), Lockheed Aeronautical Systems Company (LASC) has incorporated CoRE into its C-130J aircraft program, to develop avionics system requirements. C-130J is a safety critical application. The results have verified the method's practicality and effectiveness at \"building in\" correctness during requirements analysis. They have further demonstrated that the benefits of a rigorous approach can be had without adversely affecting cost or schedule.<<ETX>>","PeriodicalId":137767,"journal":{"name":"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance","volume":"321 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"61","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1994.318472","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 61

Abstract

For safety-critical systems, regulatory and human concerns make assurance of requirements correctness a necessity. Most popular requirements methods rely heavily on expensive after-the-fact verification, validation and correction activities to attain a desired level of correctness. In cooperation with its industrial partners, the Software Productivity Consortium (the Consortium) has developed a rigorous requirements engineering method called CoRE ("Consortium Requirements Engineering"), building upon proven formal and object-oriented methods. As part of Continuous Process Improvement (CPI), Lockheed Aeronautical Systems Company (LASC) has incorporated CoRE into its C-130J aircraft program, to develop avionics system requirements. C-130J is a safety critical application. The results have verified the method's practicality and effectiveness at "building in" correctness during requirements analysis. They have further demonstrated that the benefits of a rigorous approach can be had without adversely affecting cost or schedule.<>

查看原文本刊更多论文

具有将CoRE方法应用于洛克希德C-130J软件需求的经验

对于安全关键型系统，法规和人员的关注使得需求正确性的保证成为必要。大多数流行的需求方法严重依赖于昂贵的事后验证、确认和纠正活动，以达到所需的正确性水平。在与工业伙伴的合作中，Software Productivity Consortium (Consortium)开发了一种严格的需求工程方法，称为CoRE(“Consortium requirements engineering”)，它建立在经过验证的形式化和面向对象的方法之上。作为持续过程改进(CPI)的一部分，洛克希德航空系统公司(LASC)已将CoRE纳入其C-130J飞机项目，以开发航空电子系统需求。C-130J是一种安全关键应用。结果验证了该方法在需求分析过程中“构建”正确性方面的实用性和有效性。他们进一步证明，严格方法的好处可以在不影响成本或进度的情况下获得

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance

自引率

0.00%

发文量