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 条
  • [31] Run-time verification
    Colin, S
    Mariani, L
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [32] The ANDRES project: Analysis and design of run-time reconfigurable, heterogeneous systems
    Herrholz, A.
    Oppenheimer, F.
    Hartmann, P. A.
    Schallenberg, A.
    Nebel, W.
    Grimm, C.
    Damm, M.
    Haase, J.
    Brame, F.
    Herrera, F.
    Villar, E.
    Sander, I.
    Jantsch, A.
    Fouilliart, A. -M.
    Martinez, M.
    [J]. 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2, 2007, : 396 - 401
  • [33] Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
    Mine, Antoine
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 398 - 418
  • [34] Hard Real-time Scheduling for Parallel Run-time Systems
    Dinda, Peter
    Wang, Xiaoyang
    Wang, Jinghang
    Beauchene, Chris
    Hetland, Conor
    [J]. HPDC '18: PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE PARALLEL AND DISTRIBUTED COMPUTING, 2018, : 14 - 26
  • [35] Run-time data-flow analysis
    Jianhui Li
    Binyu Zang
    Rong Wu
    Chuanqi Zhu
    [J]. Journal of Computer Science and Technology, 2002, 17 : 442 - 449
  • [36] Can a shape analysis work at run-time?
    Bogda, J
    Singh, A
    [J]. USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2001, : 13 - 25
  • [37] Run-time data-flow analysis
    Li, JH
    Zang, BY
    Wu, R
    Zhu, CQ
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (04) : 442 - 449
  • [38] Run-time analysis assesses pump performance
    Vandevier, Joe
    [J]. OIL & GAS JOURNAL, 2010, 108 (37) : 76 - 79
  • [39] Run-time analysis changes debugging strategies
    Gott, R
    [J]. COMPUTER DESIGN, 1998, : 22 - +
  • [40] Run-Time Analysis of Temporal Constrained Objects
    Kannimoola, Jinesh M.
    Jayaraman, Bharat
    Achuthan, Krishnashree
    [J]. DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 20 - 36
12345