Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. To show the applicability and effectiveness of this approac