Component-Based Models for Runtime Control and Monitoring of Embedded Systems

被引:0
|
作者
Schwalb, Tobias [1 ]
Gaedeke, Tobias [1 ]
Schmid, Johannes [1 ]
Mueller-Glaser, Klaus D. [1 ]
机构
[1] Karlsruhe Inst Technol, Inst Informat Proc Technol, Engesserstr 5, D-76131 Karlsruhe, Germany
关键词
Runtime; Component Models; Control; Debugging; Embedded Systems;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Nowadays, more and more developments in the embedded systems domain are based on components and abstract models. However, while the design becomes more abstract, control and monitoring during runtime are often performed on low abstraction levels. In contrast to this low level access we present a seamless design flow for adjustment and error identification using abstract component-based models. We develop an extended metamodel to describe components and their platforms and the connection between the model and the real hardware. Furthermore, we integrate on model level platform abilities for control and especially debugging to support for example real- time recording. From a user's perspective the system is designed, controlled and monitored on model level. We discuss different methods concerning runtime control and monitoring of resource constraint systems. We demonstrate the concept's applicability based on two exemplary use cases: wireless sensor network application engineering and reconfigurable hardware development.
引用
收藏
页码:31 / 36
页数:6
相关论文
共 50 条
  • [1] Extension of Component-Based Models for Control and Monitoring of Embedded Systems at Runtime
    Schwalb, Tobias
    Mueller-Glaser, Klaus D.
    [J]. 2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 142 - 148
  • [2] Runtime Verification of Component-Based Embedded Software
    Sozer, Hasan
    Hofmann, Christian
    Tekinerdogan, Bedir
    Aksit, Mehmet
    [J]. COMPUTER AND INFORMATION SCIENCES II, 2012, : 471 - 477
  • [3] Runtime Enforcement for Component-Based Systems
    Charafeddine, Hadil
    El-Harake, Khalil
    Falcone, Ylies
    Jaber, Mohamad
    [J]. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1789 - 1796
  • [4] Runtime Verification of Component-Based Systems
    Falcone, Ylies
    Jaber, Mohamad
    Thanh-Hung Nguyen
    Bozga, Marius
    Bensalem, Saddek
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
  • [5] Architectural runtime models for integrating runtime observations and component-based models
    Heinrich, Robert
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2020, 169
  • [6] QINNA: A COMPONENT-BASED FRAMEWORK FOR RUNTIME SAFE RESOURCE ADAPTATION OF EMBEDDED SYSTEMS
    Gonnord, Laure
    Babau, Jean-Philippe
    [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2009, 10 (03): : 253 - 264
  • [7] VISCTE: Runtime Exploration of Component-Based Systems
    Santos, Andre L.
    Albuquerque, Ivo
    [J]. PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 91 - 96
  • [8] Component-Based Modeling for Embedded Systems
    Chen, Fulong
    Fan, Xiaoya
    Wei, Jianjun
    [J]. 2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
  • [9] Component-Based Design of Embedded Systems
    Kopetz, Hermann
    [J]. SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
  • [10] A Model for the Measurement of the Runtime Testability of Component-based Systems
    Gonzalez, Alberto
    Piel, Eric
    Gross, Hans-Gerhard
    [J]. ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 19 - 28