Runtime support for reconfigurable real-time embedded systems

被引:0
|
作者
Papp, Z [1 ]
机构
[1] TNO, Inst Appl Phys, NL-2600 AD Delft, Netherlands
关键词
reconfigurable systems; model based synthesis; model integrated measuring systems; distributed real-time systems;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
As the embedding environment becomes more and more complex so does the embedded system itself. An aspect of the complexity, the demand for robust and fault tolerant embedded solutions is ever increasing. Consequently the embedded system design and development face new challenges including modeling, representation, execution and implementation issues. These issues cannot be addressed adequately without a matching underlying system architecture. Model integrated computing (MIC) architectures relying on multi-aspect modeling and variety of models of computation are proven to be promising alternatives for designing and generating manageable complex computing systems for various application domains. With respect to implementation one of the substantial questions is how the MIC based (self-) adapting design can be mapped into a (reconfigurable) distributed hardware platform. The paper presents a novel middleware supporting execution of adapting/reconfigurable real-time programs. The main features of MIC and its relation to adaptivity and computation model based programming are overviewed. A minimal set of functionalities, which enables to construct real-time program structures serving as an integration framework for various models of computation is presented. The design principles of the runtime environment are summarized.
引用
收藏
页码:2111 / 2116
页数:6
相关论文
共 50 条
  • [1] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    [J]. Formal Methods in System Design, 2014, 44 : 203 - 239
  • [2] Runtime Verification of Real-time Embedded Systems
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    [J]. EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
  • [3] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [4] Conforming the Runtime Inputs for Hard Real-Time Embedded Systems
    Huang, Kai
    Chen, Gang
    Buckl, Christian
    Knoll, Alois
    [J]. 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 430 - 436
  • [5] Runtime Reconfiguration of Custom Instructions for Real-Time Embedded Systems
    Huynh, Huynh Phung
    Mitra, Tulika
    [J]. DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1536 - 1541
  • [6] EXECUTION MODELS FOR RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS
    Khalgui, Mohamed
    Hanisch, Hans-Michael
    [J]. ASIAN JOURNAL OF CONTROL, 2009, 11 (03) : 249 - 260
  • [7] A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
    Krichen, Fatma
    Zalila, Bechir
    Jmaiel, Mohamed
    Hamid, Brahim
    [J]. SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS 2012, 2012, 430 : 81 - +
  • [8] Functional programming of real-time reconfigurable embedded systems
    Strelzoff, Alan G.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (1-2) : 106 - 113
  • [9] A Reconfigurable Multiclass Support Vector Machine Architecture for Real-Time Embedded Systems Classification
    Kane, Jason
    Hernandez, Robert
    Yang, Qing
    [J]. 2015 IEEE 23RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2015, : 244 - 251
  • [10] Runtime Architecture Adaptation for Energy Management in Embedded Real-Time Systems
    Wang, H.
    Koren, I.
    Krishna, C. M.
    [J]. 2012 INTERNATIONAL GREEN COMPUTING CONFERENCE (IGCC), 2012,