DRAKON.SU

Текущее время: Понедельник, 17 Июнь, 2019 09:57

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 730 ]  На страницу Пред.  1 ... 33, 34, 35, 36, 37
Автор Сообщение
СообщениеДобавлено: Пятница, 01 Февраль, 2019 18:36 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
https://forum.drakon.su/viewtopic.php?p=102788#p102788
Владимир Паронджанов писал(а):
Работа выполнена при финансовой поддержке РФФИ (проект № 16-07-00611А).

О проекте смотрите: http://www.rfbr.ru/rffi/ru/project_search/o_2023842 .


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 01 Февраль, 2019 18:52 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4220
Откуда: Москва
LKom писал(а):
О проекте смотрите: http://www.rfbr.ru/rffi/ru/project_search/o_2023842 .


Цитата:
Руководитель: Шабалина ОльгаАркадьевна
Статус заявки: поддержана

Аннотация к заявке:

Предлагаемый коллективом заявителей проект направлен на разработку теоретических основ управления компетентностно-ориентированной образовательной системой и механизмов ее реализации в сфере подготовки IT-специалистов, основанных на электронных игровых образовательных технологиях.

Актуальность работы определяется необходимостью реализации Закона об образовании, введенного в действие 1 сентября 2013 года.

Новый закон и соответствующие регламентирующие документы не рассматривают новые принципы организации образовательного процесса.

Решения по реализации компетентностной образовательной парадигмы возложены на российское научно-образовательное сообщество.

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

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

Предметом такого мониторинга является динамика состояния обучаемого в информационном пространстве.

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

Коллектив авторов имеет существенный опыт разработки и внедрения новых информационных технологий в организацию управления в образовательных системах и способен решить данную проблему.

Аннотации к заявке и отчету приведены в авторской редакции. по состоянию на 01.02.2019.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 01 Февраль, 2019 19:16 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
Дополнение к сообщению В.Д. Паронджанова:

Цитата:
Согласованное управление многоуровневой системой подготовки специалистов на основе электронных игровых образовательных технологий
...
Руководитель: Шабалина ОльгаАркадьевна
Статус заявки: поддержана

Аннотация к заявке:
...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 20 Март, 2019 04:16 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
https://vk.com/prologtasks
Сообщение от 18 мар в 4:14
Цитата:
Лично мне скрэтч "не зашел", я его пробовал, но не понял. С большей вероятностью попробовал бы дать язык Дракон - он более "традиционный", хотя и не совсем "учебный".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 13 Апрель, 2019 22:10 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4220
Откуда: Москва
https://transsyst.ru/transsyst/article/ ... 10868/8616
http://bit.ly/2Ijh1ni

Цитата:
DOI 10.17816/transsyst201844138-145

© А. А. Корниенко, А. П. Глухов, С. В. Диасамидзе, А. М. Шатов
Петербургский государственный университет путей сообщения
Императора Александра I
(Санкт-Петербург, Россия)

ЗАЩИТА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ УПРАВЛЕНИЯ МАГНИТОЛЕВИТАЦИОННЫМ ТРАНСПОРТОМ

Обоснование. Рассматриваются вопросы нормативного регулирования и формирования методологических подходов к обеспечению безопасности программного обеспечения (ПО) системы управления магнитолевитационным транспортом на всех этапах жизненного цикла, а также разработки инструментального средства обнаружения высокоуровневых (логических) уязвимостей программного обеспечения.

Цель. Разработка методологии создания безошибочного и устойчивого к воздействиям ПО системы управления магнитолевитационным транспортом.

Материалы и методы. Изучены существующие практики поиска ошибок и уязвимостей в ПО и подходы к алгоритмизации программного кода.

Результаты. Разработана методология создания безошибочного и устойчивого к воздействиям ПО системы управления магнитолевитационным транспортом, которая позволяет с большой вероятностью исключить появление ошибок в ПО, что значительно повышает безопасность перевозочного процесса.

Заключение. Применение разработанной методики позволит повысить уровень защищенности ПО системы управления магнитолевитационным транспортом от деструктивных внешних воздействий.

Ключевые слова: магнитолевитационный транспорт, безошибочное программное обеспечение, информационная безопасность, алгоритмизация

