FONKSİYONEL GÜVENLİK KAPSAMINDA ELEKTRİK MOTORU TAKVİYELİ DİREKSİYON SİSTEMİNİN MODEL TABANLI YAZILIMININ GELİŞTİRİLMESİ