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 条

[21] Formal Extension and Verification of System Design Models for Complex Mechatronic Systems Based on SysML
Cao Y.
Liu Y.
Zhao J.
Ye X.
Zhou S.
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2019, 31 (12): : 2166 - 2176
[22] Tooled Process for Early Validation of SysML Models Using Modelica Simulation
Gauthier, Jean-Marie
Bouquet, Fabrice
Hammad, Ahmed
Peureux, Fabien
FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2015, 2015, 9392 : 230 - 237
[23] MODELING AND SIMULATION OF A GROUNDING SYSTEM USING SIMULINK
Aguiar, A. B. M.
Godoy, R. B.
Pires, G. S.
Abe, L. F.
Capitanio, R. A.
Pinto, J. O. P.
2009 BRAZILIAN POWER ELECTRONICS CONFERENCE, VOLS 1 AND 2, 2009, : 978 - 983
[24] Using timed CSP for specification verification and simulation of multimedia synchronization
Ates, AF
Bilgic, M
Saito, S
Sarikaya, B
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1996, 14 (01) : 126 - 137
[25] Airport Baggage Handling System Simulation Modeling Using SysML
Lin, James T.
Huang, Edward
Shih, Ping-Hsi
Chiu, Chun-Chih
2015 INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND OPERATIONS MANAGEMENT (IEOM), 2015,
[26] Using Reo for formal specification and verification of system designs
Razavi, Niloofar
Sirjani, Marjan
FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 113 - +
[27] Modeling and simulation of a distribution STATCOM using Simulink's Power System Blockset
Giroux, P
Sybille, G
Le-Huy, H
IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 990 - 994
[28] Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
Randolph, Aurel
Imine, Abdessamad
Boucheneb, Hanifa
Quintero, Alejandro
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 184 - 198
[29] Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML
Chu, Changyong
Yin, Chengfang
Su, Shaohui
Chen, Chang
MACHINES, 2022, 10 (10)
[30] Towards Holistic System Models Including Domain-Specific Simulation Models Based on SysML
Zhang, Yizhe
Hoepfner, Gregor
Berroth, Joerg
Pasch, Gerwin
Jacobs, Georg
SYSTEMS, 2021, 9 (04):

← 1 2 3 4 5 →