Safety really is a systems level concern. Aircraft software should implement the requirements the systems level put on it and nothing else. If the specification is somehow insufficient this is fed back to the systems level for evaluation and requirements have to be added/changed. This is the entire point of DO-178C.