Работы автора

В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.

Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.

Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.