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 条
  • [21] Towards a calculus for distributed, real-time and mobile systems
    Maarouk, Toufik Messaoud
    Saidouni, Djamel Eddine
    Khergag, Mohamed
    [J]. Journal of Software, 2012, 7 (03) : 564 - 574
  • [22] FLEX - TOWARDS FLEXIBLE REAL-TIME PROGRAMS
    LIN, KJ
    NATARAJAN, S
    [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 65 - 79
  • [23] Real-time calculus for scheduling hard real-time systems
    Thiele, L
    Chakraborty, S
    Naedele, M
    [J]. ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
  • [24] An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
    Cardell-Oliver, R
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 545 - 567
  • [25] TIME AND REAL-TIME IN PROGRAMS
    JOSEPH, M
    [J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 312 - 324
  • [26] TIME AND REAL-TIME IN PROGRAMS
    JOSEPH, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 312 - 324
  • [27] Action refinement for true concurrent real time
    Majster-Cederbaum, M
    Wu, JZ
    [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 58 - 68
  • [28] Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
    Cassez, Franck
    Jensen, Peter Gjol
    Larsen, Kim Guldstrand
    [J]. FUNDAMENTA INFORMATICAE, 2021, 178 (1-2) : 31 - 57
  • [29] COMPILING REAL-TIME PROGRAMS WITH TIMING CONSTRAINT REFINEMENT AND STRUCTURAL CODE MOTION
    GERBER, R
    HONG, SS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (05) : 389 - 404
  • [30] A refinement calculus for logic programs
    Hayes, I
    Colvin, R
    Hemer, D
    Strooper, P
    Nickson, R
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 : 425 - 460
12345