| О формальной спецификации цифровых систем |
|
 |
|
|
| Авторы |
| | Скуратов А.К. |
| Год публикации |
| | 2021 |
| DOI |
| | 10.31114/2078-7707-2021-3-65-70 |
| УДК |
| | 681.3.02 |
|
| Аннотация |
| | Рассмотрены вопросы составления функциональной спецификации на проектируемую цифровую специализи-рованную систему с целью последующего формирования набора тестовых примеров для проверки правильности и отладки проекта, задаваемого схемой технических средств и текстом программного обеспечения. Предполагается, что сам процесс отладки осуществляется на компьютерной функционально-логической модели проекта цифровой системы. В качестве модели технических средств цифровой системы используется семейство стационарных динамических систем с конечнозначным представлением логических сигналов и непрерывным временем. Формирование тестовых примеров для отладки проекта предлагается проводить на основе последовательностей функций, выполняемых цифровой системой при управлении оборудованием. Для формирования таких последовательностей предлагается использовать иерархические сети Петри. |
| Ключевые слова |
| | отладка проектов цифровых систем, функционально-логическое моделирование, сети Петри, формирование отладочных тестовых примеров, спецификация набора функций. |
| Ссылка на статью |
| | Скуратов А.К. О формальной спецификации цифровых систем // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2021. Выпуск 3. С. 65-70. doi:10.31114/2078-7707-2021-3-65-70 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2021/pdf/D056.pdf |
