This talk focuses on the scalability, correctness, and design process for code generated for cyber-physical systems. Traditional approaches to software to control physical systems fails to scale for reasons of complexity, personnel, or issues of certification. The wide success of code generators in engineering tool suites has reduced the burden of personnel for problems which could be expressed as models in those tools, but such code generators only execute that system. The approach we take applied domain-specific modeling, which permits us to model the CPS closer to the application area, using constrained modeling environments that can guarantee to avoid certain known-bad structural configurations, and then interpret those models using a code generator. The novelty of the work is the time required to stand up a new interpreter based on template code generators. The talk demonstrates the approach across several different CPS-related applications, including automated aerial refueling, the control and simulation of controllable floating river sensors, and the integration of software for an autonomous ground vehicle.
Dr. Jonathan Sprinkle is an Assistant Professor of Electrical and Computer Engineering at the University of Arizona. In 2013 he received the NSF CAREER award, and in 2009, he received the UA's Ed and Joan Biggers Faculty Support Grant for work in autonomous systems. His work has an emphasis for industry impact, and he was recognized with the UA "Catapult Award" by Tech Launch Arizona in 2014, and in 2012 his team won the NSF I-Corps Best Team award. His research interests and experience are in systems control and engineering, and he teaches courses ranging from systems modeling and control to mobile application development and software engineering. Dr. Sprinkle graduated in 2003 with the PhD from Vanderbilt University, and with his MS in 2000. He graduated with his BSEE in cursu honorum, cum laude, from Tennessee Tech University in Cookeville, TN, in 1999. He worked from 2003-2007 as a postdoctoral researcher and later Executive Director of the Center for Hybrid and Embedded Software Systems at UC Berkeley.
PLEASE JOIN US FOR A COFFEE AND COOKIE RECEPTION AT 2:30 PM BEFORE THE SEMINAR IN ROOM 154 COORDINATED SCIENCE LABORATORY