Run-time analysis of time-critical systems

被引：0
|
作者：
Zhou, SK
Zedan, H
Cau, A
机构：
[1] De Montfort Univ, Sch Comp, Software Technol Res Lab, Fac Comp Sci & Engn, Leicester LE1 9BH, Leics, England
[2] Univ Portsmouth, Fac Technol, Dept Elect & Comp Engn, Portsmouth PO1 3DJ, Hants, England
来源：
JOURNAL OF SYSTEMS ARCHITECTURE | 2005年 / 51卷 / 05期
关键词：
interval temporal logic; real-time system; run-time analysis & verification; timing diagrams;
D O I：
10.1016/j.sysare.2004.12.003
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
AnaTempura is a tool based on Interval Temporal Logic (ITL). It is used to analyse time-critical systems at run-time. It validates code (implementation) against a formal specification. In this paper, we will describe a tool, AnaTempura and its supporting logic, ITL. A small but illustrative case study is presented. © 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：331 / 345
页数：15
相关论文
共 50 条
  • [1] Proactive Run-Time Mitigation for Time-Critical Applications Using Dynamic Scenario Methodology
    Lin, J. Y.
    Weckx, P.
    Mishra, S.
    Spessot, A.
    Catthoor, F.
    [J]. PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 616 - 619
  • [2] Run-time assertion schemes for safety-critical systems
    Vishnuvajjala, RV
    Subramanian, S
    Tsai, WT
    Elliott, L
    Mojdehbakhsh, R
    [J]. NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 18 - 23
  • [3] Time-Critical Systems Design
    Henkel, Jorg
    [J]. IEEE DESIGN & TEST, 2018, 35 (02) : 4 - 4
  • [4] Run-time guarantees for real-time systems
    Wilhelm, R
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 166 - 167
  • [5] A Framework for Run-time Reconfigurable Systems
    Michael Eisenring
    Marco Platzner
    [J]. The Journal of Supercomputing, 2002, 21 : 145 - 159
  • [6] Reprogramming Embedded Systems at Run-Time
    Oliver, Richard
    Wilde, Adriana
    Zaluska, Ed
    [J]. INTERNATIONAL JOURNAL ON SMART SENSING AND INTELLIGENT SYSTEMS, 2014, 7 (05):
  • [7] A framework for run-time reconfigurable systems
    Eisenring, M
    Platzner, M
    [J]. JOURNAL OF SUPERCOMPUTING, 2002, 21 (02): : 145 - 159
  • [8] Run-Time Root Cause Analysis in Adaptive Distributed Systems
    Raj, Amit
    Barrett, Stephen
    Clarke, Siobhan
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, 2013, 8186 : 292 - 301
  • [9] DEMO ABSTRACT - Run-Time Monitoring Environments for Real-Time and Safety Critical Systems
    Nelissen, Geoffrey
    Carvalho, Humberto
    Pereira, David
    Tovar, Eduardo
    [J]. 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
  • [10] Run-time detection in parallel and distributed systems: Application to safety-critical systems
    Plale, B
    Schwan, K
    [J]. 19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1999, : 163 - 170
12345