微信服务号

微信订阅号

2025-4-6- 5
Home > Archive>Volume 29, Issue 8, 2018 >2350-2370. DOI:10.13328/j.cnki.jos.005530
PDF HTML XML Export Cite reminder
Approach for Generating AADL Model Based on Restricted Natural Language Requirement Template
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61502231, 61272083); National High-Tech R&D Program of China (863) (2015AA105303); National Defense Basic Scientific Research Project of China (JCKY2016203B011); National Key Research and Development Program of China (2016YFB1000802); Natural Science Foundation of Jiangsu Province (BK20150753); Project of the State Key Laboratory of Software Development Environment of China (SKLSDE-2015KF-04); Avionics Science Foundation of China (2015ZC52027)

  • Article
    • | |
  • Metrics
    • |
  • Reference [54]
    • |
  • Related [20]
    • |
  • Cited by
    • | |
  • Comments
    Abstract:

    As embedded software systems are widely used in many crucial areas such as automotive, energy industries and aerospace, failures of these systems will cause pollution of environment, property losses and even casualties. Therefore, safety analysis has been critical for developing these systems. The traditional safety analysis method is mainly used in the software requirement analysis stage and the design stage. However, the gap between requirement and design is a challenge in software engineering area, for it is difficult to transmit and reflect the analysis result of the requirement analysis stage into software designing. The primary reason is that the current software requirement is mainly described in natural language, in which there is ambiguity and fuzziness, and that makes it difficult to be automatically processed. To solve this problem, this paper first focuses on component embedded software and proposes a set of requirement template based on restricted natural language to reduce the ambiguity and fuzziness of natural language requirements. Then, to lessen the complexity of automated processing, requirement abstract syntax diagrams are used as the intermediate model to realize the transition between software requirement specified by restricted natural language template and AADL model, and automatically record the traceability relations between them. Finally, a tool for the method proposed above is developed based on the AADL open source system OSATE, and an example validation is carried out through the spacecraft guidance, navigation and control system GNC (guidance, navigation and control).

    Reference
    [1] Daskaya I, Huhn M, Milius S. Formal safety analysis in industrial practice. In:Proc. of the 16th Int'l Conf. on Formal Methods for Industrial Critical Systems. Springer-Verlag, 2011. 68-84.
    [2] Software bug halts F-22 flight. 2007. http://tech.sina.com.cn/d/2007-12-28/07411942154.shtml
    [3] Afshar A, Hajyhosseinloo M, Eftekhari A, Safari MB, YeKta Z. A report of the injuries sustained in Iran air flight 277 that crashed near Urmia, Iran. Archives of Iranian Medicine, 2012,15(5):317.
    [4] The Toyota recall crisis. 2010. http://www.motortrend.com/features/auto_news/2010/112_1001_toyota_recall_crisis/viewall.html
    [5] MIL-STD-882D. Standard Practice for System Safety Program Requirements. Military:Department of Defense, 2000.
    [6] NASA. NASA-STD-8710.13, Software Safety. Washington:NASA, 2004.
    [7] Mc Dermind J. Software hazard and safety analysis. In:Proc. of the 7th Int'l Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 2002). LNCS 2469, Oldenburg:Springer-Verlag, 2002. 23-34.
    [8] Leveson NG. Software safety:Why, what, and how. Computing Survey, 1986,18(2):125-163.
    [9] Aerospace SAE. Architecture analysis & design language (standard SAE AS5506). 2004. https://saemobilus.sae.org/content/as5506
    [10] Aerospace SAE. Architecture analysis & design language (standard SAE AS5506A). 2009. https://saemobilus.sae.org/content/as5506a
    [11] Yang ZB, Pi L, Hu K, Gu ZH, Ma DF. AADL:An architecture design and analysis language for complex embedded real-time systems. Ruan Jian Xue Bao/Journal of Software, 2010,21(5):899-915(in Chinese with English abstract). http://www.jos.org.cn/1000-9825/3700.htm[doi:10.3724/SP.J.1001.2010.03700]
    [12] Farail P, Gaufillet P, Canals A, Camus CL, Sciamma D, Michel P, Crégut X, Pantel M. The TOPCASED project:A toolkit in open source for critical aeronautic systems design. Embedded Real Time Software (ERTS), 2006,781:54-59.
    [13] Gaufillet P, Heim S, Bonnin H, Dissaux P. ITEA SPICES AADL experimentation at airbus. In:Proc. of the 14th Int'l Conf. on Reliable Software Technologies, Ada-Europe. Washington:IEEE Computer Society Press, 2009. http://public.enst-bretagne.fr/~kermarre/RST2009/p.gaufillet_airbus.pdf
    [14] Lewis BA, Feiler PH. Multi-Dimensional model based engineering using AADL. In:Proc. of the 19th IEEE/IFIP Int'l Symp. on Rapid System Prototyping. Washington:IEEE Computer Society Press, 2008. xv-xviii.
    [15] Athalye P, Maksimovic D, Erickson R. High-Performance front-end converter for avionics applications[aircraft power systems]. IEEE Trans. on Aerospace and Electronic Systems, 2003,39(2):462-470.
    [16] Alexander P, Kong C. Heterogeneous modeling support for embedded systems design. In:Thomas A, Kirsch HCM, eds. Proc. of the Embedded Software. Heidelberg:Springer-Verlag, 2001. 1-13.
    [17] Sztipanovits J, Karsai G. Embedded software:Challenges and opportunities. In:Thomas A, Kirsch HCM, eds. Proc. of the Embedded Software. Heidelberg:Springer-Verlag, 2001. 403-415.
    [18] He JF, Li XS, Liu ZM. Component-based software engineering-The need to link methods and their theories. In:Van Hung D, Wirsing M, eds. Proc. of the Theoretical Aspects of Computing (ICTAC 2005). Heidelberg:Springer-Verlag, 2005. 70-95.
    [19] Crnkovic I, Larsson M. A case study:Demands on component-based development. In:Proc. of the 22nd Int'l Conf. on Software Engineering (ICSE 2000). Limerick:IEEE Computer Society, 2000. 23-31.
    [20] Crnkovic I. Component-Based software engineering-new challenges in software development. Software Focus, 2001,2(4):127-133.
    [21] Hu J. Formal analysis and verification for component-based embedded software design[Ph.D. Thesis]. Nanjing:Nanjing University, 2005(in Chinese with English abstract).
    [22] Elmqvist J, Nadjm-Tehrani S. Safety-Oriented design of component assemblies using safety interfaces. Electronic Notes in Theoretical Computer Science, 2007,182(29):57-72.
    [23] Sakugawa B, Cury E, Yano ET. Airborne software concerns in civil aviation certification. In:Maziero CA, ed. Proc. of the Dependable Computing. Heidelberg:Springer-Verlag, 2005. 52-60.
    [24] Yue T. Restricted use case modeling approach (User manual). Technical Report, Simula Research Laboratory, 2010.
    [25] Yue T, Briand LC, Labiche Y. A use case modeling approach to facilitate the transition towards analysis models:Concepts and empirical evaluation. In:Schürr A, ed. Proc. of the Model Driven Engineering Languages and Systems. Heidelberg:Springer-Verlag, 2009. 484-498.
    [26] Gu B, Dong YW, Wang Z. Formal modeling approach for aerospace embedded software. Ruan Jian Xue Bao/Journal of Software, 2015,26(2):321-331(in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4784.htm[doi:10.13328/j.cnki.jos.004784]
    [27] Mavin A, Wilkinson P, Harwood A, Novak M. Easy approach to requirements syntax (EARS). In:Proc. of the 17th IEEE Int'l Requirements Engineering Conf. New York:IEEE, 2009. 317-322.[doi:10.1109/RE.2009.9]
    [28] França RB, Bodeveix JP, Filali M, Rolland JF, Chemouil D, Thomas D. The AADL behaviour annex-experiments and roadmap. In:Proc. of the 12th IEEE Int'l Conf. on Engineering Complex Computer Systems (ICECCS 2007). Washington:IEEE Computer Society, 2007. 377-382.[doi:10.1109/ICECCS.2007.41]
    [29] Thomas A, Joël C, Philippe D, Pierre YP, Jean CR. AADL execution semantics transformation for formal verification. In:Proc. of the 13th IEEE Int'l Conf. on Engineering of Complex Computer Systems. Washington:IEEE Computer Society, 2008. 263-268.[doi:10.1109/ICECCS.2008.24]
    [30] SAE Aerospace. Architecture analysis and design language (AADL) annex Vol.1(standard SAE AS5506/1). 2011. https://saemobilus.sae.org/content/as5506/1
    [31] Feiler P. SAE aadl error model annex:An overview. Pittsburgh:Software Engineering Institute, Carnegie Mellon University, 2011. https://wiki.sei.cmu.edu/aadl/images/1/13/ErrorModelOverview-Sept222011-phf.pdf
    [32] SAE Aerospace. Architecture analysis and design language (AADL) annex D:Behavior model annex (standard SAE AS5506TM/3). 2017. https://saemobilus.sae.org/content/AS5506/3/
    [33] SAE Aerospace. SAE architecture analysis and design language (AADL) annex Vol.2(standard SAE AS5506/2). 2011. https://saemobilus.sae.org/content/AS5506/2/
    [34] Delange J. ARINC653 AADL annex. ARINC653 annex overview. Pittsburgh:Software Engineering Institute, Carnegie Mellon University, 2013. https://wiki.sei.cmu.edu/aadl/images/7/78/Arinc653annex-jul13.pdf
    [35] The OSATE Website. http://osate.org/
    [36] Li ZS, Gu B. Application research of AADL in design of space craft control system. Aerospace Control and Application, 2011, 37(1):55-58, 62(in Chinese with English abstract).
    [37] Medvidovic N, Dashofy EM, Taylor RN. The role of middleware in architecture-based software development. Int'l Journal of Software Engineering and Knowledge Engineering, 2003,13(4):367-393.
    [38] Zhang W, Mei H, Zhao H, Yang J. Transformation from CIM to PIM:A feature-oriented component-based approach. In:Briand L, ed. Proc. of the Model Driven Engineering Languages and Systems. Berlin, Heidelberg:Springer-Verlag, 2005. 248-263.
    [39] Yue T, Briand LC, Labiche Y. Facilitating the transition from use case models to analysis models:Approach and experiments. ACM Trans. on Software Engineering and Methodology (TOSEM), 2013,22(1):Article No.5.
    [40] Yue T, Briand LC, Labiche Y. Automatically deriving a UML analysis model from a use case model. Technical Report, 2010-15, Oslo:Simula Research Laboratory, 2010.
    [41] Yue T, Briand LC, Labiche Y. An automated approach to transform use cases into activity diagrams. In:Proc. of the 6th European Conf. on Modelling Foundations and Applications (ECMFA). Heidelberg:Springer-Verlag, 2010. 337-353.
    [42] Yue T, Briand LC, Labiche Y. aToucan:An automated framework to derive UML analysis models from use case models. ACM Trans. on Software Engineering and Methodology (TOSEM), 2015,24(3):Articale No.13.
    [43] Lu S, Halang WA, Zhang L. A component-based UML profile to model embedded real-time systems designed by the MDA approach. In:Proc. of the 11th IEEE Int'l Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005). New York:IEEE, 2005. 563-566.[doi:10.1109/RTCSA.2005.6]
    [44] Shih C, Wu CT, Lin CY, Hsiung PA, Hsueh NL, Chang CH, Koong CS, Chu WC. A model-driven multicore software development environment for embedded system. In:Proc. of the 33rd Annual IEEE Int'l Computer Software and Applications Conf. New York:IEEE, 2009. 261-268.[doi:10.1109/COMPSAC.2009.148]
    [45] Wu X, Liu C, Xia Q. Safety requirements modeling based on RUCM. In:Proc. of the Computing, Communications and IT Applications Conf. (ComComAp). New York:IEEE, 2014. 217-222.[doi:10.1109/ComComAp.2014.7017199]
    [46] Holtmann J, Meyer J, von Detten M. Automatic validation and correction of formalized, textual requirements. In:Proc. of the 4th Int'l Conf. on Software Testing, Verification and Validation Workshops (ICSTW). New York:IEEE, 2011. 486-495.[doi:10. 1109/ICSTW.2011.17]
    [47] Fockel M, Holtmann J, Meyer J. Semi-Automatic establishment and maintenance of valid traceability in automotive development processes. In:Proc. of the 2nd Int'l Workshop on Software Engineering for Embedded Systems. Piscataway:IEEE Press, 2012. 37-43.
    [48] Fockel M, Holtmann J. A requirements engineering methodology combining models and controlled natural language. In:Proc. of the 4th Int'l Model-Driven Requirements Engineering Workshop (MoDRE) at Requirements Engineering 2014. New York:IEEE, 2014. 67-76.[doi:10.1109/MoDRE.2014.6890827]
    [49] Daun M, Fockel M, Holtmann J, Tenbergen B. Goal-Scenario-Oriented requirements engineering for functional decomposition with bidirectional transformation to controlled natural language:Case study "body control module". ICB-Research Report, No.55, Essen:Institut für Informatik und Wirtschaftsinformatik (ICB), Universität Duisburg-Essen, 2013. 1-68.
    附中文参考文献:
    [11] 杨志斌,皮磊,胡凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL.软件学报,2010,21(5):899-915. http://www.jos.org.cn/1000-9825/3700.htm[doi:10.3724/SP.J.1001.2010.03700]
    [21] 胡军.构件化嵌入式软件设计的分析与验证[博士学位论文].南京:南京大学,2005.
    [26] 顾斌,董云卫,王政.面向航天嵌入式软件的形式化建模方法.软件学报,2015,26(2):321-331. http://www.jos.org.cn/1000-9825/4784.htm[doi:10.13328/j.cnki.jos.004784]
    [36] 李振松,顾斌.AADL在航天器控制系统设计中的应用研究.空间控制技术与应用,2011,37(1):55-58,62.
    Cited by
Get Citation

王飞,杨志斌,黄志球,周勇,刘承威,章文炳,薛垒,许金淼.基于限定自然语言需求模板的AADL模型生成方法.软件学报,2018,29(8):2350-2370

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 18,2017
  • Revised:January 12,2018
  • Online: March 13,2018
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2033294Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063