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 条
  • [41] Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
    Apvrille, Ludovic
    Roudier, Yves
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (148): : 15 - 30
  • [42] SystemC/C-Based Model-Driven Design for Embedded Systems
    Riccobene, Elvinia
    Scandurra, Patrizia
    Bocchio, Sara
    Rosti, Alberto
    Lavazza, Luigi
    Mantellini, Luigi
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 8 (04)
  • [43] A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems
    Enrici, Andrea
    Apvrille, Ludovic
    Pacalet, Renaud
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2017, 22 (02)
  • [44] Model-driven validation of SystemC designs
    Patel, Hiren D.
    Shukla, Sandeep K.
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 29 - +
  • [45] Model-driven system validation by scenarios
    Carioni, A.
    Gargantini, A.
    Riccobene, E.
    Scandurra, P.
    Lecture Notes in Electrical Engineering, 2009, 36 LNEE : 57 - 69
  • [46] Model-Driven Validation of SystemC Designs
    Patel, Hiren D.
    Shukla, Sandeep K.
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2008, (01)
  • [47] MoDeVVa 2018 15th workshop on model-driven engineering, verification and validation
    2018, CEUR-WS (2245):
  • [48] Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
    Wehrmeister, Marco A.
    Pereira, Carlos Eduardo
    Rammig, Franz J.
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (04) : 2373 - 2386
  • [49] Specification and Verification of Model-Driven Data Migration
    Aboulsamh, Mohammed A.
    Davies, Jim
    MODEL AND DATA ENGINEERING, 2011, 6918 : 214 - 225
  • [50] A model-driven environment for component deployment
    Hnetynka, P
    Third ACIS International Conference on Software Engineering Research, Managment and Applications, Proceedings, 2005, : 6 - 13
12345