Runtime analysis of synchronous programs for low-level real-time verification

被引：0
|
作者：
Logothetis, G [1 ]
Schneider, K [1 ]
Metzler, C [1 ]
机构：
[1] Univ Karlsruhe, Inst Comp Design & Fault Tolerance, D-76128 Karlsruhe, Germany
来源：
16TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, SBCCI 2003, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/SBCCI.2003.1232831
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Synchronous programming languages are well-suited for the implementation and verification of real-time systems. The main benefit for the estimation of real-time constraints is thereby that the macro steps provided by the semantics of synchronous languages can be directly used as building blocks for runtime analysis. We describe a new approach to determine the execution times of the macro steps of a synchronous program wrt. given microprocessors and generate real-time formal models endowed with notions of physical time for formal verification purposes. The execution times are exact, since we consider all possible input sequences.
引用
收藏
页码：211 / 216
页数：6
相关论文
共 50 条
  • [31] Designing a low-level virtual machine for implementing real-time managed languages
    Amiri, Javad Ebrahimian
    Blackburn, Stephen M.
    Hosking, Antony L.
    Norrish, Michael
    VMIL 2019 - Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, co-located with SPLASH 2019, 2019, : 1 - 11
  • [32] Data-flow processor for real-time low-level image processing
    Quenot, G.
    Zavidovique, B.
    EURO ASIC, 1991,
  • [33] ONLINE, REAL-TIME MEASUREMENTS OF DECONTAMINATION FACTORS FOR A LOW-LEVEL WASTE INCINERATOR
    CLOSE, DA
    DRAPER, WE
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH, 1982, 201 (2-3): : 451 - 456
  • [34] Assessment of malaria real-time PCR methods and with focus on low-level parasitaemia
    Haanshuus, Christel Gill
    Morch, Kristine
    Blomberg, Bjorn
    Strom, Gro Elizabeth Ann
    Langeland, Nina
    Hanevik, Kurt
    Mohn, Stein Christian
    PLOS ONE, 2019, 14 (07):
  • [35] REAL-TIME ANALYSIS OF A LOW-LEVEL TRANSURANIC WASTE STREAM FEEDING A PROPOSED SLAGGING PYROLYSIS INCINERATOR
    VEGORS, SH
    NIESCHMIDT, EB
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 1985, 10 (03): : 291 - 310
  • [36] Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems
    Zheng, Xi
    Julien, Christine
    Chen, Hongxu
    Podorozhny, Rodion
    Cassez, Franck
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (04)
  • [37] THE VERIFICATION OF LOW-LEVEL CODE
    CLUTTERBUCK, DL
    CARRE, BA
    SOFTWARE ENGINEERING JOURNAL, 1988, 3 (03): : 97 - 111
  • [38] VERIFICATION OF REAL-TIME PROGRAMS BY A KNOWLEDGE-BASED STRATEGY
    ZHANG, WI
    LIU, JR
    LI, HT
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1994, 7 (03) : 289 - 298
  • [39] FLEXIBLE LOW-LEVEL CONTROL SOFTWARE FRAMEWORK FOR ACHIEVING CRITICAL REAL-TIME DEADLINES
    Tremaroli, Nicholas J.
    Stelmack, Maxwell A.
    Herron, Connor W.
    Kalita, Bhaben
    Leonessa, Alexander
    PROCEEDINGS OF ASME 2022 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2022, VOL 5, 2022,
  • [40] Real-time low-level wind and temperature analysis using single WSR-88D data
    Sun, JZ
    Crook, NA
    WEATHER AND FORECASTING, 2001, 16 (01) : 117 - 132
12345