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

来源：

Computer Software | 2022年 / 39卷 / 03期

基金：

日本学术振兴会;

关键词：

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

共 36 条

[1]

Baxter I. D., Yahin A., Moura L., Sant'Anna M., Bier L., Clone detection using abstract syntax trees, Proc. of ICSM, 1998, pp. 368-377, (1998)

[2]

独立行政法人情報処理推進機構セキュリティセンター:ファジング活用の手引き, (2021)

[3]

Hashimoto S., Sugimoto Y., Hamamoto K., Ishihama N., Ship classification from SAR images based on deep learning, Proceedings of SAI Intelligent Systems Conference, pp. 18-34, (2018)

[4]

69, 8, (2014)

[5]

Khurshid S., Pas areanu C. S., Visser W., Generalized symbolic execution for model checking and testing, Proc. TACAS, pp. 553-568, (2003)

[6]

Kirchmayr W., Moser M., Nocke L., Pichler J., Tober R., Integration of static and dynamic code analysis for understanding legacy source code, Proc. of ICSME, pp. 543-552, (2016)

[7]

Kung D., Suchak N., Gao J., Hsia P., Toyoshima Y., Chen C., On object state testing, Proc. COMPSAC, 94, pp. 222-227, (1994)

[8]

Li W., Consistency Checking of Natural Language Temporal Requirements using Answer-Set Programming, (2015)

[9]

34, 2, pp. 16-27, (2017)

[10]

(2005)

← 1 2 3 4 →