Received: 01.11.2018. Revised: 26.11.2018. Accepted: 17.12.2018.

ВВЕДЕНИЕ

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

Кроме того, использование технологии магнитной левитации позволяет подвижному составу достигать скорости 500–600 км/ч, что сравнимо со скоростью самолета.

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

Активные разработки в данном направлении ведутся Германией, Японией, Китаем, Южной Кореей. Наибольшего прогресса достиг Китай: только по маглев-трассе от международного аэропорта «Пудон» до станции шанхайского метро «Лунъян Лу» осуществляется коммерческая эксплуатация высокоскоростного подвижного состава на магнитном подвесе.

На этой трассе состав развивает максимальную скорость 430 км/ч.

В России разрабатывается магнитолевитационная транспортная система, опытная эксплуатация которой будет проводиться на участке Порт «Бронка» (Санкт-Петербург) – станция «Владимирская» (Гатчина, Ленинградская область).

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

Ее основу составляет автоматизированная система управления (АСУ) движением магнитолевитационного транспорта.

Безопасность АСУ представляет собой одно из основных условий их функционирования. При воздействии на них может произойти не только повреждение критичных информационных ресурсов, но и нарушение перевозочного процесса, что влечет за собой причинение вреда жизни и здоровью пассажиров.

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

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

Поиск таких уязвимостей пока слабо развит, его выполняют высококвалифицированные эксперты по информационной безопасности.

АВТОМАТИЗИРОВАННАЯ СИСТЕМА УПРАВЛЕНИЯ
КАК ОБЪЕКТ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ


К АСУ движением, одной из ключевых частей магнитолевитационной транспортной системы, предъявляются жесткие требования по ее правильному и безопасному функционированию, в частности по защите ответственной информации и информационной безопасности в целом.

При рассмотрении АСУ как объекта информационной безопасности нужно определить имеющиеся в ней информационные ресурсы. Для этого необходимо выделить информационную инфраструктуру и информацию, подлежащую защите, а также определить уровень значимости защищаемой информации.

Важное место в обеспечении безопасности АСУ занимает создание и использование свободного от ошибок и устойчивого к деструктивным воздействиям программного обеспечения (ПО), применяемого на различных иерархических уровнях системы.
Вследствие постоянного роста количества обнаруживаемых уязвимостей задача их поиска в ПО становится критичной с позиций информационной безопасности.

Множество уязвимостей ПО можно условно разделить согласно их местоположению в коде следующим образом:

− низкоуровневые уязвимости (ошибки доступа к данным, ошибки в вычислениях и т. д.);
− среднеуровневые уязвимости (ошибки в логике работы ПО);
− высокоуровневые уязвимости (ошибки в архитектуре ПО).

Способы поиска уязвимостей в ПО нельзя считать удовлетворительными, так как они направлены на поиск низкоуровневых уязвимостей и не всегда могут обеспечить полное покрытие кода и функциональности исследуемого продукта.

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

СОЗДАНИЕ БЕЗОШИБОЧНОГО И УСТОЙЧИВОГО К ВОЗДЕЙСТВИЯМ
ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИСТЕМЫ УПРАВЛЕНИЯ
ДВИЖЕНИЕМ МАГНИТОЛЕВИТАЦИОННЫМ ТРАНСПОРТОМ


Предлагаемая методология, направленная на поиск ошибок и уязвимостей в ПО АСУ движением магнитолевитационного транспорта, включает три основных этапа:

− создание встроенных механизмов контроля в микропроцессорных устройствах как элементов системы функционального контроля и диагностирования;
− верификация и тестирование;
− подтверждение соответствия ПО, которое может быть использовано на всех этапах его жизненного цикла.

Согласно этим направлениям была составлена модель исследуемой предметной области (Рис. 1), содержащая области жизни уязвимостей в различных представлениях программного обеспечения.

На основе данной модели был разработан алгоритм создания безошибочного и устойчивого к воздействиям ПО для АСУ движением магнитолевитационного транспорта (Рис. 2).

В качестве исходных данных необходимо использовать машинный либо исходный код исследуемого ПО, который будет преобразован на первом этапе алгоритма (как правило, это устранение комментариев из текстов программ и прочих избыточных синтаксических конструкций).

