Using the DiaSpec design language and compiler to develop robotics systems

Damien Cassou, Serge Stinckwich, Pierrick Koch

A Sense/Compute/Control (SCC) application is one that interacts with the physical environment. Such applications are pervasive in domains such as building automation, assisted livi…