Alex Day (Clarion University of Pennsylvania)
Sam Hum (Colorado College)
Riley Wagner
 (the University of Arizona)

In 2019 summer, I worked on the CAT Vehicle REU at the University of Arizona. My group created a specialized language that will be used at local Tucson elementary schools to code Lego EV3 robots and the CAT Vehicle (an autonomous vehicle). I want to thank the University of Arizona, the NSF, and the other members of CAT Vehicle and HF projects.

Alex Day's experience: This video outlines the project that I was a part of during the University of Arizona's CAT Vehicle REU.

Video experience of Riley's project on the use of a domain-specific modeling language (DSML) designed in WebGME — a server-based generic modeling environment. The language mirrors the curriculum of non-expert programmers and incorporates the use of sensor data, which is to be deployed on both the Cognitive and Autonomous Test Vehicle (CATVehicle) and Lego EV3 robots. However, maintaining safety within these DSML-designed CPS can be an issue.

Subscribe to RSS - 2019-verification-trajectories