Towards a refinement calculus for concurrent real-time programs

被引：0
作者：
Peuker, S [1 ]
Hayes, I
机构：
[1] Univ Queensland, Software Verificat Res Ctr, St Lucia, Qld 4067, Australia
[2] Univ Queensland, Sch Informat Technol & Elect Engn, St Lucia, Qld 4067, Australia
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2002年 / 2495卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We define a language and a predicative semantics to model concurrent real-time programs. We consider different communication paradigms between the concurrent components of a program: communication via shared variables and asynchronous message passing (for different models of channels). The semantics is the basis for a refinement calculus to derive machine-independent concurrent real-time programs from specifications. We give some examples of refinement laws that deal with concurrency.
引用
收藏
页码：335 / 346
页数：12
相关论文
共 50 条
  • [41] MODELING REAL-TIME BEHAVIOR WITH AN INTERVAL TIME CALCULUS
    DANIELS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 53 - 71
  • [42] Real-time simulation of concurrent components
    Kone, Ousmane
    PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE: COMPUTER SCIENCE CHALLENGES, 2007, : 427 - +
  • [43] REAL-TIME VISUALIZATION OF CONCURRENT PROCESSES
    SHARMA, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 852 - 862
  • [44] CONCURRENT ENGINEERING FOR REAL-TIME SYSTEMS
    PULLI, PJ
    HEIKKINEN, MP
    IEEE SOFTWARE, 1993, 10 (06) : 39 - 44
  • [45] Design of real-time concurrent software
    Henderson, MI
    Gill, KF
    MECHATRONICS, 1996, 6 (02) : 209 - 225
  • [46] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [47] Revisiting GPC and AND Connector in Real-Time Calculus
    Tang, Yue
    Guan, Nan
    Liu, Weichen
    Linh Thi Xuan Phan
    Yi, Wang
    2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 255 - 265
  • [48] Simulation of real-time systems with clock calculus
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    Tsai, Wei-Tek
    SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 69 - 86
  • [49] Duration calculus: A real-time semantic for B
    Colin, S
    Mariano, G
    Poirriez, V
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 431 - 446
  • [50] Theory and Implementation of a Real-Time Extension to the π-Calculus
    Posse, Ernesto
    Dingel, Juergen
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 125 - 139
12345