История изменений
Исправление slackwarrior, (текущая версия) :
DO-178C/DO-178b-совместимые авионики (считай сам :), F-22, Boeing-777...), системы упр. воздушным и ЖД движением (Парижское и Гонконгсое метро), SCADA-системы, Wind River WxWorks (на диаграме слоев в MILS у них ни разу не Мисра-Ц, а Ada и MIL-STD, Ц-шка относится к частям которые не очень критикал)
Алсо https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html :) и что касается топов:
https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html#Air_Traffic_Mana...
Исходная версия slackwarrior, :
DO-178C/DO-178b-совместимые авионики (считай сам :), F-22, Boeing-777...), системы упр. воздушным и ЖД движением (Парижское и Гонконгсое метро), SCADA-системы, Wind River WxWorks (на диаграме слоев в MILS у них ни разу не Мисра-Ц, а Ada и MIL-STD, Ц-шка относится к частям которые не очень критикал)
Алсо https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html :) и что касается топов: