Show simple item record

dc.contributor.authorKracht, Matthew Wallaceen_US
dc.date.accessioned2014-04-02T08:00:21Z
dc.date.available2014-04-02T08:00:21Z
dc.date.issued2014-04-01en_US
dc.identifier.othervt_gsexam:2299en_US
dc.identifier.urihttp://hdl.handle.net/10919/46866
dc.description.abstractAs 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_US
dc.format.mediumETDen_US
dc.publisherVirginia Techen_US
dc.rightsThis Item is protected by copyright and/or related rights. Some uses of this Item may be deemed fair and permitted by law even without permission from the rights holder(s), or the rights holder(s) may have licensed the work for use under certain conditions. For other uses you need to obtain permission from the rights holder(s).en_US
dc.subjectSynchronous Languagesen_US
dc.subjectReal-Time Systemsen_US
dc.subjectSchedulability Analysisen_US
dc.titleReal-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languagesen_US
dc.typeThesisen_US
dc.contributor.departmentElectrical and Computer Engineeringen_US
dc.description.degreeMaster of Scienceen_US
thesis.degree.nameMaster of Scienceen_US
thesis.degree.levelmastersen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Engineeringen_US
dc.contributor.committeechairShukla, Sandeep K.en_US
dc.contributor.committeememberWang, Chaoen_US
dc.contributor.committeememberClancy, Thomas Charlesen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record