This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Some Consideration on Real-Time Behavior of Concurrent Programs
March 1989 (vol. 15 no. 3)
pp. 356-359
ASCII Text
x 
 
A. Fuggetta, C. Ghezzi, D. Mandrioli, "Some Consideration on Real-Time Behavior of Concurrent Programs," IEEE Transactions on Software Engineering, vol. 15, no. 3, pp. 356-359, March, 1989.
 
 
BibTex
x
 
@article{ 10.1109/32.21763,
author = {A. Fuggetta and C. Ghezzi and D. Mandrioli},
title = {Some Consideration on Real-Time Behavior of Concurrent Programs},
journal ={IEEE Transactions on Software Engineering},
volume = {15},
number = {3},
issn = {0098-5589},
year = {1989},
pages = {356-359},
doi = {http://doi.ieeecomputersociety.org/10.1109/32.21763},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Some Consideration on Real-Time Behavior of Concurrent Programs
IS - 3
SN - 0098-5589
SP356
EP359
EPD - 356-359
A1 - A. Fuggetta,
A1 - C. Ghezzi,
A1 - D. Mandrioli,
PY - 1989
KW - real-time behavior; concurrent programs; semantic issues; real-time programs; guarded commands; real-time language; formal languages; high level languages; parallel programming; program verification; programming theory; real-time systems.
VL - 15
JA - IEEE Transactions on Software Engineering
ER -
 

Some basic semantic issues of a language for a reliable and provably correct real-time programs are discussed. The language is based on E.W. Dijkstra's guarded commands and on a proposal by V.H. Haase (1981). Haase's proposal is assessed, its semantic consistencies are shown, and corrections are proposed that give a sound basis for a real-time language based on guarded commands.

[1] S. Bologna and N. G. Leveson, Eds.,IEEE Trans. Software Eng. (Special Issue on Reliability and Safety in Real-Time Process Control), vol. SE-12, no. 9, Sept. 1986.
[2] V. H. Haase, "Real-time behavior of programs,"IEEE Trans. Software Eng., vol. SE-7, no. 5, Sept. 1981.
[3] E. W. Dijkstra,A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall, 1976.

Index Terms:
real-time behavior; concurrent programs; semantic issues; real-time programs; guarded commands; real-time language; formal languages; high level languages; parallel programming; program verification; programming theory; real-time systems.
Citation:
A. Fuggetta, C. Ghezzi, D. Mandrioli, "Some Consideration on Real-Time Behavior of Concurrent Programs," IEEE Transactions on Software Engineering, vol. 15, no. 3, pp. 356-359, March 1989, doi:10.1109/32.21763
Usage of this product signifies your acceptance of the Terms of Use.