Matt Bunting
Jonathan Sprinkle
ABSTRACT
Managing complexity while ensuring safely designed behaviors is important for cyber-physical systems as they are continually intro- duced to consumers, such as autonomous vehicles. Safety consid- erations are important as programming interfaces become open to experts and non experts of varying degrees. Autonomous vehicles are an example system where many domain experts must collab- orate together to ensure safe operation. Through the use of higher level abstraction, domain experts may provide verification tools to check dynamic behavioral constraints. Similarly, higher level mod- eling tools may generate lower level artifacts for a working system. With modeling and verification tools, smaller teams and potentially non-experts may program custom behaviors while ensuring a cor- rectly behaved system. A high level domain specific modeling language was created with a focus on non-domain experts. The domain consists of driving a vehicle through a set of known waypoints by connecting together multiple primitive motions in a sequence. Though constrained to simple motions, it is still possible to create a sequence to drive the vehicle unsafely. Model verification was implemented to check that the expected start and stop waypoints were correctly reached without driving the vehicle into unsafe regions. The language was then provided to a set of 4th year elementary school students to create unique paths. The models created by the students were then used to generate controller artifacts to operate a real autonomous vehicle on a soccer field.
- S. Kelly and J.-P. Tolvanen. Domain-specific modeling: enabling full code generation. John Wiley & Sons, 2008. Google Scholar
Digital Library
- S. H. Kim and J. W. Jeon. Programming lego mindstorms nxt with visual programming. In Control, Automation and Systems, 2007. ICCAS’07. International Conference on, pages 2468– 2472. IEEE, 2007.Google Scholar
- A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The generic modeling environment. In Workshop on Intelligent Signal Processing, Budapest, Hungary, volume 17, page 1, 2001.Google Scholar
- M. Mar´oti, R. Kereskényi, T. Kecskés, P. Völgyesi, and A. Lédeczi. Online collaborative environment for designing complex computational systems. Procedia Computer Science, 29:2432–2441, 2014.Google Scholar
- K. McKeever, Y. Zeleke, M. Bunting, and J. Sprinkle. Experience report: Constraint-based modeling of autonomous vehicle trajectories. In Proceedings of the Workshop on Domain-Specific Modeling, DSM 2015, pages 17– 22, New York, NY, USA, 2015. ACM. ISBN 978- 1-4503-3903-2. Google ScholarDigital Library
- B. H. Thacker, S. W. Doebling, F. M. Hemez, M. C. Anderson, J. E. Pepin, and E. A. Rodriguez. Concepts of model verification and validation. Technical report, Los Alamos National Lab., Los Alamos, NM (US), 2004.Google Scholar
- S. Whitsitt. Automatic verification of dynamic constraints in lti control systems through model transformations. In NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 03/2014 2014. NSF, NSF.Google Scholar
- S. Whitsitt and J. Sprinkle. Model based development with the skeleton design method. In Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, pages 12–19, April 2013. Google ScholarDigital Library
- K. Zhang and J. Sprinkle. A closed-loop model-based design approach based on automatic verification and transformation. In Proceedings of the 14th Workshop on Domain-Specific Modeling, DSM ’14, pages 1–6, New York, NY, USA, 2014. ACM. ISBN 978-1-4503-2156-3. Google ScholarDigital Library
Index Terms
- A safe autonomous vehicle trajectory domain specific modeling language for non-expert development
Recommendations
Experience report: constraint-based modeling of autonomous vehicle trajectories
DSM 2015: Proceedings of the Workshop on Domain-Specific ModelingAutonomous 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 ...
Development of a robotic driver for autonomous vehicle following
This paper presents the development of autonomous control of a passenger vehicle for vehicle following using a robotic driver. The aim is to have a modular and transferable device that can autonomously control a standard passenger car. The robot ...
Safe Crossroads via Vehicle to Vehicle Communication
Computer Aided Systems Theory - EUROCAST 2009Driving through crossroads is one of the most dangerous maneuvers. The European community goal of reducing the vehicle accident rate will require a reduction of accidents in crossroads. This paper presents a method of cooperation among vehicles getting ...
Comments