Overview

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

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

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

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

Members

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