Linking Simulation Model Specification and Parallel Execution through UNITY

Simple item page
dc.contributor.authorAbrams, Marcen
dc.contributor.authorPage, Ernest H.en
dc.contributor.authorNance, Richard E.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:37:07Zen
dc.date.available2013-06-19T14:37:07Zen
dc.date.issued1991en
dc.description.abstractChandy and Misra's UNITY is a computation model and proof system suitable for development of parallel (and distributed) programs through step-wise refinement of specifications. UNITY supports the development of correct programs and the efficient implementation of those programs on parallel computer architectures. This paper assesses the potential of UNITY for simulation model specification and implementation by developing a UNITY specification of the machine interference problem with a patrolling repairman service discipline. The conclusions reached are that the UNITY proof system can assist formal verification of simulation models and the UNITY mappings of programs to various computer architectures offer some potential for assisting the automatic implementation of simulation models on parallel architectures. The paper gives some insights into the relationship of time flow mechanisms, parallel simulation protocols, and target parallel computer architectures.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000260/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000260/01/TR-91-14.pdfen
dc.identifier.trnumberTR-91-14en
dc.identifier.urihttp://hdl.handle.net/10919/19646en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleLinking Simulation Model Specification and Parallel Execution through UNITYen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-91-14.pdf
Size:
1.22 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports