Kracht, Matthew Wallace2014-04-022014-04-022014-04-01vt_gsexam:2299http://hdl.handle.net/10919/46866As 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.ETDIn CopyrightSynchronous LanguagesReal-Time SystemsSchedulability AnalysisThesis