[laydn]

It is bizarre to expect an embedded software engineer, who is coding from a specifications document, to know enough about aircraft control, control dynamics, pilot training, aerodynamics, etc to somehow figure out MCAS was a somewhat poorly designed/communicated "workaround".

[sofixa]

It was the embedded software engineer (s) who didn't do any redundancy. Knowing this is for an airliner, how on earth do you reconcile the two?

[zppln]

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.