New Co-design Methodology for Real-time Embedded Systems

被引:3
|
作者
Ghribi, Ines [1 ,2 ]
Ben Abdallah, Riadh [1 ]
Khalgui, Mohamed [1 ]
Platzner, Marco [3 ]
机构
[1] Univ Carthage, INSAT, LISI Lab, Tunis, Tunisia
[2] Univ Tunis El Manar, Dept Comp Sci, Tunis, Tunisia
[3] Univ Paderborn, Dept Comp Sci, Paderborn, Germany
关键词
Co-design Methodology; Real-time Embedded Systems; Partitioning; Probabilistic Software;
D O I
10.5220/0006010703530364
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Over the years we are witnessing and ever increasing demand for functionality enhancements in the embedded real-time systems. Along with functionalities, the design itself grows more complex. Posed constraints as time, space bounds and energy consumption also require proper handling. In order to enhance the behaviour of such systems, we have developed the I-codesign, a methodology for modelling, partitioning and simulating embedded real-time systems. The tasks in this methodology are described with a probabilistic manner and characterized with real-time parameters. A new partitioning technique aims at each of its three phases to respect firstly the inclusion/exclusion parameters, secondly energy and memory constraints and finally verifies real-time constraints. The output of I-codesign is an embedded controller that supervises the behaviour of the executing system and schedule the implementation/configurations of the software.
引用
收藏
页码:353 / 364
页数:12
相关论文
共 50 条
  • [31] A new time model for the specification, design, validation and synthesis of embedded real-time systems
    Münzenberger, R
    Dörfel, M
    Slomka, F
    Hofmann, R
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1095 - 1095
  • [32] Integrated design approach for real-time embedded systems
    Loughborough University
    [J]. IEE Proc Software, 2 (75-85):
  • [33] Research on Modeling and Design of Real-Time Embedded Systems
    Shen Yuncheng
    [J]. 2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 547 - 550
  • [34] A real-time scheduler design for a class of embedded systems
    Song, Insop
    Kim, Sehjeong
    Karray, Fakhreddine
    [J]. IEEE-ASME TRANSACTIONS ON MECHATRONICS, 2008, 13 (01) : 36 - 45
  • [35] A METHODOLOGY FOR DESIGN, TEST, AND EVALUATION OF REAL-TIME SYSTEMS
    SHERE, KD
    CARLSON, RA
    [J]. COMPUTER, 1994, 27 (02) : 35 - 48
  • [36] A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems
    Ribeiro, Fabiola Goncalves C.
    Rettberg, Achim
    Pereira, Carlos E.
    Soares, Michel S.
    [J]. PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6131 - 6140
  • [37] A UML profile and a methodology for real-time systems design
    Bartolini, Cesare
    Bertolino, Antonia
    De Angelis, Guglielmo
    Lipari, Giuseppe
    [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 108 - +
  • [38] Computation and Communication Co-Design for Real-Time Monitoring and Control in Multi-Agent Systems
    Tripathi, Vishrant
    Ballotta, Luca
    Carlone, Luca
    Modiano, Eytan
    [J]. 2021 19TH INTERNATIONAL SYMPOSIUM ON MODELING AND OPTIMIZATION IN MOBILE, AD HOC, AND WIRELESS NETWORKS (WIOPT), 2021,
  • [39] A methodology for structured object-oriented elicitation and analysis of temporal constraints in hardware/software co-analysis and co-design of real-time systems
    Sun, Yan
    Liu, Xiaoqing
    McMillin, Bruce
    [J]. 30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 281 - +
  • [40] Real-time and embedded systems
    Stankovic, JA
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 205 - 208