Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
Matthew Kracht · VTechWorks (Virginia Tech) · 2014
(ABSTRACT) As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal synchronous 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