RTEdge - Carnegie Mellon University
RTEdge - Carnegie Mellon University
RTEdge - Carnegie Mellon University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>RTEdge</strong> ® Execution Semantics Enforcement<br />
Static Analysis<br />
Programming<br />
Language<br />
Specification<br />
Model<br />
HLD Model<br />
Implementation Model<br />
User Application<br />
<strong>RTEdge</strong> Tools<br />
Timing Analysis<br />
Tools<br />
Functional Properties<br />
Analysis Tools<br />
Code Generator Tool<br />
Based on<br />
Run-Time EXEC<br />
Hardware Abstraction Layer (HAL)<br />
HW<br />
Platform 1<br />
HW<br />
Platform 2<br />
Virtual Time<br />
Platform<br />
Enforced by<br />
Well defined<br />
execution<br />
semantics<br />
Virtual Time Simulation Platform<br />
• Enable execution of software<br />
components on host computers by<br />
emulating target hardware real-time<br />
behaviour<br />
• HAL adaptation of Run-Time Exec<br />
to multiple platforms<br />
• A host RTOS is assumed on the<br />
HW Platform<br />
Edgewater Computer Systems – April 2012 21