Publications:Some Challenges for Model-Based Simulation
From CERES
| Title | Some Challenges for Model-Based Simulation |
|---|---|
| Author | Walid Taha and Robert Cartwright |
| Year | 2013 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop : December 3, Vancouver, Canada |
| DOI | |
| Conference | The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:668819 |
| Abstract | Comprehensive analytical modeling and simulation of cyber-physical systems is an integral part of the process that brings novel designs and products to life. But the effort needed to go from analytical models to running simulation code can impede or derail this process. Our thesisis that this process is amenable to automation, and that automating it will accelerate the pace of innovation. This paper reviews some basic concepts that we found interesting or thought-provoking, and articulates some questions that may help prove or disprove this thesis. While based on ideas drawn from different disciplines, we observe that all these questions pertain in a profound way to how we can reason and compute with real numbers. |
