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 条
  • [21] Modeling and evaluation of hardware/software designs
    Tibrewala, NK
    Paul, JM
    Thomas, DE
    PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 11 - 16
  • [22] RELIABILITY MODELING OF HARDWARE SOFTWARE SYSTEMS
    WELKE, SR
    JOHNSON, BW
    AYLOR, JH
    IEEE TRANSACTIONS ON RELIABILITY, 1995, 44 (03) : 413 - 418
  • [23] MODELING AND SIMULATION OF SEPARATING MIXTURE FLOWS
    UNGARISH, M
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 1991, 91 (1-3) : 1175 - 1185
  • [24] A High Level Mixed Hardware/Software Modeling Framework for Rapid Performance Estimation
    Kriegel, Joffrey
    Pegatoquet, Alain
    Auguin, Michel
    Broekaert, Florian
    2012 IEEE 10TH INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2012, : 233 - 236
  • [25] Automated support for framework-based software evolution
    Tourwé, T
    Mens, T
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 148 - 157
  • [26] Software-in-the-loop Modeling and Simulation Framework for Autonomous Vehicles
    Ahamed, Mohamed Fasil Syed
    Tewolde, Girma
    Kwon, Jaerock
    2018 IEEE INTERNATIONAL CONFERENCE ON ELECTRO/INFORMATION TECHNOLOGY (EIT), 2018, : 305 - 310
  • [27] A simulation based trainer for software reliability modeling
    Jones, EL
    Rembert, AJ
    12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2001, : 160 - 165
  • [28] DESIGN OF A SOFTWARE FRAMEWORK FOR RESEARCH IN POWER SYSTEM MODELING AND SIMULATION
    Kulasza, M. A.
    Annakkage, U. D.
    2013 26TH ANNUAL IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2013, : 153 - 157
  • [29] A framework-based approach to science software development
    Larson, S
    Rengarajan, K
    2000 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 2000, : 475 - 490
  • [30] Structural Aspects of Data Modeling Languages
    Halpin, Terry
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2011, 81 : 428 - 442