High-confidence embedded real-time designs stretch
the demands placed on design and development tools. We will
demonstrate the design and testing of an embedded control
system built using the ESMoL modeling language and supporting
tools. ESMoL adds distributed deployment concepts to Simulink
designs, and integrates scheduling analysis as well as platformspecific
simulation. The testing system includes a simulated
physical plant running in a hardware-in-the-loop configuration
with the actual embedded controller.