Projection-based Requirements Analysis Approach for Embedded Systems
Author:
Affiliation:

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

    Embedded systems are becoming increasingly complex, and the requirements analysis of their software systems has become a bottleneck in embedded system development. Device dependency and interleaving execution logic are typical characteristics of embedded software systems, necessitating effective requirement analysis methods to decouple the requirements based on device dependencies. Starting from the idea of environment-based modeling in requirement engineering, this study proposes a projection-based requirement analysis approach from system requirements to software requirements for embedded software systems, helping requirement engineers to effectively decouple the requirements. The study first summarizes the system requirement and software requirement descriptions of embedded software systems, defines the requirement decoupling strategies of embedded software systems based on interactive environment characteristics, and designs the specification process from system requirements to software requirements. A real case study is carried out in the spacecraft sun search system, and five representative case scenarios are quantitatively evaluated through two metrics of coupling and cohesion, which demonstrate the effectiveness of the proposed approach.

    Reference
    [1] Rosero-Montalvo PD, López Batista VF, Rosero EA, Jaramillo ED, Caraguay JA, Pijal-Rojas J, Peluffo-Ordóñez DH. Intelligence in embedded systems: Overview and applications. In: Proc. of the 2019 Future Technologies Conf. (FTC). Switzerland: Springer, 2019. 874–883.
    [2] Pereira T, Ribeiro Q, Melo M, Magro S, Alencar F, Castro J. Requirements engineering for embedded systems: A systematic literature review. 2021. https://www.inf.puc-rio.br/wer/WERpapers/artigos/artigos_WER21/WER_2021_paper_11.pdf
    [3] Braun P, Broy M, Houdek F, Kirchmayr M, Müller M, Penzenstadler B, Pohl K, Weyer T. Guiding requirements engineering for software-intensive embedded systems in the automotive industry: The REMsES approach. Computer Science-research and Development, 2014, 29: 21–43.
    [4] Pretschner A, Broy M, Kruger IH, Stauner T. Software engineering for automotive systems: A roadmap. In: Proc. of the 2007 Future of Software Engineering. Minneapolis: IEEE, 2007. 55–71.
    [5] Lavi JZ, Kudish J. Systems modeling & requirements specification using ECSAM: An analysis method for embedded & computer-based systems. Innovations in Systems and Software Engineering, 2005, 1(2): 100–115.
    [6] Lavi JZ, Kudish J. Systems modeling & requirements specification using ECSAM: A method for embedded computer-based systems analysis. In: Proc. of the 11th IEEE Int’l Conf. and Workshop on the Engineering of Computer-based Systems. Brno: IEEE, 2004. 2–11.
    [7] Alford. SREM at the age of eight; the distributed computing design system. Computer, 1985, 18(4): 36–46.
    [8] Wrigley JC. Requirements decomposition using a graphical method. In: Proc. of the 15th IEEE Int’l Conf. of System of Systems Engineering (SoSE). Budapest: IEEE, 2020. 47–52.
    [9] Jackson M. Problem Frames: Analyzing and Structuring Software Development Problems. Boston: Addison-Wesley, 2001.
    [10] Jin Z. Environment Modeling-based Requirements Engineering for Software Intensive Systems. San Francisco: Morgan Kaufmann, 2018.
    [11] Jin Z, Chen XH, Zowghi D. Performing projection in problem frames using scenarios. In: Proc. of the 16th Asia-Pacific Software Engineering Conf. Batu Ferringhi: IEEE, 2009. 249–256.
    [12] Yuan ZH, Chen XH, Liu J, Yu YJ, Sun HY, Zhou TL, Jin Z. Simplifying the formal verification of safety requirements in zone controllers through problem frames and constraint-based projection. IEEE Trans. on Intellignet Transportation Systems, 2018, 19(11): 3517–3528.
    [13] 刘筱珊, 袁正恒, 陈小红, 陈铭松, 刘静, 周庭梁. 区域控制器的安全需求建模与自动验证. 软件学报, 2020, 31(5): 1374–1391. http://www.jos.org.cn/1000-9825/5952.htm
    Liu XS, Yuan ZH, Chen XH, Chen MS, Liu J, Zhou TL. Safety requirements modeling and automatic verification for zone controllers. Ruan Jian Xue Bao/Journal of Software, 2020, 31(5): 1374–1391 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5952.htm
    [14] Wrigley JC. Structuring the problem space for model-based systems engineering. INSIGHT, 2019, 22(1): 45–50.
    [15] Friedenthal S, Moore A, Steiner R. Omg systems modeling language (OMG SysMLTM) tutorial. INCOSE Int’l Symp., 2008, 18(1): 1731–1862.
    [16] Penzenstadler B. DeSyRe: Decomposition of systems and their requirements [Ph.D. Thesis]. Munich: Technische Universität München, 2011.
    [17] Penzenstadler B. Exactly the information your subcontractor needs: DeSyRe—Decomposing system requirements. In: Proc. of the 1st Int’l Workshop on Requirements Patterns. Trento: IEEE, 2011. 1–10.
    [18] Heninger KL. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Engineering, 1980, SE-6(1): 2–13.
    [19] Heitmeyer CL. Software Cost Reduction. Chichester: John Wiley Sons, Ltd., 2002.
    [20] Jin Z, Liu L. Towards automatic problem decomposition: An ontology-based approach. In: Proc. of the 2006 Int’l Workshop on Advances and Applications of Problem Frames. Shanghai: ACM, 2006. 41–48.
    [21] Jackson M. The meaning of requirements. Annals of Software Engineering, 1997, 3: 5–21.
    [22] Fenton N, Melton A. Deriving structurally based software measures. Journal of Systems and Software, 1990, 12(3): 177–187.
    [23] Newman MEJ, Girvan M. Finding and evaluating community structure in networks. Physical Review E, 2004, 69(2): 026113.
    [24] 杨孟飞, 顾斌, 段振华, 金芝, 詹乃军, 董云卫, 田聪, 李戈, 董晓刚, 李晓锋. 嵌入式软件智能合成框架及关键科学问题. 中国空间科学技术, 2022, 42(4): 1–7.
    Yang MF, Gu B, Duan ZH, Jin Z, Zhan NJ, Dong YW, Tian C, Li G, Dong XG, Li XF. Intelligent program synthesis framework and key scientific problems for embedded software. Chinese Space Science and Technology, 2022, 42(4): 1–7 (in Chinese with English abstract).
    [25] Wang XQ, Chen XH, Yang X, Yang B. Requirements patterns for complex embedded systems. In: Proc. of the 30th IEEE Int’l Requirements Engineering Conf. Workshops (REW). Melbourne: IEEE, 2022. 14–17.
    Related
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

王小齐,陈小红,金芝,顾斌,綦艳霞.基于投影的嵌入式系统需求分析方法.软件学报,2024,35(12):5397-5418

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:April 21,2023
  • Revised:July 20,2023
  • Online: March 27,2024
  • Published: December 06,2024
You are the first2033794Visitors
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