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 条
  • [41] A simplification of a real-time verification problem
    Roy, Suman
    Misra, Janardan
    Saha, Indranil
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2016, 26 (08): : 548 - 571
  • [42] Real-time verification of STATEMATE designs
    Brockmeyer, U
    Wittich, G
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 537 - 541
  • [43] Verification of real-time systems design
    Emilia Cambronero, M.
    Valero, Valentin
    Diaz, Gregorio
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
  • [44] RISC-V Simulator Library for Real-time Applications: Development and Verification
    Dogan, Utkucan
    Koyun, Alperen
    Yalcin, Suleyman Samet
    Schmidt, Ece Guran
    32ND IEEE SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE, SIU 2024, 2024,
  • [45] Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
    Nikiforov, Victor
    Baranov, Sergey
    CYBERNETICS AND INFORMATION TECHNOLOGIES, 2016, 16 (02) : 85 - 96
  • [46] Real applications and real benefits in real-time
    Handby, GT
    AM/FM INTERNATIONAL CONFERENCE XIX, PROCEEDINGS - THRIVING IN AN AGE OF COMPETITION, 1996, : 165 - 171
  • [47] Real-time Ethernet Applications
    Hoske, Mark T.
    CONTROL ENGINEERING, 2008, 55 (10) : 72 - 72
  • [48] Approximate Bandwidth Allocation for Compositional Real-Time Systems
    Fisher, Nathan
    Dewan, Farhana
    PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 87 - 96
  • [49] Compositional schedulability analysis of hierarchical real-time systems
    Easwaran, Arvind
    Lee, Insup
    Shin, Insik
    Sokolsky, Oleg
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 274 - +
  • [50] Compositional real-time scheduling framework with periodic model
    Shin, Insik
    Lee, Insup
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2008, 7 (03)
12345