Compositional verification of real-time applications

被引：0
|
作者：
Hooman, J [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE | 1998年 / 1536卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
To support top-down design of distributed real-time systems, a framework of mixed terms has been incorporated in the verification system PVS. Programs and assertional specifications are treated in a uniform way. We focus on the timed behaviour of parallel composition and hiding, presenting several alternatives for the definition of a denotational semantics. This forms the basis of compositional proof rules for parallel composition and hiding. The formalism is applied to an example of a hybrid system, which also serves to illustrate our ideas on platform independent programming.
引用
收藏
页码：276 / 300
页数：25
相关论文
共 50 条
  • [1] Compositional verification of embedded real-time systems
    Foughali, Mohammed
    Hladik, Pierre-Emmanuel
    Zuepke, Alexander
    JOURNAL OF SYSTEMS ARCHITECTURE, 2023, 142
  • [2] SPECIFICATION AND COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 558 : R3 - 235
  • [3] COMPOSITIONAL VERIFICATION OF A DISTRIBUTED REAL-TIME ARBITRATION PROTOCOL
    HOOMAN, J
    REAL-TIME SYSTEMS, 1994, 6 (02) : 173 - 205
  • [4] Compositional verification of real-time systems using Ecdar
    Alexandre David
    Kim. G. Larsen
    Axel Legay
    Mikael H. Møller
    Ulrik Nyman
    Anders P. Ravn
    Arne Skou
    Andrzej Wąsowski
    International Journal on Software Tools for Technology Transfer, 2012, 14 (6) : 703 - 720
  • [5] Compositional Verification for Hierarchical Scheduling of Real-Time Systems
    Carnevali, Laura
    Pinzuti, Alessandro
    Vicario, Enrico
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (05) : 638 - 657
  • [6] Verification Architectures: Compositional Reasoning for Real-Time Systems
    Faber, Johannes
    INTEGRATED FORMAL METHODS, 2010, 6396 : 136 - 151
  • [7] Face verification for real-time applications
    Romano, R
    Beymer, D
    Poggio, T
    IMAGE UNDERSTANDING WORKSHOP, 1996 PROCEEDINGS, VOLS I AND II, 1996, : 747 - 756
  • [8] Compositional verification of timing constraints for embedded real-time systems
    Guo, Hui
    Lee, Woo Jin
    PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE, 2007, : 571 - +
  • [9] Scheduling Elastic Applications in Compositional Real-Time Systems
    Salman, Shaik Mohammed
    Mubeen, Saad
    Markovic, Filip
    Papadopoulos, Alessandro, V
    Nolte, Thomas
    2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
  • [10] COMPOSITIONAL VERIFICATION OF REAL-TIME SYSTEMS USING EXTENDED HOARE TRIPLES
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 252 - 290
12345