Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
| dc.contributor.author | Kracht, Matthew Wallace | en |
| dc.contributor.committeechair | Shukla, Sandeep K. | en |
| dc.contributor.committeemember | Wang, Chao | en |
| dc.contributor.committeemember | Clancy, Thomas Charles III | en |
| dc.contributor.department | Electrical and Computer Engineering | en |
| dc.date.accessioned | 2014-04-02T08:00:21Z | en |
| dc.date.available | 2014-04-02T08:00:21Z | en |
| dc.date.issued | 2014-04-01 | en |
| dc.description.abstract | As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal polychronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions to MRICDF so that temporal properties of embedded systems can also be proven. We adapt the extended precedence encoding technique of Prelude and expand upon current schedulability analysis techniques for multi-periodic real-time systems. | en |
| dc.description.degree | Master of Science | en |
| dc.format.medium | ETD | en |
| dc.identifier.other | vt_gsexam:2299 | en |
| dc.identifier.uri | http://hdl.handle.net/10919/46866 | en |
| dc.publisher | Virginia Tech | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject | Synchronous Languages | en |
| dc.subject | Real-Time Systems | en |
| dc.subject | Schedulability Analysis | en |
| dc.title | Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages | en |
| dc.type | Thesis | en |
| thesis.degree.discipline | Computer Engineering | en |
| thesis.degree.grantor | Virginia Polytechnic Institute and State University | en |
| thesis.degree.level | masters | en |
| thesis.degree.name | Master of Science | en |