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 条
  • [21] TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams
    Leucker, Martin
    Sanchez, Cesar
    Scheffel, Torben
    Schmitz, Malte
    Schramm, Alexander
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1925 - 1933
  • [22] Runtime verification of real-time event streams using the tool HStriver
    Gorostiaga, Felipe
    Sanchez, Cesar
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 3 - 34
  • [23] Striver: Stream Runtime Verification for Real-Time Event-Streams
    Gorostiaga, Felipe
    Sanchez, Cesar
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 282 - 298
  • [24] FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification
    Perez, Joaquin
    Jimenez, Jaime
    Rabanal, Asier
    Astarloa, Armando
    Lazaro, Jesus
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2014, 10 (03) : 1670 - 1683
  • [25] Stream runtime verification of real-time event streams with the Striver language
    Felipe Gorostiaga
    César Sánchez
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 157 - 183
  • [26] Runtime verification of real-time event streams using the tool HStriver
    Felipe Gorostiaga
    César Sánchez
    Formal Methods in System Design, 2022, 61 : 3 - 34
  • [27] Platform-independent verification of real-time programs
    Hooman, J
    vanRoosmalen, O
    PROCEEDINGS OF THE JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS: FIFTH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE THIRD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS (OORTS), 1997, : 183 - 192
  • [28] Telerobotics over IP networks:: Towards a low-level real-time architecture
    Lelevé, A
    Fraisse, P
    Dauchez, P
    IROS 2001: PROCEEDINGS OF THE 2001 IEEE/RJS INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4: EXPANDING THE SOCIETAL ROLE OF ROBOTICS IN THE NEXT MILLENNIUM, 2001, : 643 - 648
  • [29] Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
    Amiri, Javad Ebrahimian
    Blackburn, Stephen M.
    Hosking, Antony L.
    Norrish, Michael
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON VIRTUAL MACHINES AND INTERMEDIATE LANGUAGES (VMIL '19), 2019, : 1 - 11
  • [30] Real-time pose estimation of articulated objects using low-level motion
    Daubney, Ben
    Gibson, David
    Campbell, Neill
    2008 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-12, 2008, : 1460 - 1467
12345