Computer Science ›› 2018, Vol. 45 ›› Issue (4): 196-202.doi: 10.11896/j.issn.1002-137X.2018.04.033

Previous Articles     Next Articles

Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case

ZHAN Yun-jiao, WEI Ou and HU Jun   

  • Online:2018-04-15 Published:2018-05-11

Abstract: DO-178C is an improvement and supplement for airborne software airworthiness certification standard DO-178B,and it is used to provide guidance for software quality control of civil aircraft airborne systems and equipments.SCR(Software Cost Reduction),as a formal method,can be applied to the description of complex and large-scale embedded systems based on four-variable model.Based on the DO-178C,this paper used the SCR method to formalize the requirement specification of the flap slat control system in the original aircraft system,and carried on the detailed case for the flap motor speed control module in the flap slat control system.Through analysis,whether the DO-178C meets the relevant validation indicators can be determined .Through analyzing and validating,some application techniques of SCR method were proposed.This work will provide the basis for the application of SCR method in airborne software system.

Key words: DO-178C,SCR method,Four-variable model,Airborne software,T-VEC

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[3] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[4] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[5] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[6] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[7] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[8] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[9] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[10] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .