Boundary conditions for the development of safety related software (UNI Bremen & AEbt)