Verification of embedded system's specification using collaborative simulation of SysML and Simulink models

被引：23

作者：

Kawahara, Ryo ^{[1
]}

Nakamura, Hiroaki ^{[1
]}

Dotan, Dolev ^{[2
]}

Kirshin, Andrei ^{[2
]}

Sakairi, Takashi ^{[1
]}

Hirose, Shinichi ^{[1
]}

Ono, Kohichi ^{[1
]}

Ishikawa, Hiroshi ^{[1
]}

机构：

[1] IBM Res, Tokyo Res Lab, 1623-14 Shimotsuruma, Yamato, Kanagawa 2428502, Japan

[2] IBM Res, Haifa Res Lab, Haifa, Israel

来源：

MBSE: 2009 INTERNATIONAL CONFERENCE ON MODEL-BASED SYSTEMS ENGINEERING | 2009年

关键词：

D O I：

10.1109/MBSE.2009.5031716

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The authors propose an extension of SysML which enables description of continuous-time behavior The authors also develop its execution tool integrated on Eclipse-based platform by exploiting co-simulation of SysML and MATLAB / Simulink. To demonstrate the effectiveness of the tool and the extension to SysML in verifying specifications of an embedded system, we create a sample model and analyze its execution results by checking constraints under a test case.

引用

页码：21 / +

页数：3

共 50 条

[1] Design and Simulation of a SCADA System using SysML and Simulink
Gezer, Dogan
Unver, Hakki Ozgur
Tascioglu, Yigit
Celebioglu, Kutay
Aradag, Selin
2013 INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATIONS (ICRERA), 2013, : 1058 - 1062
[2] Designing a Control System using SysML and Simulink
Sakairi, Takashi
Palachi, Eldad
Cohen, Chaim
Hatsutori, Yoichi
Shimizu, Junya
Miyashita, Hisashi
2012 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2012, : 2011 - 2017
[3] Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool
Rahim, Muhammad Abdul Basit Ur
Arif, Fahim
Ahmad, Jamil
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 : 541 - +
[4] Application Engineering for Embedded Systems Transforming SysML Specification to Simulink within a Product-Line based Approach
Fragal, Vanderson H.
Silva, Rogerio F.
Gimenes, Itana M. S.
Oliveira Junior, Edson A.
ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, 2013, : 94 - 101
[5] An embedded system's design verification using object-oriented simulation
Cunning, SJ
Schulz, S
Rozenblit, JW
SIMULATION, 1999, 72 (04) : 238 - 249
[6] Simulation and verification of an embedded system
Augé, P
Rozoy, B
Maurin, T
Reynaud, R
Bouchefra, K
COMPUTERS AND THEIR APPLICATIONS, 2001, : 272 - 275
[7] Integration of domain-specific simulation models into descriptive system models by using SysML
Friedl, M.
Kellner, A.
Weingartner, L.
2017 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE 2017), 2017, : 44 - 48
[8] System and simulation modeling using SysML
Huang, Edward
Ramamurthy, Randeep
McGinnis, Leon F.
PROCEEDINGS OF THE 2007 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2007, : 775 - 782
[9] Verification of a microcomputer program specification embedded in a reactive system
Ishihara, Y
Ninomiya, K
Seki, H
Takahara, D
Yamada, Y
Omoto, S
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (05): : 1082 - 1091
[10] Verification of a microcomputer program specification embedded in a reactive system
Osaka Univ., Toyonaka-shi, Japan
不详
不详
IEICE Transactions on Information and Systems, 2000, E83-D (05) : 1082 - 1091

← 1 2 3 4 5 →