An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study

被引：0

作者：

Shan, Jin-Hui ^{[1
]}

Zhao, Hai-Yan ^{[2
,3
]}

Wang, Jin-Bo ^{[1
]}

Wang, Rui-Xue ^{[1
]}

Ruan, Cheng-Lin ^{[1
]}

Yao, Zhe-Xi ^{[1
]}

机构：

[1] Chinese Acad Sci, Technol & Engn Ctr Space Utilizat, Beijing 100094, Peoples R China

[2] Minist Educ, Key Lab High Confidence Software Technol, Beijing 100871, Peoples R China

[3] Peking Univ, Sch EECS, Inst Software, Beijing 100871, Peoples R China

来源：

SOFTWARE ENGINEERING AND METHODOLOGY FOR EMERGING DOMAINS | 2016年 / 675卷

基金：

中国国家自然科学基金;

关键词：

ABSTRACT STATE MACHINES; AUTOMATA; SYSTEMS;

D O I：

10.1007/978-981-10-3482-4_2

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Formal models of software requirements facilitate automated analysis and verification of the models, and software testing as well. A challenging problem in requirements modeling for real-time embedded software is to devise an easy-to-use formal requirements modeling language and a corresponding requirements modeling approach. Timed Abstract State Machine, abbreviated as TASM, is an easy-to-use formal requirements modeling language, but it has its limitations. We have extended TASM. In this paper, we propose an extended TASM-based requirements modeling approach for real-time embedded software to identify the parallel and hierarchical components, and describe the functional and non-functional requirements of the software. We apply the proposed approach to model requirements of actual real-time embedded software to validate its effectiveness. Our study highlights several lessons for modeling requirements of real-time embedded software in the extended TASM.

引用

页码：19 / 34

页数：16

共 50 条

[1] A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
Zhou, Jiale
Lu, Yue
Lundqvist, Kristina
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, 2014, 8454 : 43 - 57
[2] On modeling approach for embedded real-time software simulation testing
Yin Yongfeng
[J]. Journal of Systems Engineering and Electronics, 2009, 20 (02) : 420 - 426
[3] On modeling approach for embedded real-time software simulation testing
Yin Yongfeng
Liu Bin
Zhong Deming
Jiang Tongmin
[J]. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2009, 20 (02) : 420 - 426
[4] Requirements specifications checking of embedded real-time software
Guoqing Wu
Fengdi Shu
Min Wang
Weiqing Chen
[J]. Journal of Computer Science and Technology, 2002, 17 : 56 - 63
[5] Requirements specifications checking of embedded real-time software
Wu, GQ
Shu, FD
Wang, M
Chen, WQ
[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (01): : 56 - 63
[6] Real-time Embedded Software Architecture Modeling and Reliability Evaluation Based on Time-extended Petri Net
Li, Hong-Bing
Wang, Ming-Wei
[J]. MATERIAL SCIENCE, CIVIL ENGINEERING AND ARCHITECTURE SCIENCE, MECHANICAL ENGINEERING AND MANUFACTURING TECHNOLOGY II, 2014, 651-653 : 1888 - 1892
[7] Test Cases Generation for Embedded Real-time Software Based on Extended UML
Yin Yongfeng
Liu Bin
Lu Minyan
Li Zhen
[J]. 2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, : 69 - 74
[8] A Requirements Engineering Environment for Embedded Real-Time Software—SREE
LI Yonghua~ 1
2. Department of Computer
[J]. Wuhan University Journal of Natural Sciences, 2006, (03) : 533 - 538
[9] System Level Modeling of Real-Time Embedded Software
Lee, Richard
Abdi, Samar
Regehr, Doug
Risacher, Frederic
[J]. 2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 496 - 497
[10] A case study in the reuse of on-board embedded real-time software
Vardanega, T
Caspersen, G
Pedersen, JS
[J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 425 - 436

← 1 2 3 4 5 →