MaSE/agentTool Extensions

Type: Project/Thesis

There is currently interest in extending the Multiagent Systems Engineering (MaSE) methodology, and its associated tool, agentTool, to be more general and more useful in an industrial setting.  Possible extensions/modification include:

• More extensive verification capabilities, possibly integrating the Bogor model checking system

• Code generation aimed at FIPA-compliant or sensor networking platforms

• Integration with the Cadena design tool