Using the DiaSpec Design Language and Compiler to Develop Robotics Systems

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 living, and autonomic computing. Developing an SCC application is complex because the implementation must address both the interaction with the environment and the application logic, because any evolution in the environment must be reflected in the implementation of the application, and because correctness is essential, as effects on the physical environment can have irreversible consequences.

Provided by: University of Potsdam Topic: Software Date Added: Aug 2011 Format: PDF

Find By Topic