IP-XACT Extensions for Safety-Critical Embedded Systems