На следующем этапе проводится поиск низкоуровневых уязвимостей в полученном коде с помощью существующих методов.

Для обеспечения большего процента покрытия возможно совместное использование нескольких методов.

Далее выполняется алгоритмизация кода с использованием языка ДРАКОН – визуального алгоритмического языка программирования и моделирования, обеспечивающего большую наглядность [3, 7].

Правила по созданию диаграмм в языке ДРАКОН создавались с упором на требования эргономики (например, в них запрещено пересечение линий алгоритма, которое обычно осложняет его понимание пользователем), т. е. они изначально оптимизированы под восприятие алгоритмов человеком в основном при использовании компьютерной графики.

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

ДРАКОН делает упор на визуальную составляющую, что значительно повышает читаемость программы. Обычно блок-схемы позволяют графически отобразить логику программы, но при достаточно большом объеме программного кода они становятся громоздкими и теряют наглядность.

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

Кроме того, дракон-схемы охватывают большую часть популярных высокоуровневых языков программирования. Таким образом, полученная на третьем этапе алгоритма схема позволит получить наглядное представление исследуемого ПО.

На четвертом этапе поиск как средне-, так и высокоуровневых уязвимостей ведется экспертом по информационной безопасности либо автоматизированно. Для автоматизации работ на данном этапе необходима разработка специализированных программ, позволяющих анализировать блок-схемы и выявлять критичные места в них.

На последнем этапе согласно выявленным ранее уязвимостям формируют рекомендации по их устранению.

После внесения необходимых изменений в программный код выполняют повторный проход по этапам алгоритма, чтобы удостовериться в устранении выявленных и появившихся после исправления уязвимостей.


ЗАКЛЮЧЕНИЕ

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

Предлагаемая методология позволит создавать ПО, которое с большой вероятностью не будет содержать никаких ошибок и уязвимостей, что критично для систем управления движением.

Библиографический список / References

1. Корниенко А.А., Диасамидзе С.В. Подтверждение соответствия и сертификация программного обеспечения по требованиям безопасности информации: учеб. пособие. – СПб.: ПГУПС, 2009. [Kornienko AA, Diasamidze SV. Confirmation of compliance and certification of software for information security requirements: schoolbook. St. Petersburg; 2009. (In Russ.)].

2. Диасамидзе С.В. Метод выявления недекларированных возможностей программ с использованием структурированных метрик сложности: дис.…канд. техн. наук. – СПб; 2012. [Diasamidze SV. Metod vyavleniya nedeklarirovannikh vozmozhnostey program s ispolzovaniem structurirovannikh metrik slozhnosti [dissertation]. St. Petersburg; 2012. (In Russ.)].

3. Израилов К.Е. Метод алгоритмизации машинного кода для поиска уязвимостей в телекоммуникационных устройствах: дис.…канд. техн. наук. – СПб; 2017.

4. Академия Miсrosoft. Лекция 8: Методы проверки и тестирования программ и систем. Доступно по: https://www.intuit.ru/studies/courses/2 ... cture/6130. Ссылка активна на 10.03.2018. [Akademiya Miсrosoft. Lekciya 8: Metody proverki i testirovaniya programm i sistem. Available from: https://www.intuit.ru/studies/courses/2190/237/ lecture/6130]. (In Russ.) Accessed 10 March 2018].

