Обзор

Попала мне в рассылку новость ....

Verification of Avionics Software
February 12, 2013 at 2:00 PM EST / 11:00 AM PST
This webinar will show you how to deploy critical avionics software with quality and confidence. Using code verification tools, you can easily identify critical defects in your source code. With formal methods based verification, see how you can mathematically prove that your source code is safe and reliable. Using artifacts from the code verification process, learn how you can achieve DO-178 certification credit.
Using demonstrations and examples, we'll show you how to:
• Identify critical defects in your C/C++/Ada source code
• Meet safety standard requirements such as DO-178
• Optimize test and verification cycles
This webinar is ideal for anyone involved with embedded software development, verification or test and those interested in improving software safety, quality and reliability:
• Software developers
• Quality engineers and managers
• Software safety and reliability engineers
• Verification and validation engineers

Есть потребность и необходимость начать прорабатывать этот вопрос методично и систематически.

В первую очередь конечно начнем с надежности ПО во встраиваемых системах.

Участники

Разработчик: Artem Drozd, Artur Chistyakov, Sergey Nediak, Yuriy Sharopin, Алексей Карелин, Артём Рачеев, Владислав Овчинников, Дмитрий Игоревич Михайленко, Дмитрий Семёнов, Евгений Полетаев, Евгения Сальникова, Екатерина Яровикова, Еркин Муканов, Игорь Кретов, Игорь Поляков, Илья Довженко, Константин Верхулевский, Наталья Колмакова, Павел Нестеренко, Юрий Алтухов
Учащийся: Alexandr Ivanov, Alexey Cheremnykh, alisher mukashev, Anton Sapunov, Artem Drozd, Artem Osintsev, Artur Chistyakov, Azhar Abaiduldayeva, Dmitry Filippov, Kirill Arzhanov, Konstantin Levitsky, Loboda Yulia, Maria Samoylova, Nadia Shishmareva, Ruslan Shamunov, Sergey Nediak, Sergey Pavlov, Sergey Shved, student student, Vyacheslav Vovchenko, Айталыына Алексеева, Александр Бузыкин, Александр Горшков, Александр Кобзев, Александр Кравченко, Александр Маковей, Александр Москин, Алексей Гуртовенко, Алексей Мухин, Алина Кузнецова, Алихан Туржанов, Алёна Скоморох, Анастасия Бушуева, Анастасия Зуева, Анастасия Коленко, Анастасия гайфуллина, Андрей лукьянчук , Андрей Гулиганов, Андрей Жучков, Андрей Плеханов , Анна Дыхова, Анна Пехова, Анна Савкина, Анна Тагильцева, Анна Черепкова, Антон Нейфельд, Артем Коновалов, Артем Кормилин , Артём Бугаков, Артём Волуйко, Артём Емельянов, Артём Лемешенко, Артём Литвин, Артём Рачеев, Артём Федулин, Вадим Гуцал, Вадим Соляной, Валентин Давыдов, Валентин Никитин, Варвара Лозинг, Василий Боровик, Вероника Евтушенко, Виктор Шабалин, Виктория Ионова, Виктория Корх, Виталий Кутков, Владимир Климов , Владислав Загородский, Владислав Зайцев, Владислав Овчинников, Владислав Шатравин, Вячеслав Герасимов, Даниил Марченко, Даниил Селюков, Даниил Шивцов, Данила Миронов, Денис Гук, Дмитрий Баранов, Дмитрий Игоревич Михайленко, Дмитрий Кравченко, Дмитрий Лункин, Дмитрий Павлов, Дмитрий Шашев, Евгений Пак, Евгений Сагалаков, Евгения Сальникова, Егор Лебедев, Екатерина Яровикова, Елена Будник, Елена Фёдорова, Еркин Муканов, Иван Бусыгин, Иван Степанов, Игорь Кретов, Илья Довженко, Ира Забатурина, Кайрат Калдар, Кан Виталий, Кирилл Петров, Комилжон Ахмедов, Константин Емельянов, Константин Костриков, Константин Осетров, Липатов Дмитрий, Максим Зайцев, Максим Марченко, Максим Цейнар, Мария Власова, Мария Кузнецова, Михаил Зайцев, Наталья Бармина, Наталья Колмакова, Наталья Потапова, Никита Машуков, Николай Корышев, Николай Маковей, Олег Мазурок, Олег Пикалов, Ольга Безверхая, Павел Кириллов, Павел Нестеренко, Павел Семёнов, Регина Губарева, Ринат Абдуллин, Роман Гладкий, Роман Мартынов, Роман Палкин, Роман Шалаев, Руслан Абдыкаиров, Руслан Кайралапов, Светлана Нагорная, Сегрей Боровков, Сергей Ворожцов, Сергей Лигачёв, Сергей Пославский, Сергей Черных, Султан Абдыкаримов, Сункар Куанышев, Татьяна Косаченко, Эвелина Мякишева, Эвелина Мякишева, Элеонора Дутт, Юрий Альчин