I-Codesign: A Codesign Methodology for Reconfigurable Embedded Systems

被引:0
作者
Ghribi, Ines [1 ,2 ]
Ben Abdallah, Riadh [1 ]
Khalgui, Mohamed [1 ,3 ]
Platzner, Marco [4 ]
机构
[1] Univ Carthage, LISI Lab, Carthage, Tunisia
[2] Univ Tunis El Manar, Fac Sci Tunis, Tunis, Tunisia
[3] Xidian Univ, Syst Control Lab, Xian, Shaanxi, Peoples R China
[4] Univ Paderborn, Paderborn, Germany
来源
SOFTWARE TECHNOLOGIES | 2017年 / 743卷
关键词
Codesign; Real-time; Reconfiguration; Partitioning; Probabilistic software; CO-DESIGN;
D O I
10.1007/978-3-319-62569-0_8
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Hardware/software codesign involves various design problems including system specification, design space exploration and hardware/software partitioning. An effective codesign process requires accurately predicting the performance, cost and power consequence of any design trade-off in algorithms or hardware characterization. In order to satisfy these design constraints we developed a new codesign methodology: I-codesign. It starts with describing the system specification with probabilistic estimations of the execution scenarios along with real-time and inclusion/exclusion parameters. Then, a three phase partitioning approach is applied to the specification where each phase deals with a specific set of constraints. An embedded controller code is generated at the end of the methodology that acts at run-time on the reconfiguration requests.
引用
收藏
页码:153 / 174
页数:22
相关论文
共 50 条
[41]   UML-based design flow and partitioning methodology for dynamically reconfigurable computing systems [J].
Tseng, CH ;
Hsiung, PA .
EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 :479-488
[42]   A Survey on Hypervisor-based Virtualization of Embedded Reconfigurable Systems [J].
Wulf, Cornelia ;
Willig, Michael ;
Goehringer, Diana .
2021 31ST INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2021), 2021, :249-256
[43]   Reconfigurable Component-based Middleware for Networked Embedded Systems [J].
Costa, Paolo ;
Coulson, Geoff ;
Mascolo, Cecilia ;
Mottola, Luca ;
Picco, Gian Pietro ;
Zachariadis, Stefanos .
INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2007, 14 (02) :149-162
[44]   Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation [J].
Khalgui, Mohamed ;
Mosbahi, Olfa ;
Li, ZhiWu ;
Hanisch, Hans-Michael .
IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (04) :538-551
[45]   Implementation of Agent-based Reconfigurable Embedded Control Systems [J].
Khalgui, Mohamed ;
Mosbahi, Olfa ;
Hanisch, Hans-Michael .
2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, :428-433
[46]   New Co-design Methodology for Real-time Embedded Systems [J].
Ghribi, Ines ;
Ben Abdallah, Riadh ;
Khalgui, Mohamed ;
Platzner, Marco .
ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, :353-364
[47]   Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems [J].
Ben Ahmed, Asma ;
Mosbahi, Olfa ;
Khalgui, Mohamed ;
Li, Zhiwu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (04) :1864-1882
[48]   On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems [J].
Hafidi, Yousra ;
Kahloul, Laid ;
Khalgui, Mohamed ;
Li, Zhiwu ;
Alnowibet, Khalid ;
Qu, Ting .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10) :3577-3591
[49]   From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations [J].
Li, Tao ;
Tan, Feng ;
Wang, Qixin ;
Bu, Lei ;
Cao, Jian-Nong ;
Liu, Xue .
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2014, 25 (03) :642-652
[50]   A Comprehensive Machine Learning Methodology for Embedded Systems PHM [J].
Pimentel, Juliano ;
McEwan, Alistair A. ;
Yu, Hong Qing .
2023 IEEE 22ND INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS, TRUSTCOM, BIGDATASE, CSE, EUC, ISCI 2023, 2024, :1954-1959