Abstract | ||
---|---|---|
We present a specification oriented real-time semantics for real-time programs consisting of communicating sequential processes running on a shared processor configuration. The semantics, which is given in Duration Calculus [7], separates properties of a (compiled) program from properties attributable to a scheduling strategy. This gives a clear division of concerns when a given program under a given scheduling strategy has to be proven correct wrt. hard real-time constraints. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/3-540-55092-5_2 | FTRTFT |
Keywords | Field | DocType |
shared processors,communicating sys- tems,scheduling.,real-time programs,duration specifications,real-time semantics,real-time systems,specifications,duration calculus,real time,real time systems | Programming language,Computer science,Scheduling (computing),Communicating sequential processes,Real-time computing,Duration calculus,Semantics | Conference |
Volume | ISSN | ISBN |
571 | 0302-9743 | 3-540-55092-5 |
Citations | PageRank | References |
33 | 3.45 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zhou Chaochen | 1 | 743 | 44.43 |
Michael r. Hansen | 2 | 543 | 43.29 |
Anders P. Ravn | 3 | 766 | 116.35 |
Hans Rischel | 4 | 275 | 76.57 |