A Model-driven Validation & Verification Environment for Embedded Systems

被引：0
|
作者：
Gargantini, A. [1 ]
Riccobene, E. [2 ]
Scandurra, P. [2 ]
机构：
[1] Univ Bergamo, DIIMM, Bergamo, Italy
[2] Univ Milan, DTI, Milan, Italy
来源：
2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS | 2008年
关键词：
D O I：
10.1109/SIES.2008.4577708
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
This paper presents a validation and verification tool component, based on the Abstract State Machine formal method, that we are developing to support high level for mal analysis of embedded system model-driven design. This component is integrated into a model-driven environment for HW/SW co-design that provides a graphical high-level representation of HW and SW components by means of UML profiles for SystemC/multi-thread C, and allows C/C++/SystemC code generation/back-annotation from/to graphical UML models.
引用
收藏
页码：241 / +
页数：2
相关论文
共 50 条
  • [1] A Model-Driven Approach for Early Verification and Validation of Embedded Systems
    Stoico, Vincenzo
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 685 - 689
  • [2] A model-driven design environment for embedded systems
    Riccobene, E.
    Scandurra, R.
    Rosti, A.
    Bocchio, S.
    43RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2006, 2006, : 915 - +
  • [3] A model-driven framework for design and verification of embedded systems through SystemVerilog
    Anwar, Muhammad Waseem
    Rashid, Muhammad
    Azam, Farooque
    Kashif, Muhammad
    Butt, Wasi Haider
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2019, 23 (3-4) : 179 - 223
  • [4] A model-driven framework for design and verification of embedded systems through SystemVerilog
    Muhammad Waseem Anwar
    Muhammad Rashid
    Farooque Azam
    Muhammad Kashif
    Wasi Haider Butt
    Design Automation for Embedded Systems, 2019, 23 : 179 - 223
  • [5] Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector
    Strasser, Thomas
    Suender, Christoph
    Valentini, Antonio
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1081 - +
  • [6] MODEL-DRIVEN ENGINEERING AND FORMAL VALIDATION OF HIGH-PERFORMANCE EMBEDDED SYSTEMS
    Gamatie, Abdoulaye
    Rutten, Eric
    Yu, Huafeng
    Boulet, Pierre
    Dekeyser, Jean-Luc
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (02): : 147 - 162
  • [7] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
    Grigorjevs, Jurijs
    MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35
  • [8] Model-driven systems development and integration environment
    Azmoodeh, M
    Georgalas, N
    Fisher, S
    BT TECHNOLOGY JOURNAL, 2005, 23 (03) : 96 - 110
  • [9] Model-driven security management of embedded service systems
    Illner, S
    Pohl, A
    Krumm, H
    IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 2655 - 2660
  • [10] Model-Driven Design for Fast Deployment of Embedded Systems
    Phan Duy Hung
    Phan Minh Duong
    Truong Minh Giang
    Vu Thu Diep
    2019 2ND INTERNATIONAL CONFERENCE OF INTELLIGENT ROBOTIC AND CONTROL ENGINEERING (IRCE 2019), 2019, : 138 - 142
12345