Tools
SPS
A plugin of OpenStack to support security in Cloud.
Crala
A tool for modeling Cloud robotic systems.
Mango
A process metamodel for embedded systems and safety lifecycle
SPEM
A tool for modeling Cloud robotic systems.
DEDAL
An architecture description language for component-based software.