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 条
  • [1] Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs
    Logothetis, G
    Schneider, K
    Metzler, C
    RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2003, : 256 - 264
  • [2] Real-time monitoring for low-level pollution
    Kishkovich, OP
    Joffe, MA
    ASHRAE JOURNAL-AMERICAN SOCIETY OF HEATING REFRIGERATING AND AIR-CONDITIONING ENGINEERS, 1997, 39 (11): : 46 - 51
  • [3] Runtime verification of embedded real-time systems
    Thomas Reinbacher
    Matthias Függer
    Jörg Brauer
    Formal Methods in System Design, 2014, 44 : 203 - 239
  • [4] Safe Runtime Verification of Real-Time Properties
    Colombo, Christian
    Pace, Gordon J.
    Schneider, Gerardo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 103 - +
  • [5] Low-Level Communication Time Analysis in Real-Time Wireless Sensor Networks
    Stangaciu, Valentin
    Micea, Mihai V.
    Cretu, Vladimir I.
    2014 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2014), 2014,
  • [6] Runtime Verification of Real-time Embedded Systems
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    EMSOFT '12: PROCEEDINGS OF THE TENTH AMC INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE 2012, 2012, : 249 - 250
  • [7] Runtime verification of embedded real-time systems
    Reinbacher, Thomas
    Fuegger, Matthias
    Brauer, Joerg
    FORMAL METHODS IN SYSTEM DESIGN, 2014, 44 (03) : 203 - 239
  • [8] Verification of Distributed Embedded Real-Time Systems and Their Low-Level Implementations using Timed CSP
    Bartels, Bjoern
    Glesner, Sabine
    2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 195 - 202
  • [9] Real-time prediction of low-level atmospheric turbulence
    Tohoku University, Sendai
    980-8577, Japan
    不详
    不详
    不详
    33rd Wind Ener. Symposium,
  • [10] Real-time MLton: A Standard ML runtime for real-time functional programs
    Shivkumar, Bhargav
    Murphy, Jeffrey
    Ziarek, Lukasz
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31
12345