Gerçek zamanlı sistemler için yüksek güvenirlikli çoklu yazılım sentezi