Platform-Independent Debugging of Physical Interaction and Signal Flow Models

被引:0
作者
Dadfarnia, Mehdi [1 ]
Barbau, Raphael [2 ]
机构
[1] NIST, Engn Lab, Gaithersburg, MD 20899 USA
[2] Engisis LLC, Bethesda, MD USA
来源
2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON) | 2019年
关键词
SysML; debugging; modeling; simulation; lumped parameter; equation-based languages;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Systems engineering tools are used to organize development activities of a wide variety of engineers, many of whom develop discipline-specific simulation models. To increase the efficiency of this process, systems modeling tools have been extended to represent physical interactions and signal flows that can be translated to simulation tools and executed. Sometimes these simulation models fail to execute or they produce unexpected execution results. It is helpful to identify causes of these problems in earlier stages of system model development, before they propagate to fully-developed simulation models. Debugging physical interaction models is difficult because their execution is bidirectional between system components. This paper gives an overview of debugging procedures for physical interactions and (unidirectional) signal flows in platform-independent system models that integrate with domain-specific simulation models. These procedures identify system model causes of simulation execution failure or incorrect simulation results.
引用
收藏
页数:8
相关论文
共 27 条
[1]  
[Anonymous], 2017, OMG SYSTEMS MODELING
[2]  
[Anonymous], 2005, IEEE 1220 2005
[3]  
Asghar Adeel., 2012, IFAC Proceedings Volumes, V45, P1087
[4]  
Barbau R., 2018, SYSPHS 10 OMG RELEAS
[5]   An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation [J].
Bock, Conrad ;
Barbau, Raphael ;
Matei, Ion ;
Dadfarnia, Mehdi .
SYSTEMS ENGINEERING, 2017, 20 (05) :395-431
[6]  
Bunus P., 2002, Practical Aspects of Declarative Languages. 4th International Symposium, PADL 2002. Proceedings (Lecture Notes in Computer Science Vol.2257), P280
[7]   Semi-automatic fault localization and behavior verification for physical system simulation models [J].
Bunus, P ;
Fritzson, P .
18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, :253-258
[8]  
Canedo A., 2013, 5 INT WORKSHOP EQUAT, P55
[9]  
Cellier F.E., CONTINUOUS SYSTEM MO, P199
[10]  
Controllab Products B.V, 2017, GETTING STARTED 20 S