More documents

Recommendations

Info

Вестник Самарского государственного аэрокосмического университета, № 1, 2007 Рис.14. “Желтая” карточка Список литературы 1. Судов Е. В. Интегрированная информационная поддержка жизненного цикла машиностроительной продукции. Принципы. Технологии. Методы. Модели. – Москва: ООО Издательский дом «МВМ», 2003. – 264с. 2. ГОСТ Р50.1.028-2001 Методология функционального моделирования IDEF0. 3. Макаровский И. М. Основы технической эксплуатации и диагностики авиационной техники: Метод. Указания. – Самара: СГАУ, 2004. – 118 с. INFORMATION SUPPORT OF OPERATION STAGE IN THE LIFE CYCLE OF AIRCRAFT CONSTRUCTION ITEMS © 2007 Yu. V. Kiselyov, V. A. Zrelov, M. Ye. Prodanov, S. K. Botchkaryov, D. Yu. Kiselyov Samara State Aerospace University The paper is devoted to information support of the product life cycle using an aircraft bearing for gas-turbine engines in the «SmarTeam» PDM environment as an example. 246
Кибернетика и информатика УДК 629.78+681.51 АВТОМАТИЗИРОВАННАЯ СПЕЦИФИКАЦИЯ, ВЕРИФИКАЦИЯ И СИНТЕЗ УПРАВЛЯЮЩИХ ПРОГРАММ НА ОСНОВЕ ЛОГИЧЕСКОГО И АЛГЕБРАИЧЕСКОГО ПОДХОДОВ © 2007 А. А. Тюгашев Самарский государственный аэрокосмический университет Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов. Разработка надежного и качественного программного обеспечения является актуальной и сложной задачей. Размер современных разрабатываемых комплексов программного обеспечения достигает миллионов и десятков миллионов команд, программное обеспечение становится столь сложной системой, что появляется острая необходимость нахождения таких способов организации процессов ее жизненного цикла (проектирование, разработка, тестирование, эксплуатация и др.), чтобы свести к минимуму вероятность появления неприемлемых ошибок. Согласно российским и международным стандартам (ИСО 9126, ГОСТ 28195-89) качество программной системы характеризует ряд базовых показателей: - корректность, то есть соответствие программы спецификации; - надежность (отсутствие ошибок, восстанавливаемость и др.); - эффективность (в том числе временная эффективность); - сопровождаемость (в том числе удобство проведения анализа и простота внесения изменений). Как правило, оценка степени соответствия программы предъявляемым к ней требованиям производится на основании тестирования. В то же время в случае, когда какоелибо из свойств системы (в том числе из перечисленного выше списка) может быть записано на некотором формальном языке, анализ на соответствие этому свойству может быть произведен при условии наличия адекватной и соответствующей принимаемой формальной системе модели программы методами верификации программ. В ряде случаев путем использования строгих логических рассуждений удается гарантированно доказать тот факт, что программа имеет или не имеет то или иное важное интересующее исследователя свойство. Тестирование же, как правило, не дает подобной гарантии в связи с тем, что провести полную проверку функционирования на всех потенциальных наборах исходных данных и для всех вариантов (логических ветвей) не представляется возможным в силу размера современных программных комплексов. При использовании формальных методов доказательства свойств программ рассуждения обычно проводятся следующим образом. Сначала формулируется на некотором языке спецификация программы. Используемый язык должен: 1) обладать полнотой и достаточной выразительной силой для записи всех функциональных требований и ограничений, накладываемых на программу; 2) быть непротиворечивым; 3) позволять записывать значимые свойства программ лаконично и удобно; 4) быть понятным и удобным для человека. Далее, в рамках подхода Model Checking, для проведения верификации программа заменяется некоторой отражающей ее поведение в интересующих аспектах (семантику) моделью и доказывается или опровер- 247
Page 1 and 2:
ВЕСТНИК САМАРСКОГО
Page 3 and 4:
СОДЕРЖАНИЕ АВИАЦИО
Page 5 and 6:
ФИЗИКО-МАТЕМАТИЧЕС
Page 7 and 8:
TECHNICAL SCIENCES DEVELOPING THE B
Page 9 and 10:
Авиационная и раке
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
щихся в диапазонах
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50:
Page 51 and 52:
ющих центров в плос
Page 53 and 54:
Page 55 and 56:
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Таблица 1 Авиационн
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
связями ( l вх (а)= l в
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Технические науки
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Технические науки M
Page 149 and 150:
Технические науки 3
Page 151 and 152:
′′′ Технические н
Page 153 and 154:
Page 155 and 156:
Технические науки (
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
малом объеме. Систе
Page 165 and 166:
Page 167 and 168:
Технические науки =
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Технические науки d
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Технические науки A
Page 183 and 184:
Page 185 and 186:
Технические науки E
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Таблица 1. Основные
Page 195 and 196: Технические науки
Page 209 and 210: Технические науки 5
Page 221 and 222: ЭХО с периодическо
Page 229 and 230: Физико-математичес
Page 233 and 234: [ ] [ ] = y ( ξ ) Y , j ,k = 1 , 2
Page 237 and 238: Кибернетика и инфо
Page 245: Кибернетика и инфо
Page 251 and 252: стояний) традицион
Page 255 and 256: Пуск Кибернетика и
show all

ÐÐ¾Ð»Ð½Ð°Ñ Ð²ÐµÑÑÐ¸Ñ - Ð¡Ð°Ð¼Ð°ÑÑÐºÐ¸Ð¹ Ð³Ð¾ÑÑÐ´Ð°ÑÑÑÐ²ÐµÐ½Ð½ÑÐ¹ Ð°ÑÑÐ¾ÐºÐ¾ÑÐ¼Ð¸ÑÐµÑÐºÐ¸Ð¹ ...

Create successful ePaper yourself

Delete template?

Save as template?

ÐÐ¾Ð»Ð½Ð°Ñ Ð²ÐµÑÑÐ¸Ñ - Ð¡Ð°Ð¼Ð°ÑÑÐºÐ¸Ð¹ Ð³Ð¾ÑÑÐ´Ð°ÑÑÑÐ²ÐµÐ½Ð½ÑÐ¹ Ð°ÑÑÐ¾ÐºÐ¾ÑÐ¼Ð¸ÑÐµÑÐºÐ¸Ð¹ ...