Safe design of high-performance embedded systems in an MDE framework

被引：5
|
作者：
Yu, Huafeng [1 ]
Gamatie, Abdoulaye [1 ]
Rutten, Eric
Dekeyser, Jean-Luc [1 ]
机构：
[1] USTL, CNRS, INRIA, LIFL, 40 Ave Halley Paris Sci Haute Borne, F-59650 Villeneuve Dascq, France
来源：
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING | 2008年 / 4卷 / 03期
关键词：
MARTE; High-performance embedded systems; Gaspard2; Synchronous languages; Formal validation; SIGALI; Mode automata;
D O I：
10.1007/s11334-008-0059-y
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we use the UML MARTE profile to model high-performance embedded systems (HPES) in the Gaspard2 framework. We address the design correctness issue on the UML model by using the formal validation tools associated with synchronous languages, i.e., the SIGALI model checker, etc. This modeling and validation approach benefits from the advantages of UML as a standard, and from the number of validation tools built around synchronous languages. In our context, model transformations act as a bridge between UML and the chosen validation technologies. They are implemented according to a model-driven engineering approach. The modeling and validation are illustrated using the multimedia functionality of a new-generation cellular phone.
引用
收藏
页码：215 / 222
页数：8
相关论文
共 50 条
  • [1] Safe and secure software updates on high-performance embedded systems
    Agirre, Irune
    [J]. 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W 2020), 2020, : 68 - 69
  • [2] Formal Verification for Embedded Systems Design Based on MDE
    Moreira do Nascimento, Francisco Assis
    da Silva Oliveira, Marcio Ferreira
    Wagner, Flavio Rech
    [J]. ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 159 - +
  • [3] A comprehensive optimization framework for the design of high-performance building systems
    Zeng, Zhaoyun
    Lu, Di
    Hu, Yuqing
    Augenbroe, Godfried
    Chen, Jianli
    [J]. JOURNAL OF BUILDING ENGINEERING, 2023, 65
  • [4] High-performance ROM design for embedded applications
    Hu, L
    Shao, Z
    [J]. 2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 494 - 497
  • [5] UML and MDE for embedded systems
    Boulet, Pierre
    [J]. Lecture Notes in Electrical Engineering, 2010, 63 LNEE
  • [6] ModES: Embedded systems design methodology and tools based on MDE
    do Nascimento, Francisco Assis M.
    Oliveira, Marcio F. S.
    Wagner, Flavio Rech
    [J]. FOURTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2007, : 67 - +
  • [7] MICROPROCESSORS KOMDIV FOR HIGH-PERFORMANCE EMBEDDED SYSTEMS
    Bobkov, S. G.
    [J]. INFORMATION TECHNOLOGY IN INDUSTRY, 2019, 7 (03): : 5 - 9
  • [8] On tools for modeling high-performance embedded systems
    Nambiar, A
    Chaudhary, V
    [J]. EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 360 - 370
  • [9] An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems
    Tabish, Rohan
    Wen, Jen-Yang
    Pellizzoni, Rodolfo
    Mancuso, Renato
    Yun, Heechul
    Caccamo, Marco
    Sha, Lui Raymond
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2021, 118
  • [10] Scalable Embedded Systems: Towards the Convergence of High-Performance and Embedded Computing
    Giorgi, Roberto
    [J]. PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015, 2015, : 148 - 153
12345