Keyword :
model-based risk assessment , expert systems , Software Engineering , Artificial Intelligence , development lifecycles , Safety , Sony AIBO , functional safety , Risk , IEC 61508 , UML , Risk management , model-driven development , UML profile , safety-critical systems