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.