Аппаратные и программные

3.2.10.6 Язык программирования Esterel 
Esterel – императивный и параллельный язык, который имеет хорошо 
определенную формальную базу и законченную реализацию. Фундаментальная 
концепция ESTEREL – событие. Событие соответствует посылке или 
получению сигналов, которые передают данные. 
Esterel основан на синхронной модели. Этот синхронизм упрощает 
обоснование времени и гарантирует детерминизм. 
Пример программы на языке Esterel: 
module ABRO: 
input A, B, R; 
output O; 
loop 
[ await A || await B ]; 
emit O 
each R 
end module 
Приведенная выше программа осуществляет генерацию события ‘О’ 
только при наличии обоих событий на входах ‘A’ и ‘B’. Сброс программы 
осуществляется через вход ‘R’.
В настоящее время Esterel используется в системе программирования 
Esterel Studio (Synfora), предназначенной для проектирования систем-на-
кристалле.
3.2.10.7 Язык программирования Lustre 
Lustre – декларативный язык программирования, основанный на модели 
SDF (synchronous dataflow) и предназначенный для программирования 
реактивных систем. Язык начал разрабатываться в 1984 году, во Франции.

---

153 
Рисунок 60. Внешний вид системы SCADE, в котрой используется язык Lustre 
Язык Lustre активно используется для реализации ответственных 
приложений в авиакосмической промышленности. На рисунке выше 
представлен внешний вид системы SCADE, использующей в своей основе этот 
язык. 
3.3 Инструментальные средства отладки и тестирования 
ВВС 
3.3.1 Симулятор 
Симулятор – система для полной или частичной имитации поведения и 
структуры какого-либо объекта. Симулятор относится к инструментальным 
средствам отладки, тестирования и верификации программных и аппаратных 
компонент вычислительной системы.

---

154 
В случае программной реализации симулятор можно исполнять на 
инструментальной машине. В программировании встроенных систем и СнК 
чаще всего используется симулятор процессора. Внешне такой симулятор 
выглядит как обычный отладчик. 
При симуляции различных ASIC, процессоров, графических акселераторов 
используют программно-аппаратные симуляторы, выполненные на базе FPGA. 
Такой подход позволяет существенно сократить время тестирования и 
верификации по сравнению с чисто программной симуляцией. Стоимость 
программно-аппаратного 
симулятора 
значительно 
выше 
стоимости 
программного.
К достоинствам симулятора можно отнести возможность моделирования 
окружающей среды исследуемой системы, что позволяет производить работу в 
реальном масштабе времени с точки зрения наблюдателя, находящегося внутри 
исследуемой системы.
К сожалению, в симуляторах всегда присутствует инструментальная 
погрешность, возникающая из-за неточности моделирования, абстракции, 
ошибок реализации и так далее.
Рисунок 61: Внешний вид симулятора-отладчика Keil Sofrware 

---

155