SUMMARY
We introduced model-based design methodology for cyber- physical systems and evaluated it through the development of the TBD.
It is our strong belief that the Tunneling Ball problem would have been extremely difficult (if not impossible) to solve without the use of modeling and simulation.
MBD proved critical in nearly every aspect of development, and especially in device construction, hardware selection, and selection of the model of computation.
The methodology invokes powerful modeling theory in a strongly pedagogical application of mathematics, engineering, and computer science.
Each of the steps investigated in this report is only a preview of a vast field of research, but the formalization into codependent steps offers an innovative approach to the design of cyber-physical systems.