user

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
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 53 - 71
  • [42] Design of real-time concurrent software
    Henderson, MI
    Gill, KF
    [J]. MECHATRONICS, 1996, 6 (02) : 209 - 225
  • [43] Real-time simulation of concurrent components
    Kone, Ousmane
    [J]. PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE: COMPUTER SCIENCE CHALLENGES, 2007, : 427 - +
  • [44] CONCURRENT ENGINEERING FOR REAL-TIME SYSTEMS
    PULLI, PJ
    HEIKKINEN, MP
    [J]. IEEE SOFTWARE, 1993, 10 (06) : 39 - 44
  • [45] REAL-TIME VISUALIZATION OF CONCURRENT PROCESSES
    SHARMA, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 852 - 862
  • [46] A Multi-Mode Real-Time Calculus
    Phan, Linh T. X.
    Chakraborty, Samarjit
    Thiagarajan, P. S.
    [J]. RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 59 - 69
  • [47] A probabilistic real-time calculus for performance evaluation
    Voeten, J
    Geilen, M
    [J]. SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 608 - 617
  • [48] A Probabilistic Calculus for Probabilistic Real-Time Systems
    Santinelli, Luca
    Cucu-Grosjean, Liliana
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
  • [49] Revisiting GPC and AND Connector in Real-Time Calculus
    Tang, Yue
    Guan, Nan
    Liu, Weichen
    Linh Thi Xuan Phan
    Yi, Wang
    [J]. 2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 255 - 265
  • [50] Simulation of real-time systems with clock calculus
    Hu, Kai
    Zhang, Teng
    Yang, Zhibin
    Tsai, Wei-Tek
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2015, 51 : 69 - 86
12345