A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Deriving concurrent control software from behavioral specifications
2010
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems
Concurrency is an integral part of many robotics applications, due to the need for handling inherently parallel tasks such as motion control and sensor monitoring. Writing programs for this complex domain can be hard, in particular because of the difficulties of retaining a robust modular design. We propose to use SCOOP, an object-oriented programming model for concurrency which by construction is free of data races, therefore excluding a major class of concurrent programming errors.
doi:10.1109/iros.2010.5650536
dblp:conf/iros/RamanathanMWNM10
fatcat:krmdimhtdzhbvacdurediifzcy