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 条
  • [31] Aspects and Roles in Software Modeling: A Composition Based Comparison
    Vranic, Valentino
    Laslop, Milan
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2016, 13 (01) : 199 - 216
  • [32] MODELING, SIMULATION AND SYNTHESIS: RECONFIGURABLE HARDWARE FOR AUTOMATIC MODULATION IDENTIFICATION IN SOFTWARE RADIO
    Prakasam, P.
    Madheswaran, M.
    ICMEE 2009: PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON MECHANICAL AND ELECTRONICS ENGINEERING, 2010, : 55 - 59
  • [33] A Framework for Usability Evaluation of Modeling Languages
    Vinaja, Roberto
    JOURNAL OF GLOBAL INFORMATION TECHNOLOGY MANAGEMENT, 2013, 16 (01) : 89 - 90
  • [34] An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics
    Garcia-Magarino, Ivan
    Gomez-Sanz, Jorge J.
    Fuentes-Fernandez, Ruben
    AGENT-ORIENTED SOFTWARE ENGINEERING IX, 2009, 5386 : 101 - 115
  • [35] An open framework for detailed hardware modeling
    Tara, Safouan
    Radermacher, Ansgar
    Gerard, Sebastien
    Dekeyser, Jean-Luc
    2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 118 - +
  • [36] Modeling and Simulation of Complex Systems: A Framework for Efficient Agent-Based Modeling and Simulation
    Koch, Andreas
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2016, 19 (01):
  • [37] Modeling safe operating area in hardware description languages
    Goldgeisser, Leonid
    Christen, Ernst
    Deng, Zhichao
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 377 - +
  • [38] Fundamental principles of modeling timing in hardware description languages
    Ghosh, S
    JOURNAL OF SYSTEMS ARCHITECTURE, 2001, 47 (05) : 405 - 426
  • [39] A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software
    WANG LizeLIU BinLU Minyan Department of Project Systems EngineeringBeihang UniversityBeijing China
    Chinese Journal of Aeronautics, 2011, 24 (02) : 181 - 194
  • [40] A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software
    Wang Lize
    Liu Bin
    Lu Minyan
    CHINESE JOURNAL OF AERONAUTICS, 2011, 24 (02) : 181 - 194