计算机科学 ›› 2018, Vol. 45 ›› Issue (4): 196-202.doi: 10.11896/j.issn.1002-137X.2018.04.033
战芸娇,魏欧,胡军
ZHAN Yun-jiao, WEI Ou and HU Jun
摘要: DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。
[1] CHEN X,WANG H,MU M.Software requirement develop-ment method research for DO-178B request[J].Computer Engineering & Design,2012,33(7):2673-2677.(in Chinese) 陈鑫,王辉,牟明.满足DO-178B要求的软件需求开发方法[J].计算机工程与设计,2012,33(7):2673-2677. [2] ZHANG X,LI T,WANG X,et al.Formal Analysis to Non-Functional Requirements of Trustworthy Software[J].Journal of Software,2015,26(10):2545-2566.(in Chinese) 张璇,李彤,王旭,等.可信软件非功能需求形式化表示与可满足分析[J].软件学报,2015,26(10):2545-2566. [3] LEVESON N G,HEIMDAHL M P E,HILDRETH H,et al.Requirements Specification for Process-Control Systems[J].IEEE Transactions on Software Engineering,1994,20(9):684-707. [4] PARNAS D L,MADEY J.Functional documents for computer Systems[J].Science of Computer Programming,1995,25(1):41-61. [5] GALLOWAY A,IWU F,MCDERMID J,et al.On the Formal Development of Safety-Critical Software[C]∥First IFIP TC 2/WG 2.3 Conference(VSTTE 2005).Zurich,Switzerland,2005:10-13. [6] HU J,SHI J J,CHENG Z,et al.System Safety Modeling and Analysis Method Based on Four-variable Model[J].Computer Science,2016,43(11):193-199.(in Chinese) 胡军,石娇洁,程桢,等.一种基于四变量模型的系统安全性建模与分析方法[J].计算机科学,2016,43(11):193-199. [7] HESTER S D,PARNAS D L,UTTER D F.Using Documentation as a Software Design Medium[J].Bell Labs Technical Journal,1981,60(8):1941-1977. [8] PARNAS D L,MADEY J,ASMIS G J K.Assessment of safety-critical software in nuclear power plants[J].Nuclear Safety,1991,32(2):189-198. [9] FAULK S,BRACKETT J,WARD P,et al.The Core method for real-time requirements[J].IEEE Software,1992,9(5):22-33. [10] FAULK S,FINNERAN L,KIRBY J J,et al.Experience app-lying the CoRE method to the Lockheed C-130J software requirements[C]∥Ninth Conference on Computer Assuranace,Compass 94 Safety,Reliability,Fault Tolerance,Concurrency & Real Time.IEEE,1994:3-8. [11] CHEN G Y,HUANG Z Q,CHEN Z,et al.Safety Analysis of Slat and Flap Control Unit for DO-333[J].Computer Science,2016,43(5):150-156.(in Chinese) 陈光颖,黄志球,陈哲,等.面向DO-333的襟缝翼控制单元安全性分析[J].计算机科学,2016,43(5):150-161. [12] PARNAS D L.From Requirements to Architecture[J].Frontiers in Artificial Intelligence & Applications,2010,217:3-36. [13] LEVESON N G,HEIMDAHL M P E,REESE J D.Designing Specification Languages for Process Control Systems:Lessons Learned and Steps to the Future[C]∥European Software Engineering Conference.ACM.1999:127-145. [14] BABER R L,PARNAS D L,VILKOMIR S A,et al.Disciplined Methods of Software Specification:A Case Study[C]∥International Conference on Information Technology:Coding and Computing.IEEE,2008:428-437. [15] HEITMEYER C,BHARADWAJ R.Applying the SCR Requirements Method to the Light Control Case Study[J].Journal of Universal Computer Science,2000,6:2000. [16] ZHENG J,HUANG Z Q,XU B F.Current progress and prospects of airworthiness certification standards in airborne software[J].Computer Engineering & Design,2012,33(1):204-208.(in Chinese) 郑军,黄志球,徐丙风.机载软件适航认证标准新进展及展望[J].计算机工程与设计,2012,33(1):204-208. |
No related articles found! |
|