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 条

[31] Specification and verification techniques of embedded systems using probabilistic linear hybrid automata
Mutsuda, Y
Kato, T
Yamane, S
EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 346 - 360
[32] A system of permeability specification for use in moisture simulation models
Galbraith, GH
McLean, RC
Guo, J
Kelly, D
INDOOR AND BUILT ENVIRONMENT, 1998, 7 (04) : 216 - 223
[33] Specification of Adleman's restricted model using an automated reasoning system:: Verification of Lipton's experiment
Díaz, CG
Mateos, FJM
Jiménez, MJP
UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS, 2002, 2509 : 126 - 136
[34] Modelling and simulation of a SCARA robot using solid dynamics and verification by MATLAB/Simulink
Alshamasin, Mahdi Salman
Ionescu, Florin
Al-Kasasbeh, Riad Taha
INTERNATIONAL JOURNAL OF MODELLING IDENTIFICATION AND CONTROL, 2012, 15 (01) : 28 - 38
[35] A framework for embedded system specification under different models of computation in SystemC
Herrera, F.
Villar, E.
43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 911 - +
[36] Flying control system simulation modeling using simulink
Li, HG
Feng, ZS
Gu, HQ
Chen, JH
PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 147 - 150
[37] MODELLING AND SIMULATION OF ROBOT SYSTEM USING MATLAB AND SIMULINK
Damic, Vjekoslav
Cohodar, Maida
Kulenovic, Malik
ANNALS OF DAAAM FOR 2009 & PROCEEDINGS OF THE 20TH INTERNATIONAL DAAAM SYMPOSIUM, 2009, 20 : 1247 - 1248
[38] Formal verification of SysML diagram using case studies of real-time system
Ali, Sajjad
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (04) : 245 - 262
[39] SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS
SUNSHINE, CA
THOMPSON, DH
ERICKSON, RW
GERHART, SL
SCHWABE, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 460 - 489
[40] Verification of simulation models using Gantt charts
Rivera, FA
Fernández, G
Otamendi, J
ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 73 - 77

← 1 2 3 4 5 →