Design and Verification of Cellphone-based Cyber-Physical Systems: A Position Paper

This paper outlines an approach to explore methods for design and verification of cellphone-based cyber physical systems. The use of cellphones for development of such control systems has a number of benefits. Cellphones are relatively cheap, they already combine a number of sensors and communication capabilities that make them suitable candidates for relatively inexpensive embedded systems. At the same time there are certain peculiarities and restrictions in the existing operating systems and programming environments for cellphones that do not allow transferring existing methods for design and verification of control systems directly. We suggest an approach to explore such methods adapted for cellphones as embedded devices.