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 条
  • [41] Verification of Fail Safe Function for HEV Embedded System Using Hardware-in-the-loop Simulation
    Park, Jinhynn
    Kim, Hyunoh
    Cho, Baekyun
    Jeon, Jaewook
    Hwang, Sung-Ho
    25TH WORLD BATTERY, HYBRID AND FUEL CELL ELECTRIC VEHICLE SYMPOSIUM AND EXHIBITION PROCEEDINGS, VOLS 1 & 2, 2010, : 174 - 180
  • [42] Development of Fast Simulation Models for Photovoltaic Generation System Based on Simulink
    Liu, Xiaokang
    Zhuo, Fang
    Chen, Ying
    Xiong, Liansong
    2015 IEEE ENERGY CONVERSION CONGRESS AND EXPOSITION (ECCE), 2015, : 3265 - 3270
  • [43] Using simulation system for collaborative learning to enhance learner's performance
    Zulfiqar, Salman
    Zhou, Rongting
    Asmi, Fahad
    Yasin, Affan
    COGENT EDUCATION, 2018, 5 (01):
  • [44] Dynamic Fault Tree Generation and Quantitative Analysis of System Reliability for Embedded Systems Based on SysML Models
    Chu, Changyong
    Yang, Weikang
    Chen, Yajun
    SENSORS, 2024, 24 (18)
  • [45] Rapid embedded system testing using verification patterns
    Tsai, WT
    Yu, L
    Zhu, P
    Paul, B
    IEEE SOFTWARE, 2005, 22 (04) : 68 - +
  • [46] Standard Compliant Co-simulation Models for Verification of Automotive Embedded Systems
    Krammer, Martin
    Martin, Helmut
    Radmilovic, Zoran
    Erker, Simon
    Karner, Michael
    LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, 2016, 385 : 29 - 47
  • [47] Standard Compliant Co-Simulation Models for Verification of Automotive Embedded Systems
    Krammer, Martin
    Martin, Helmut
    Radmilovic, Zoran
    Erker, Simon
    Karner, Michael
    2015 18th Forum on Specification and Design Languages (FDL), 2015, : 57 - 64
  • [48] A novel collaborative scheme of simulation and model checking for system properties verification
    Zhu, Ming
    Bian, Jinian
    Wu, Weimin
    COMPUTERS IN INDUSTRY, 2006, 57 (8-9) : 752 - 757
  • [49] VERIFICATION THE IMPACT OF SEQUENTIAL MODELS SPT AND CDS TO COMPLEXITY OF THE SYSTEM USING SIMULATION SOFTWARE
    Lazar, Ivan
    Liptakova, Andrea
    AKTUALNE PROBLEMY PODNIKOVEJ SFERY 2013, 2013, : 315 - 320
  • [50] Co-simulation of a mechatronic system using Gensys and Simulink
    Spiryagin, Maksym
    Simson, Scott
    Cole, Colin
    Persson, Ingemar
    VEHICLE SYSTEM DYNAMICS, 2012, 50 (03) : 495 - 507
12345