Foundations of Real-Time Computing: Scheduling and Resource Management

Denne boken presenterer et utvalg av artikler som gir en grundig oversikt over de nyeste fremskrittene innen sanntidsplanlegging og ressursforvaltning. De foreløpige versjonene av disse bidragene ble offentliggjort under et workshop om grunnleggende aspekter ved sanntidsdatabehandling, som ble støttet av Office of Naval Research i oktober 1990 i Washington, D.C. Boken utfylles av et tilknyttet verk med tittelen 'Foundations of Real-Time Computing: Formal Specifications and Methods', som tar for seg mange av de mest avanserte tilnærmingene som for tiden undersøkes innen formell spesifikasjon og verifikasjon av sanntidssystemer. Sammen utgjør disse to verkene et omfattende bilde av dagens innsikter i prosessen med å designe og bygge sanntidsdatabehandlingssystemer basert på vitenskapelige prinsipper. Mange av artiklene i denne boken tar seg tid til å definere hva som menes med begrepet 'sanntidssystem', et begrep som lett kan misforstås. Ulike forskningsmiljøer bruker dette begrepet på varierende måter.