5. Академия Miсrosoft. Лекция 12: Проверка требований. Доступно по: https://www.intuit.
ru/studies/courses/2190/237/lecture/6138. Ссылка активна на 15.03.2018. [Akademiya Misrosoft. Lekciya 12: Proverka trebovanij. Available from: https://www.intuit.ru/studies/ сourses/2190/237/lecture/6138. (In Russ.) Accessed 15 March 2018.].

6. Кулямин В.В. Методы верификации программного обеспечения. – М.: Институт системного программирования им. В.П. Иванникова РАН, 2008. [Kuliamin VV. Metody verifikacii programmnogo obespecheniya. Moscow: Ivannikov Institute for System Programming of the RAS; 2008 (In Russ.)].

7. ДРАКОН. Доступно по: https://ru.wikipedia.org/ДРАКОН. Ссылка активна на
17.03.2018. [DRAKON. Available from: https://ru.wikipedia.org/DRAKON. (In Russ.)
Accessed 17 March 2018].

Сведения об авторах:

Анатолий Адамович Корниенко, д-р техн. наук, профессор;
eLibrary SPIN: 8943-3184; ORCID: 0000-0002-6076-7241;
E-mail: kaa.pgups@yandex.ru

Александр Петрович Глухов, д-р техн. наук;
eLibrary SPIN: 6034-3986; ORCID: 0000-0001-5368-4109;
E-mail: inib@pgups.ru

Светлана Владимировна Диасамидзе, канд. техн. наук, доцент;
eLibrary SPIN: 1207-0600; ORCID: 0000-0003-2683-0697;
E-mail: sv.diass99@yandex.ru

Александр Михайлович Шатов;
E-mail: alexsandr.shatov@yandex.ru


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 14 Апрель, 2019 08:15 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
https://docplayer.ru/59536923-Izrailov-konstantin-evgenevich-metod-algoritmizacii-mashinnogo-koda-dlya-poiska-uyazvimostey-v-telekommunikacionnyh-ustroystvah.html

Диссертация К.Е. Израилова. 2017г

Упоминается Дракон. Стр. 36, 72, 180.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 28 Май, 2019 16:03 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4220
Откуда: Москва
http://bit.ly/2KaNRqW

Статья А.Н. Коварцев и др. "Технология визуального моделирования параллельных алгоритмов. Язык PGRAPH".

Даны две краткие ссылки на язык ДРАКОН


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 28 Май, 2019 17:30 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
https://luckyea77.livejournal.com/2795738.html
от 2019-05-11 23:33:00

Обзор:
Языки программирования, разработанные российскими и советскими программистами

Упоминаются Дракон и ИС Дракон.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 08 Июнь, 2019 20:27 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 914
скачать здесь

Туберкулёз и болезни лёгких, Том 97, № 5, 2019

НОВЫЙ ВЕКТОР В ПРЕПОДАВАНИИ ФТИЗИАТРИИ СТУДЕНТАМ-ПЕДИАТРАМ

Лозовская М. Э., Васильева Е. Б., Клочкова Л. В., Яровая Ю. А., Степанов Г. А.

ФГБОУ ВО «Санкт-Петербургский государственный педиатрический медицинский университет» МЗ РФ, Санкт-Петербург, РФ


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 09 Июнь, 2019 08:05 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 4220
Откуда: Москва
По ссылке LKom
https://www.tibl-journal.com/jour/artic ... /1278/1280

Опубликовано в журнале "Туберкулёз и болезни лёгких, Том 97, № 5, 2019"

Цитата:
Обращение к методу «алгоритм» связано с необ-
ходимостью овладения будущими врачами-педиа-
трами основными нормативными документами, ре-
гламентирующими их деятельность по туберкулезу.

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

Для того чтобы сделать самостоятельную
работу студентов по овладению этой меди-
цинской информацией творческой, увлекательной
и современной, предлагаем им составление графи-
ческих алгоритмов (блок-схем) с использованием
компьютерной программы «Дракон-конструктор».

Алгоритмический язык ДРАКОН (Дружелюбный
Русский Алгоритмический язык, Который Обеспе-
чивает Наглядность) используется в технике, био-
логии, медицине и образовании. Преимуществом
этого языка является то, что схемы легко рисовать
и понимать, они очень наглядны.

«DRAKON Editor Web»
автоматически построит структуру диаграм-
мы, автор лишь должен подсказать, что нужно на-
рисовать. Студентам нравится, что при выполнении
задания используются современные цифровые тех-
нологии.

Примеры алгоритмов составленных студентами:
«Диагностика туберкулеза органов дыхания у детей», «Диагностика туберкулеза органов дыхания в медицинских организациях муниципального уровня»,
«Обследование больного туберкулезом перед началом химиотерапии»,
«Выбор режима химиотерапии туберкулеза у детей» и др.

Анализ показал, что составление медицинских алгоритмов
на языке ДРАКОН способствует развитию у сту-
дентов всех групп компетенций: общекультурных,
общепрофессиональных, профессиональных.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 730 ]  На страницу Пред.  1 ... 33, 34, 35, 36, 37

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2019, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB