Tue 27 Oct 2015 09:25 - 09:40 at Brighton 4 - Session 1

Autonomous vehicles and other robotics systems are frequently implemented using a general-purpose programming language such as C++, and prototyped using domain-specific tool such as MATLAB/Simulink, and LabVIEW. Such an approach is not efficient when programming primitive motions of autonomous vehicles when considering important safety constraints, and when promoting the broad access to robotic systems through involvement of students and aspiring students who do not know conventional low-level programming langauges. Aside from general-purpose programming languages, there are languages that are specifically designed to model autonomous vehicles, such as SHIFT, but these languages are typically for simulation purposes only. This experience report discusses the creation of a domain-specific language that allows for faster programming of autonomous vehicles while ensuring valid constraints will be met. This language generates code for multiple controllers that will operate alternatively to allow for fast and effective programming of vehicle trajectories using primitive motions. In addition to improving coding efficiency and reducing the number of programming errors, the language adds a level of abstraction so that autonomous vehicle behaviors may be generated by people with little knowledge of low-level details of the car’s operation. Furthermore, this language ensures safe operation of the vehicle by enforcing a set of user-definable constraints on the output path. A main set of constraints that are applied to every generated path have been specifically chosen to enforce safe switching between controllers and prevent the planning of unsafe actions. A novel application of the language is its ability to permit users to add specific constraints for a particular path; these constraints are checked for validity after the main constraint check is performed.

Tue 27 Oct

08:30 - 10:00: DSM - Session 1 at Brighton 4
dsm201508:30 - 08:50
Day opening
dsm201508:50 - 09:05
Jim DaviesUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK, Adam MilwardUniversity of Oxford, David Milward, Seyyed ShahUniversity of Oxford, Monika SolankiUniversity of Oxford, James WelchUniversity of Oxford
dsm201509:05 - 09:25
Subhav PradhanVanderbilt University, Abhishek DubeyVanderbilt University, Aniruddha GokhaleVanderbilt University, Martin LehoferSiemens Corporate Technology
dsm201509:25 - 09:40
Kennon McKeeverThe University of Arizona, Yegeta ZelekeUniversity of California Santa Cruz, Matt BuntingThe University of Arizona, Jonathan SprinkleUniversity of Arizona
dsm201509:40 - 10:00
Katrin HölldoblerRWTH Aachen University, Pedram Mir Seyed NazariRWTH Aachen University, Bernhard RumpeRWTH Aachen University, Germany