Microsoft Word впвс book 2011 sev pa doc

system
My_System 
end
My_System; 
является полностью корректным с точки зрения синтаксиса языка, то есть 
не вызывает ошибок при формальной верификации. Это означает, что можно 
строить архитектуру системы поэтапно, начиная с самого общего 
представления и постепенно понижая уровень абстракции, уточняя 
внутреннюю организацию компонентов, вводя дополнительные свойства и 
ограничения. При таком стиле проектирования на каждом этапе мы получаем 
полноценную архитектуру как с точки зрения AADL, так и в соответствии с 
определением архитектуры, приведенным в учебном пособии. Ее можно 
подвергать анализу, насколько это позволяет тот или иной уровень 

---

47 
рассмотрения, и таким образом, выявлять потенциальные проблемы и выбирать 
лучшие высокоуровневые решения на ранних этапах проектирования. 

---

48 
1.3 Предпосылки повышения уровня абстракции в методиках 
проектирования встраиваемых систем 
1.3.1 Кризис методик проектирования встраиваемых систем 
Специалисты отмечают, что использование традиционных методов 
проектирования в сегодняшних условиях привело к системному кризису в 
области создания ВсС [63, 16]. Как показано на рис. 1.9 существует растущий 
разрыв 
между 
потенциальными 
возможностями 
элементной 
базы, 
эффективностью схемного и программного проектирования, требуемыми 
объемами верификации и тестирования, архитектурным проектированием. 
Использование распространенных технологий проектирования заставляет 
разработчиков постоянно повышать уровень "строительных кирпичей", что при 
отсутствии средств комплексной оптимизации и верификации ведет к эффекту 
"насыщения" в достижимой сложности и качестве конечного продукта [16]. 
Проблема состоит в том, что существующий потенциальный объем 
разработок ВсС не может быть выполнен коллективами, работающими в данной 
области, в рамках традиционных технологий проектирования либо в требуемые 
сроки, либо с достаточным качеством. Кризис влияет на качество разработок 
(массовое появление "сырых" продуктов на рынке, в первую очередь это 
относится к микросхемам и программному продукту), ограничивается 
доступная сложность проектируемых ВсС, практически не применяются 
технологии повторного использования элементов разработок. 
Рис. 1.9. Кризис методик проектирования ВС 
(Bryan Preas, Xerox PARC, 35th DAC) 
Уместным будет привести слова Э. Дейкстры из статьи "The end of 
Computing Science?" [62]: "…я хочу сказать, что самая главная проблема 
вычислительной техники, а именно «как избежать неразберихи», НЕ была 
решена. Напротив, сложность большинства наших систем значительно 
превышает разумную, и они слишком беспорядочны и хаотичны для того, 
чтобы использовать их с удобством и уверенностью". 

---

49 
Все это в первую очередь влияет на сферу разработки ответственных ВсС, 
связанных с промышленностью, энергетикой, транспортом, медициной, 
обороной, 
где 
недопустимо 
внедрение 
некачественных 
разработок, 
присутствует требование обеспечения длительной эксплуатации. В результате 
во многих случаях сдерживается применение новейших технологических 
достижений. 
Традиционно раздельное проектирование программных и аппаратных 
компонентов приводит также к искусственному завышению требований к 
аппаратной части проекта для того, чтобы гарантированно "вписаться" в 
полученные ресурсы. Еще одна проблема – это трудности оценки надежности и 
тестирования систем, созданных по раздельной технологии. Задача разделения 
системы на программно/аппаратную реализацию и выбор стандартных 
компонентов в настоящий момент не имеет формального способа решения, и 
каждый раз разработчик принимает такие решения, основываясь на 
собственном опыте и номенклатуре доступных электронных компонентов. 
Мощность вычислительных машин растет, рынок ВсС развивается и 
требует все более сложных систем за все более короткие сроки. Понятно, что 
чем проще система, тем меньше времени уходит на ее разработку. При этом 
различные авторы прогнозируют, что в недалеком будущем на разработку 
какой-либо ВсС будет отводиться фиксированное время независимо от ее 
сложности. В таком ключе разработка систем “с нуля” будет не просто 
неэффективной, а провальной. Проекты будут неминуемо растягиваться по 
времени. В противном случае будет страдать качество создаваемых систем. 
Таким образом, для вычислительной индустрии жизненно важно создание 
качественно новых методик, технологий и средств проектирования ВсС.