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 条
  • [21] Model-Driven Engineering for Designing Safe and Secure Embedded Systems
    Apvrille, Ludovic
    Li, Letitia W.
    Roudier, Yves
    2016 ARCHITECTURE-CENTRIC VIRTUAL INTEGRATION (ACVI), 2016, : 4 - 7
  • [22] SMARTCore: Boosting Model-Driven Engineering of Embedded Systems for Multicore
    Ciccozzi, Federico
    Corcoran, Diarmuid
    Seceleanu, Tiberiu
    Scholle, Detlef
    2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 89 - 94
  • [23] A model-driven co-design flow for embedded systems
    Bocchio, Sara
    Riccobene, Elvinia
    Rosti, Alberto
    Scandurra, Patrizia
    ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS, 2007, : 265 - +
  • [24] Development of reconfigurable distributed embedded systems with a model-driven approach
    Krichen, Fatma
    Hamid, Brahim
    Zalila, Bechir
    Jmaiel, Mohamed
    Coulette, Bernard
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (06): : 1391 - 1411
  • [25] Model-driven Optimization of Data-Adaptable Embedded Systems
    Lizarraga, Adrian
    Lysecky, Roman
    Sprinkle, Jonathan
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 293 - 302
  • [26] A Model-Driven Design Framework for Massively Parallel Embedded Systems
    Gamatie, Abdoulaye
    Le Beux, Sebastien
    Piel, Eric
    Ben Atitallah, Rabie
    Etien, Anne
    Marquet, Philippe
    Dekeyser, Jean-Luc
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2011, 10 (04)
  • [27] Model-driven system-level validation and verification on the space software domain
    Aarón Montalvo
    Pablo Parra
    Óscar Rodríguez Polo
    Alberto Carrasco
    Antonio Da Silva
    Agustín Martínez
    Sebastián Sánchez
    Software and Systems Modeling, 2022, 21 (6): : 2367 - 2394
  • [28] Model-driven system-level validation and verification on the space software domain
    Montalvo, Aaron
    Parra, Pablo
    Rodriguez Polo, Oscar
    Carrasco, Alberto
    Da Silva, Antonio
    Martinez, Agustin
    Sanchez, Sebastian
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2367 - 2394
  • [29] Hierarchical verification and validation in a forward model-driven structural health monitoring strategy
    Wilson, James
    Manson, Graeme
    Gardner, Paul
    Barthorpe, Robert J.
    STRUCTURAL HEALTH MONITORING-AN INTERNATIONAL JOURNAL, 2024, 23 (04): : 2358 - 2390
  • [30] An Iterative Formal Model-Driven Approach to Railway Systems Validation
    Yar, Asfand
    Idani, Akram
    Ledru, Yves
    Collart-Dutilleul, Simon
    Mammar, Amel
    Vega, German
    ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2024, 2025, 14784 : 272 - 289
12345