Timing Analysis of Parallel Software Using Abstract Execution

被引：0
|
作者：
Gustavsson, Andreas [1 ]
Gustafsson, Jan [1 ]
Lisper, Bjoern [1 ]
机构：
[1] Malardalen Univ, Vasteras, Sweden
来源：
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014) | 2014年 / 8318卷
关键词：
WCET; Parallelism; Multi-core; Abstract interpretation; Abstract execution;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well. This means that even hard real-time embedded systems will be parallel. Therefore, it is of utmost importance that methods to analyze the timing properties of parallel real-time systems are developed. This paper presents an algorithm that is founded on abstract interpretation and derives safe approximations of the execution times of parallel programs. The algorithm is formulated and proven correct for a simple parallel language with parallel threads, shared memory and synchronization via locks.
引用
收藏
页码：59 / 77
页数：19
相关论文
共 50 条
  • [21] Pluggable abstract domains for analyzing embedded software
    Cooprider, Nathan
    Regehr, John
    ACM SIGPLAN NOTICES, 2006, 41 (07) : 44 - 53
  • [22] Systematic Exploitation of Parallel Task Execution in Business Processes
    Varvoutas, Konstantinos
    Kougka, Georgia
    Gounaris, Anastasios
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2023, 20 (04) : 1661 - 1685
  • [23] AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
    Wang, Zhen
    Chen, Zhenbang
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 347 - 352
  • [24] An abstract interpretation-based framework for software watermarking
    Cousot, P
    Cousot, R
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 173 - 185
  • [25] Some Experience on the Software Engineering of Abstract Interpretation Tools
    Jeannet, Bertrand
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 267 (02) : 29 - 42
  • [26] Deriving abstract transfer functions for analyzing embedded software
    Regehr, John
    Duongsaa, Usit
    ACM SIGPLAN NOTICES, 2006, 41 (07) : 34 - 43
  • [27] Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
    Jakobs, Marie-Christine
    Wehrheim, Heike
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (02):
  • [28] Efficient Realization of Logical Execution Times in Legacy Embedded Software
    Resmerita, Stefan
    Naderlinger, Andreas
    Lukesch, Stefan
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 37 - 46
  • [29] Maximal software execution time: a regression-based approach
    Nouri, Ayoub
    Poplavko, Peter
    Angelis, Lefteris
    Zerzelidis, Alexandros
    Bensalem, Saddek
    Katsaros, Panagiotis
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (02) : 101 - 116
  • [30] Composing Parallel Software Efficiently with Lithe
    Pan, Heidi
    Hindman, Benjamin
    Asanovic, Krste
    ACM SIGPLAN NOTICES, 2010, 45 (06) : 376 - 387
12345