Separating modeling and simulation aspects in hardware/software framework-based modeling languages

被引:0
作者
Lapalmet, James [1 ]
Aboulhamid, El Mostapha [1 ]
Nicolescu, Gabriela [2 ]
Rousseau, Frederic [3 ]
机构
[1] OUniv Montreal, Lab LASSO, IR, Montreal, PQ H3C 3J7, Canada
[2] Ecole Polytech, Montreal, PQ H3C 3A7, Canada
[3] TIMA, F-38031 Grenoble, France
关键词
logic design hardware description languages; simulation; verification; VHDL; programming languages : design languages; C#; C++; concurrent; simulation and modeling : simulation languages; modeling methodologies; environments;
D O I
暂无
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
As transistor integration reaches the order of billions, the already significant productivity gap which plagues the silicon industry will only widen further. Many are working on the problem from different angles. Some regard domain-specific modeling languages as a solution. Others believe in modeling languages which are based on a library/framework approach. Yet others believe in sophisticated proprietary tools. None of the current paths seem to be silver bullets. However, object-oriented framework-based solutions, such as SystemC, are gaining a great deal of momentum and acceptance from the industry. Despite all the efforts which have been spent on the development of these types of solutions, very few efforts have been spent on the cornerstone task of investigating which software design techniques and technologies should be used to develop effective framework-based solutions. The main objective of this article is to present how modem software engineering technologies may be used to create better framework-based modeling solutions. These solutions are characterized by a clear separation of concerns between modeling and simulation aspects. A novel modeling framework called SoCML is presented which possesses the above characteristic. SoCML has many benefits such as verification by interception and alternative simulation support.
引用
收藏
页码:41 / 60
页数:20
相关论文
共 50 条
[41]   Modeling for heterogeneous objects based on X language: A modeling method of algorithm-hardware [J].
Liu, Yue ;
Zhao, Chun .
INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2022, 13 (02)
[42]   A modeling method of algorithm-hardware based on SysML [J].
Yue, Liu ;
Chun, Zhao ;
Lin, Zhang .
INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2022, 13 (03)
[43]   Modeling, Simulation and Optimization of Depropanizer Based on Rigorous Mechanism Modeling [J].
Jiang Aipeng ;
Jiang Zhoushu ;
Wang Jian ;
Ding Qiang ;
Huang Guohui .
Proceedings of the 27th Chinese Control Conference, Vol 3, 2008, :189-193
[44]   DESIGN OF TECHNICAL SYSTEMS USING SIMULATION-HARDWARE MODELING COMPLEXES [J].
Prisyazhniy, V. I. .
SPACE SCIENCE AND TECHNOLOGY, 2024, 30 (05) :62-74
[45]   AN OBJECT-ORIENTED MODELING FRAMEWORK FOR SAWMILL SIMULATION [J].
RANDHAWA, SU ;
BRUNNER, CC ;
FUNCK, JW ;
ZHANG, GC .
COMPUTERS & INDUSTRIAL ENGINEERING, 1993, 25 (1-4) :565-568
[46]   A System Simulation Framework for Modeling Space Modulation Techniques [J].
Hiari, Omar ;
Mesleh, Raed ;
Al-Khatib, Abdullah .
IEEE SYSTEMS JOURNAL, 2020, 14 (01) :1435-1446
[47]   A framework for analytics and simulation of accounting information systems: A Petri net modeling primer [J].
Kim, Rosemary ;
Gangolly, Jagdish ;
Elsas, Philip .
INTERNATIONAL JOURNAL OF ACCOUNTING INFORMATION SYSTEMS, 2017, 27 :30-54
[48]   PROCESS MODELING AND SCENARIO SIMULATION IN CONSTRUCTION USING ENTERPRISE DYNAMICS SIMULATION SOFTWARE [J].
Galic, Mario ;
Thronicke, Ralf ;
Schreck, Benjamin Michael ;
Feine, Immo ;
Bargstaedt, Hans-Joachim .
ELECTRONIC JOURNAL OF THE FACULTY OF CIVIL ENGINEERING OSIJEK-E-GFOS, 2015, 10 :10-21
[49]   Toward a Collection of Principles, Techniques, and Elements of Modeling and Simulation Software [J].
Himmelspach, Jan .
SIMUL: 2009 FIRST INTERNATIONAL CONFERENCE ON ADVANCES IN SYSTEM SIMULATION, 2009, :56-61
[50]   Software Development and Testing: A System Dynamics Simulation and Modeling Approach [J].
Saurabh, Kumar .
SEPADS'10: PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PARALLEL AND DISTRIBUTED SYSTEMS, 2010, :67-72