MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution

被引：0
|
作者：
Becker, Markus [1 ]
Defo, Gilles B. G. [1 ]
Fummi, Franco [2 ,3 ]
Mueller, Wolfgang [1 ]
Pravadelli, Graziano [2 ,3 ]
Vinco, Sara [2 ]
机构：
[1] Paderborn Univ, Paderborn, Germany
[2] Univ Verona, Verona, Italy
[3] EDALab Srl, Verona, Italy
来源：
DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012) | 2012年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This work proposes an advanced methodology based on an open source virtual prototyping framework for verification of complex Heterogeneous Embedded Systems (HES). It supports early rapid modelling of complex HES through smooth refinements, an open interface based on IP-XACT extensions for secure composition of HES components, and automatic testbench generation over different abstraction levels.
引用
收藏
页码：296 / 299
页数：4
相关论文
共 50 条
  • [1] Heterogeneous verification of embedded control systems
    Kumar, Rajesh
    Krogh, Bruce H.
    [J]. 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4597 - +
  • [2] Efficient Modelling of Embedded Software Systems and Their Formal Verification
    Estivill-Castro, Vladimir
    Hexel, Rene
    Rosenblueth, David A.
    [J]. 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 428 - 433
  • [3] An ontology-based approach to heterogeneous verification of embedded control systems
    Kumar, R
    Krogh, BH
    Feiler, P
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 370 - 385
  • [4] A new logic programming framework for heterogeneous verification of embedded control systems
    Kumar, Rajesh
    Krogh, Bruce H.
    [J]. 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 2071 - 2076
  • [5] Co-verification handles more complex embedded systems
    Berger, Arnold S.
    [J]. Electronic Design, 1998, (Suppl):
  • [6] Co-verification handles more complex embedded systems
    Berger, AS
    [J]. ELECTRONIC DESIGN, 1997, 45 (20) : 96 - &
  • [7] MULTILAYERED AND HETEROGENEOUS MODELLING AND SIMULATION OF NATURAL COMPLEX SYSTEMS
    Broutin, Emilie
    Bisgambiglia, Paul
    Santucci, Jean-Francois
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2008, 2008, : 338 - 342
  • [8] The embedded pile concept - Verification of an efficient tool for modelling complex deep foundations
    Tschuchnigg, F.
    Schweiger, H. F.
    [J]. COMPUTERS AND GEOTECHNICS, 2015, 63 : 244 - 254
  • [9] On the Effectiveness of Communication-Centric Modelling of Complex Embedded Systems
    Meyer, Hugo
    Odyurt, Uraz
    Polstra, Simon
    Paradas, Evangelos
    Alonso, Ignacio Gonzalez
    Pimentel, Andy D.
    [J]. 2018 IEEE INT CONF ON PARALLEL & DISTRIBUTED PROCESSING WITH APPLICATIONS, UBIQUITOUS COMPUTING & COMMUNICATIONS, BIG DATA & CLOUD COMPUTING, SOCIAL COMPUTING & NETWORKING, SUSTAINABLE COMPUTING & COMMUNICATIONS, 2018, : 979 - 986
  • [10] Modelling heterogeneous interactions in SoC verification
    Xu, Justin
    Lim, Cheng-Chew
    [J]. IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP, 2006, : 98 - +
12345