dc.contributor.author | Ostroumov, S.В. | |
dc.contributor.author | Laibinis, L.V. | |
dc.contributor.author | Troubitsyna, E.A. | |
dc.date.accessioned | 2023-01-09T13:57:01Z | |
dc.date.available | 2023-01-09T13:57:01Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Ostroumov, S. В. Event-B patterns for developing FPGA-BASED hardware / S. В. Ostroumov, L. V. Laibinis, E. A. Troubitsyna // Радіоелектронні і комп'ютерні системи. – 2010. – № 6. – P. 154–160. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3645 | |
dc.description.abstract | The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful thanks to mathematical proofs of a model. | uk_UA |
dc.description.abstract | У статті розглянуто перший шаг методології розробки гарантоздатних апаратних засобів на основі технології програмованих логічних інтегральних схем. Суть цього шагу є розробка шаблонів з використанням мови формальної специфікації та верифікації Event-B, що використовує математичні доводи коректності моделі. | uk_UA |
dc.description.abstract | В статье рассмотрен первый шаг методологии по разработке гарантоспособных аппаратных средств на основе технологии программируемых логических интегральных схем. Сущность этого шага заключается в разработке шаблонов с использованием языка формальной спецификации и верификации Event-B, мощь которого состоит в использовании математических доказательств правильности модели. | uk_UA |
dc.language.iso | en | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | radio electronic and computer systems | uk_UA |
dc.subject | formal development | uk_UA |
dc.subject | Event-B | uk_UA |
dc.subject | invariant | uk_UA |
dc.subject | patterns | uk_UA |
dc.subject | hardware | uk_UA |
dc.subject | design | uk_UA |
dc.subject | FPGA | uk_UA |
dc.subject | Rodin | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | формальна розробка | uk_UA |
dc.subject | інваріант | uk_UA |
dc.subject | шаблони | uk_UA |
dc.subject | апаратура | uk_UA |
dc.subject | проектування | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | формальная разработка | uk_UA |
dc.subject | инвариант | uk_UA |
dc.subject | шаблоны | uk_UA |
dc.subject | аппаратура | uk_UA |
dc.subject | проектирование | uk_UA |
dc.title | Event-B patterns for developing FPGA-BASED hardware | uk_UA |
dc.type | Article | uk_UA |