The demo of EMSystemB