"7. Трассировка от пользовательских (функциональных) требований к конструкции может быть невозможна. Тут нужно думать, думать и думать"
трассировка обычно (всегда?) обсуждается в контексте верификации, а это - валидация.
А вот не факт. Требования бывают разные, в том числе стейкхолдерские и архитектурные, и они в куче. И трассировку требуют ко всем. Более того, есть требования dependability -- надежности, экологичности и т.д.. В силу холистичности этих требований и потребовался assurance case вместо трассировки.
Тут еще повозиться придется, ибо авторы 15288 иногда что-то из этого различают, а иногда не различают (тут так же плохо в этой системной инженерии, как и с датацентрикой).