Составители:
На этапе разработки и изготовления аппаратных средств и
программного обеспечения системы источниками ошибок могут возникать при
разработке аппаратуры, при изготовлении прототипа и при разработке
программных средств. При разработке аппаратуры возможны упущения
некоторых функций, неверная интерпретация технических требований,
недостатки в схемах синхронизации. При изготовлении прототипа возможны
дефекты комплектующих изделий, а также ошибки монтажа и сборки.
Наконец, при разработке программных средств возможны упущения некоторых
функций технического задания, неточности алгоритмов и кодирования.
Таким образом, возможно большое число причин и источников
субъективных и физических неисправностей, которые необходимо
локализовать и устранить. Сложность задач обнаружения ошибок и
локализации неисправностей связана также с тем, что различные
неисправности могут проявляться одинаковым образом.
Достаточно хорошо отработаны методы и средства обнаружения ошибок
и локализации физических неисправностей, которые широко используются для
проверки работоспособности и диагностики неисправностей при
проектировании, производстве и эксплуатации дискретных систем.
Однако отсутствуют модели субъективных неисправностей, что
затрудняет задачу построения эффективных методов и средств для выявления
таких неисправностей. Как следует из перечня источников ошибок,
субъективные неисправности могут быть внесены уже на этапе разработки
спецификации системы. Это означает, что субъективные неисправности могут
оставаться даже после самых тщательных испытаний системы на соответствие
ее внешним спецификациям.
Поскольку процесс проектирования МПС имеет итерационный характер,
неисправности, обнаруженные на этапе приемосдаточных испытаний, могут
привести к коррекции спецификаций, а следовательно, вернуть
проектировщиков к началу проектирования всей системы. Поэтому
необходимо контролировать корректность проекта на каждом этапе
разработки, чтобы была возможность как можно раньше обнаруживать
неисправности.
Проверка правильности проекта. Перечислим основные методы
контроля правильности проектирования:
• верификация − формальные методы доказательства корректности
проекта;
• моделирование;
Страницы
- « первая
- ‹ предыдущая
- …
- 88
- 89
- 90
- 91
- 92
- …
- следующая ›
- последняя »
