Partial-orderings-of-event-sets-and-their-application-to-prototyping-concurrent，-timed-syst.pdfVIP

Partial Orderings of Event Sets and Their Application to Prototyping Concurrent Timed Systems David C Luckham James Vera 2 Doug Bryan Larry Augustin Computer Systems Lab oratory Stanford University Stanford CA Frank Belz TRW Decemb er submitted for publication in The Journal of Systems and Software JSS sp ecial issue on applying sp ecication verication and validation techniques Abstract Rapide is a concurrent ob jectoriented language sp ecically designed for prototyping large concurrent systems One of the principle design goals has b een to adopt a compu tation mo del in which the synchronizatio n concurrency dataow and timing asp ects of a prototyp e are explicitl y represented and easily accessible b oth to the prototyp e itself and to the prototyp er This pap er describ es the partially ordered event set p oset com putation mo del and the features of Rapide for using p osets in reactive prototyp es and for automaticall y checking p osets An example prototyping scenario illustrates uses of the p oset computation mo del with and without timing keywords Rapide partial orders prototyping concurrency realtime architecture program ming languages Principle contact Larry M Augustin ERL MC Computer Systems Lab oratory Stanford University Stanford CA Tel Fax Email lmadaytonStanfordEDU 1 This research was supp orted by the US Air Force Oce of Scientic Research under Grant AFOSR and by the US Defense Advanced Research Pro jects Agen