Component-based Timing Analysis for Embedded Software Components in Cyber-Physical Systems

被引:0
|
作者
Li, Haoxuan [1 ]
Vanherpen, Ken [2 ]
Hellinckx, Peter [3 ]
Mercelis, Siegfried [3 ]
De Meulenaere, Paul [2 ]
机构
[1] Univ Antwerp, CoSys Lab, Fac Appl Engn, Groenenborgerlaan 171, B-2000 Antwerp, Belgium
[2] Univ Antwerp, CoSys Lab, Fac Appl Engn, Flanders Make, Groenenborgerlaan 171, B-2000 Antwerp, Belgium
[3] Univ Antwerp, IMEC, IDLab, Fac Appl Engn, Sint Pietersvliet 7, B-2000 Antwerp, Belgium
关键词
Timing Analysis; Worst-case Execution Time; Real-time system; Embedded Systems; Component-based Design; TIME;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Real-time embedded systems are widely adopted in cyber-physical applications such as automotive, avionics and medical care. Reusable software components have been proven to be able to reduce the time and cost in designing those systems. Worst-case execution time (WCET) information of those components is one of the properties that are of the utmost importance concerning the safety of a system. How to reuse the WCET information of one component in the overall embedded system context is, however, far from straightforward. In this paper, we propose a hybrid timing analysis approach which facilitates the reuse of the timing property of a component. The approach is able (i) to decouple the timing analysis of a component independently from the rest of the system; (ii) to generate input data specifically for a component; (iii) to re-compose the execution time of the overall system on different granularity levels. We will illustrate the method and discuss its potential and the possible pitfalls.
引用
收藏
页码:173 / 180
页数:8
相关论文
共 50 条
  • [1] Behavioral Types for Component-Based Development of Cyber-Physical Systems
    Blech, Jan Olaf
    Herrmann, Peter
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
  • [2] On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems
    Crnkovic, Ivica
    Malavolta, Ivano
    Muccini, Henry
    Sharaf, Mohammad
    PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 23 - 32
  • [3] Component-Based Interactive Framework for Intelligent Transportation Cyber-Physical Systems
    Jeong, Sangsoo
    Baek, Youngmi
    Son, Sang H.
    SENSORS, 2020, 20 (01)
  • [4] Integrating Cyber-Physical Systems in a Component-Based Approach for Smart Homes
    Criado, Javier
    Andres Asensio, Jose
    Padilla, Nicolas
    Iribarne, Luis
    SENSORS, 2018, 18 (07)
  • [5] Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
    Pieter J. Mosterman
    Justyna Zander
    Software & Systems Modeling, 2016, 15 : 5 - 16
  • [6] Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
    Mosterman, Pieter J.
    Zander, Justyna
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (01): : 5 - 16
  • [7] Verified Traffic Networks: Component-based Verification of Cyber-Physical Flow Systems
    Mueller, Andreas
    Mitsch, Stefan
    Platzer, Andre
    2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 757 - 764
  • [8] A component-based design approach for energy flexibility in cyber-physical manufacturing systems
    Assad, Fadi
    Rushforth, Emma J.
    Harrison, Robert
    JOURNAL OF INTELLIGENT MANUFACTURING, 2025, 36 (02) : 975 - 1001
  • [9] A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
    Dung Phan
    Yang, Junxing
    Clark, Matthew
    Grosu, Radu
    Schierman, John
    Smolka, Scott
    Stoller, Scott
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 49 - 58
  • [10] Component-based software engineering for embedded systems
    Crnkovic, I
    ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 712 - 713