Презентация - Современные технологии и средства разработки программного обеспечения критичных по безопасности систем, сертифицируемых по требованиям DO-178B

Презентация

формат pdf
размер 929.45 КБ
добавлен 03 июля 2011 г.

Презентация - Современные технологии и средства разработки программного обеспечения критичных по безопасности систем, сертифицируемых по требованиям DO-178B
2008 г – 18 слайдов.
Автор: Демьянов А.В.
AVD Systems

Структура встраиваемого ПО
Пути снижения стоимости разработки
Что такое DO-178B
DO-178B. Три группы процессов жизненного цикла ПО
SCADE Safety Critical Application Development Environment
SCADE в авиации
SCADE Suite и SCADE Display в Superjet 100
ИМА и ARINC 653
Архитектура VxWorks 653
Состав пакета VxWorks 653 Platform
ARINC653/DO-178B проекты на VxWorks
Boeing 787 Common Core System (CCS)
VxWorks 653 Поддерживаемые микропроцессоры PowerPC

Похожие разделы

Смотрите также

Богданов Д.В., Фильчаков В.В. Стандартизация жизненного цикла и качества программных средств

формат pdf
размер 584.18 КБ
добавлен 25 января 2011 г.

Учебное пособие. - СПб.: ГУАП, 2000. - 210 с. Учебное пособие посвящено общим вопросам стандартизации в области обеспечения качества разработки программных средств. В нем описываются стандарты в области обеспечения качества ПС, рассматриваются жизненные циклы программного средства, установленные в зарубежных и отечественных стандартах, обсуждается роль документации при создании качественного ПС. Особое внимание уделено вопросам оценки процесса р...

Брауде Э. Технология разработки программного обеспечения

формат djvu
размер 16.06 МБ
добавлен 01 сентября 2010 г.

Книга является классическим руководством по технологии разработки программного обеспечения. В ней рассматриваются основные этапы процесса разработки программного продукта, включая его описание, проектирование, собственно разработку, интеграцию и тестирование частей, тестирование программы в целом и сопровождение. Каждый из этапов подробно иллюстрируется на конкретных примерах. Отдельные главы посвящены определению типа процесса разработки и управ...

Жоголев Е.А. Введение в технологию программирования

формат htm, pdf
размер 509.76 КБ
добавлен 01 июня 2009 г.

Е. А. Жоголев. Введение в технологию программирования (конспект лекций). - М.: "ДИАЛОГ-МГУ". Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программном средстве. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы...

Силаенков А.Н. Лекции по технологии программирования

формат doc
размер 3.88 МБ
добавлен 24 мая 2009 г.

Введение в технологию программирования. Характеристики программного обеспечения. Жизненный цикл программного обеспечения. Этапы решения задач на ЭВМ. Этапы разработки программы. Структурное программирование. Пошаговая детализация - основной метод построения текста программного модуля. Объектно-ориентированное программирование. Программирование ветвлений и циклов. Объектно - ориентированное программирование. Программирование обработки таблиц. Объе...

Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения

формат pdf
размер 1.71 МБ
добавлен 15 января 2011 г.

М.: МИФИ, 2006. - 157 с. Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (чело...

Соммервилл, Иан. Инженерия программного обеспечения

формат doc
размер 14.2 МБ
добавлен 08 июня 2008 г.

Соммервилл, Иан. Инженерия программного обеспечения, 6-е издание.: Пер. с англ. – М.: Издательский дом "Вильямс", 2002. – 624 с.: ил. === Данная книга является прекрасным введением в инженерию программного обеспечения. Здесь дана широкая панорама тем инженерии ПО, охватывающих все этапы и технологии разработки программных систем. В семи частях книги представлен весь спектр процессов, ведущих к созданию программного обеспечения: от начальной разра...

Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Анализ крупномасштабных разработок

формат djvu
размер 3.24 МБ
добавлен 22 октября 2009 г.

В книге американских специалистов фирмы TRW рассмотрены возможные ошибки при разработке систем программного обеспечения и изложены методы выявления причин их возникновения. Основное внимание уделено построению математических моделей программного обеспечения, пзволяющих оценивать его надежность. Книга предназначена для разработчиков ПО, инженеров-математиков, обслуживающих ЭВМ, а также студентов и аспирантов, изучающих принципы разработки системно...

Технология программирования. Лекции

формат doc
размер 1.22 МБ
добавлен 16 марта 2010 г.

Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования. Источники ошибок в программных средствах. Общие принципы разработки программных средств. Внешнее описание программного средства. Методы спецификации семантики функций. Архитектура программного средства. Разработка структуры программы и модульное программирование. Разработка программного модуля. Доказательство свойств програм...

Чернев Д.А. Лекции по дисциплине Технология программирования

формат chm
размер 4.39 МБ
добавлен 05 ноября 2011 г.

Конспект лекций по дисциплине "Технология программирования". В дисциплине «Технология программирования»: - рассматриваются и подробно анализируются этапы разработки программного обеспечения, начиная от этапа его предварительного проектирования и оканчивая сдачей готового испытанного программного продукта заказчику с последующим его сопровождением; - с позиции современной системотехники рассматриваются проблемы проектирования сложных программн...

Якунин Ю.Ю. Технологии разработки программного обеспечения

формат pdf
размер 2.38 МБ
добавлен 09 мая 2011 г.

Электронный ресурс: учеб. пособие / Ю. Ю. Якунин. – Красноярск: ИПК СФУ, 2008. – 225с. ISBN 978-5-7638-1435-4 (пособия) Настоящее издание является частью электронного учебно-методического комплекса по дисциплине «Технологии разработки программного обеспечения», включающего учебную программу, учебное пособие по курсовому проектированию, лабораторный практикум, методические указания по самостоятельной работе, контрольно-измерительные материалы «Т...