System-level design based on UML/MARTE for FPGA-based embedded real-time systems

被引:4
作者
Leite, Marcela [1 ]
Wehrmeister, Marco Aurelio [2 ]
机构
[1] Inst Fed Catarinense IFC Araquari, Araquari, Brazil
[2] Fed Univ Technol Parana UTFPR, Curitiba, Parana, Brazil
关键词
Model-driven engineering (MDE); UML; VHDL; Code-generation; Aspect-oriented design; Non-functional requirements; CODE GENERATION; UML; METHODOLOGY; DIAGRAMS; MARTE;
D O I
10.1007/s10617-016-9172-6
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper discusses an approach to generate VHDL descriptions from high-level specifications, namely UML/MARTE models that include aspect-oriented semantics. Standard UML diagrams describe the handling of functional requirements, whereas crosscutting concerns associated with the non-functional requirements are handled by aspects. UML-to-VHDL transformation is performed automatically by a script-based code generation tool named GenERTiCA. For that, mapping rules scripts define how to generate VHDL constructs from model elements, including the implementation of aspects adaptations. The generated VHDL description does not require any manual modification, in order to be fully synthesized onto a FPGA device. Some case studies have been performed to evaluate the proposed approach, including examples of real systems implemented as a FPGA-based embedded system. Obtained results show an improvement in system design in terms of an increase in system performance as well as a better utilization of FPGA reconfigurable resources. Such positive results are related to a better modularization of components achieved by using the proposed high-level approach. These case studies demonstrate the practicability of full translation of platform-independent specifications into VHDL descriptions.
引用
收藏
页码:127 / 153
页数:27
相关论文
共 50 条
[31]   Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [J].
Hsiung, Pao-Ann ;
Lin, Shang-Wei ;
Lin, Chao-Sheng .
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2010, 59 (01) :13-32
[32]   Evaluating high-level models for real-time embedded systems design [J].
Brisolara, L ;
Becker, LB ;
Carro, L ;
Wagner, FR ;
Pereira, CE .
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 :277-286
[33]   Real-time embedded software design for mobile and ubiquitous systems [J].
Hsiung, Pao-Ann ;
Lin, Shang-Wei ;
Hung, Chin-Chieh ;
Fu, Jih-Ming ;
Lin, Chao-Sheng ;
Chiang, Cheng-Chi ;
Chiang, Kuo-Cheng ;
Lu, Chun-Hsien ;
Lu, Pin-Hsien .
EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4808 :718-729
[34]   Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [J].
Pao-Ann Hsiung ;
Shang-Wei Lin ;
Chao-Sheng Lin .
Journal of Signal Processing Systems, 2010, 59 :13-32
[35]   Real-time Binary Shape Matching System Based on FPGA [J].
Kim, Dongkyun ;
Jin, Seunghun ;
Nguyen, Dung Duc ;
Jeon, Jae Wook .
2008 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS, VOLS 1-4, 2009, :1194-1199
[36]   UML-Based Development of Embedded Real-Time Software on Multi-Core in Practice: Lessons Learned and Future Perspectives [J].
Ciccozzi, Federico ;
Seceleanu, Tiberiu ;
Corcoran, Diarmuid ;
Scholle, Detlef .
IEEE ACCESS, 2016, 4 :6528-6540
[37]   Verification framework for UML - Based design of embedded systems [J].
Kardos, M ;
Zhao, YH .
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 :21-30
[38]   Design pattern for the runtime model-based checking of a real-time embedded system [J].
Arm, J. ;
Bradac, Z. ;
Bastan, O. ;
Streit, J. ;
Misik, S. .
IFAC PAPERSONLINE, 2019, 52 (27) :127-132
[39]   Meta-model Validation of Integrated MARTE and Component-Based Methodology Component Model for Embedded Real-Time Software [J].
Zaki, Mohd Z. M. ;
Isa, M. A. ;
Jawawi, Dayang N. A. .
SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 :246-256
[40]   A shared memory based interface of MARTe with EPICS for real-time applications [J].
Yun, Sangwon ;
Neto, Andre C. ;
Park, Mikyung ;
Lee, Sangil ;
Park, Kaprai .
FUSION ENGINEERING AND DESIGN, 2014, 89 (05) :614-617