Embedded high reliability star management software design and verification