Обсуждение

Интересно было б подробно взглянуть на хотя б один экземпляр assurance case из живого проекта... И уточняющий вопрос: assurance case составляют сами разработчики, или есть отдельный независимый отдел?

На западные assurance case взглянуть будет трудно: ноги там растут из оборонной промышленности. У нас очень похожие (но все-таки существенно отличающиеся от описанного) практики есть в атомной промышленности -- подобные документы называются "обоснование безопасности", а в них "поверочные расчеты". Assurance case должны составлять разработчики (разделение между ними труда на эту тему не рассматривается обычно), "независимый отдел" лишь проводит саму оценку. Assurance case -- это не оценка, это материалы к оценке. Независимыми людьми должна выполняться сама процедура оценки по этим подготовленным материалам.

Странно. Мне кажется, доказательства достигнутого должны строиться на измерениях, а измерения все советуют проводить отдельной независимой группой.

Нужно учитывать, что измерения (на стендах) проводятся, конечно, на этапе моделирования технологии. Затем калибруются модели, и они поверяются. Затем делается эскизный (архитектурный) проект, и его расчеты делаются на основе результатов моделирования. Измерить сам архитектурный проект нельзя. Дополнительно защищаются тем, что проектировочный расчет и поверочный расчет делаются по разным наборам моделей. Нужно учитывать, что assurance case должен быть и на этапе замысла, когда и моделей может еще не быть.

Спасибо. У софта обычно по моделям ничего не наизмеряешь.