Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/b8515s978

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development at NASA for controlling various hardware systems, as a testbed for applying the model of design decisions. This PLEXIL implementation is embedded in the functional language Haskell to take advantage of its static typing and lazy evaluation, and it accurately follows the semantics defined by NASA. The external world representation in this thesis improves upon NASA’s current simulator through the definition of new data types for more dynamic runtime behavior.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Keyword
Subject
Rights Statement
Language
Replaces
Additional Information
  • description.provenance : Submitted by Paul Strauss (straussp@onid.orst.edu) on 2009-06-12T21:47:47Z No. of bitstreams: 1 strauss-thesis.pdf: 609415 bytes, checksum: bfd9f796373012f5f5c1245acfeef13c (MD5)
  • description.provenance : Made available in DSpace on 2009-06-17T23:15:10Z (GMT). No. of bitstreams: 1 strauss-thesis.pdf: 609415 bytes, checksum: bfd9f796373012f5f5c1245acfeef13c (MD5)
  • description.provenance : Approved for entry into archive by Linda Kathman(linda.kathman@oregonstate.edu) on 2009-06-17T23:15:10Z (GMT) No. of bitstreams: 1 strauss-thesis.pdf: 609415 bytes, checksum: bfd9f796373012f5f5c1245acfeef13c (MD5)
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2009-06-16T17:50:19Z (GMT) No. of bitstreams: 1 strauss-thesis.pdf: 609415 bytes, checksum: bfd9f796373012f5f5c1245acfeef13c (MD5)

Relationships

In Administrative Set:
Last modified: 10/20/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items