Skip to content

Detecting Inconsistencies of Physical Units in Code

My Ph.D. co-advisee, John-Paul Ore, is working in the development of techniques to detect faults due to the mismanipulation of physical units in code , a particularly difficult and common challenge when implementing robotic systems (recent ISSTA paper). We are also developing tools to support practitioners in the detection of such faults (phriky-units tool). We have found many interesting faults and fault patterns already (see our coming IROS 2017 paper for more details on this), here are a few:




Published inUncategorized