A Survey of Model Extraction Techniques based on Development Artifacts of Embedded Systems

被引:0
|
作者
Yamamoto R. [1 ]
Yoshida N. [2 ]
Takada H. [2 ]
机构
[1] National Institutes of Technology, Tomakomai College
基金
日本学术振兴会;
关键词
Compendex;
D O I
10.11309/jssst.39.3_4
中图分类号
学科分类号
摘要
Embedded system is a computer system that is embedded in various devices. Compared to enterprise systems, embedded systems require not only interaction with users but also interaction with hardware devices. Therefore, the characteristics of the development artifacts are different from enterprise systems. In this paper, we focus on the source code and requirement specifications of embedded systems, and explain the analysis methods to support the extraction and understanding of technical debts that reduce the efficiency of reuse and maintenance. In the analysis of requirements specifications, we found that analysis based on domain knowledge and domain constraints are challenges, and that there is a high demand for high-level functional safety. For source code analysis, the issues are the granularity of the analysis, the usage of dynamic analysis by runtime information, and the usage of technology to obtain information near to runtime information statically. © 2022 Japan Society for Software Science and Technology. All rights reserved.
引用
收藏
页码:4 / 16
页数:12
相关论文
共 50 条
  • [21] Memory power optimization of Java-based embedded systems exploiting garbage collection information
    DACYA-Complutense University of Madrid , Avda Complutense s/n, 28040 Madrid, Spain
    不详
    J Syst Archit, 2 (61-72):
  • [22] SOFTWARE-DEVELOPMENT COSTS COME DOWN WITH MODULE-BASED DEVELOPMENT SYSTEMS
    FOLKES, D
    ELECTRONIC DESIGN, 1980, 28 (06) : 275 - 279
  • [23] Template directed development of web-based information systems
    Electrical and Computer Eng. Dept., University of Waterloo, Waterloo, Ont., Canada
    Proc. Intl. Conf. Inf. Knowl. Eng., 1600, (686-692):
  • [24] Integration technology of CAD/CAPP systems based on lightweight model
    Key Laboratory of Contemporary Design and Integrated Manufacturing Technology, Northwestern Polytechnical University, Xi'an 710072, China
    Jisuanji Jicheng Zhizao Xitong, 1600, 3 (521-526): : 521 - 526
  • [25] Automatic model based partitioning of distributed automotive electric systems
    Nenninger, Philipp
    Rambow, Thomas
    Kiencke, Uwe
    SAE Techni. Paper., 2004,
  • [26] Physical model-based ArF photoresist formulation development
    Yue, Liwan
    Mao, Zhibiao
    Wu, Qiang
    Li, Yanli
    Li, Yanqiu
    AIP ADVANCES, 2024, 14 (02)
  • [27] Logistics Finance Collaborative Development Model Based on Machine Learning
    Wang, Yuqin
    Computational Intelligence and Neuroscience, 2022, 2022
  • [28] Variant generation of software-defined mechatronic systems in model-based systems engineering
    White, Dustin
    Weis, Matthias
    Jazdi, Nasser
    Weyrich, Michael
    IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, 2022, 2022-September
  • [29] FORMAL MODEL OF PARALLEL SYSTEMS BASED ON MULTIHEAD TURING MACHINES.
    Guseinov, N.G.
    Korolev, L.N.
    1600, (08):
  • [30] A model for system-based analysis of voting systems (transcript of discussion)
    Tjøstheim, Thomas
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 5964 LNCS : 131 - 132