Volume 6, Issue 2 | Real-Time Systems

Real-Time Systems

The International Journal of Time-Critical Computing Systems

Publishing model:: Hybrid

Submit your manuscript

Search all Real-Time Systems articles

Volume 6, Issue 2

March 1994

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Publisher's note

Announcement Pages: iii - iii
An extendible approach for analyzing fixed priority hard real-time tasks
K. W. Tindell
A. Burns
A. J. Wellings
OriginalPaper Pages: 133 - 151
Real-time software specification and validation with Transnet
Krzysztof M. Sacha
OriginalPaper Pages: 153 - 172
Compositional verification of a distributed real-time arbitration protocol
Jozef Hooman
OriginalPaper Pages: 173 - 205
Dynamic priority scheduling of periodic and aperiodic tasks in hard real-time systems
Nima Homayoun
Parameswaran Ramanathan
OriginalPaper Pages: 207 - 232