update robustness astah
add sequence astah file