TY - Generic T1 - Acumen: An open-source testbed for cyber-physical systems research T2 - EAI International Conference on CYber physiCaL systems, iOt and sensors Networks Y1 - 2015 A1 - Walid Taha A1 - Adam Duracz A1 - Yingfu Zeng A1 - Kevin Atkinson A1 - Ferenc A.Bartha A1 - Paul Brauner A1 - Jan Duracz A1 - Fei Xu A1 - Robert Cartwright A1 - Michal Konecny A1 - Eugenio Moggi A1 - Jawad Masood A1 - Pererik Andreasson A1 - Jun Inoue A1 - Anita Santanna A1 - Roland Philippsen A1 - Alexandre Chapoutot A1 - O'Malley, M.K. A1 - Aaron Ames A1 - Veronica Gaspes A1 - Lise Hvatum A1 - Shyam Mehta A1 - Henrik Eriksson A1 - Christian Grante JF - EAI International Conference on CYber physiCaL systems, iOt and sensors Networks ER - TY - Generic T1 - Mathematical Equations as Executable Models of Mechanical Systems Y1 - 2010 A1 - Angela Yun Zhu A1 - Edwin Westbrook A1 - Jun Inoue A1 - Alexandre Chapoutot A1 - Cherif Salama A1 - Marisa Peralta A1 - Travis Martin A1 - Walid Taha A1 - Robert Cartwright A1 - O'Malley, M.K. AB -

Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and building running simulators. This gap significantly impedes the ability of scientists and engineers to develop novel cyber-physical systems. We propose bridging this gap by automating the mapping from analytical models to simulation codes. Focusing on mechanical systems as an important class of models of physical systems, we study the form of analytical models that arise in this domain, along with the process by which domain experts map them to executable codes. We show that the key steps needed to automate this mapping are 1) a light-weight analysis to partially direct equations, 2) a binding-time analysis, and 3) an efficient implementation of symbolic differentiation. As such, our work pinpoints and highlights a number of limitations in the state of the art in tool support of simulation, and shows how some of these limitations can be overcome.

ER - TY - Generic T1 - Implementing Haptic Feedback Environments from High-level Descriptions Y1 - 2009 A1 - Angela Yun Zhu A1 - Jun Inoue A1 - Marisa Peralta A1 - Walid Taha A1 - O'Malley, M.K. A1 - Powell, Dane ER -