Please enable JavaScript.

Coggle requires JavaScript to display documents.

MCU Blocks (GPI (Generator Protocol Implementation) (Ссылки на аналоги…

- - - - Параллельный
      - Последовательный
    - - Синхронный
      - Асинхронный
    - - Симплексный
      - Полудуплексный
      - Дуплексный
    - - Радиальная
      - Мультиплексная
      - Кольцо
      - Звезда
    - - NRZI - Non Return to Zero Invertive
      - RZ - Return to Zero
      - NRZ - Non Return to Zero
      - AMI - Alternate Mark Inversion
      - HDB3 - High Density Bipolar 3
      - PE - Phase Encode
      - CDP - Conditional Diphase
    - - Master/Slave (Ведущий/Ведомый)
        
        Point-to Point
        
        Point-to-Multipoint
        
        TDMA
        
        Hybrid Peer-to
        Peer
        
        Push to Talk
  - - - Генерация протокола из XML описания в язык Java/C++. Отчасти завязано на встраиваемые системы
    - - Еще одна статья про EASE
    - - Статья про генерацию протокола через ROSE, но вроде как при этом полностью рабочего(правда протокол старый, как и статья)
    - - Описывается автоматизированная технология разработки реализации протоколов, а также ее применение на примере описания протокола (спецификация, верификация и полуавтоматическая реализация протокола аутентификации для компьютерных сетей). Представлен обзор языка спецификации, метода реализации и программных средств, используемых в этой технологии.
    - - Имплементация протокола на конечном автомате, при этом с фиксированным количеством входов/выходов. При этом подобная генерация используется в 38% систем
    - - Статья 1986 года. Полуавтоматическая реализация протоколов транспортного и сессионного уровней OSI. Используется формальное описание протокола.
    - - Завязано на компьютерные сети
    - - Статья 1983 года. Описывается подход к полуавтоматической генерации реализации протоколов по описанию на Estelle. Для этого используется Estelle-компилятор. Проводят сравнение кода, полученного после генерации, и кода, написанного вручную. В качестве примера генерируется реализация протокола ISO Class 2 Transport Protocol. Есть описание этого протокола в виде диаграммы состояний и на языке Estelle.
    - - Статья 1989 года. Интересная статья, используется для описания протокола ANTLR-подобная грамматика RTAG (real-time asynchronous grammar)
    - - Статья с полным описанием z2z
    - - Фреймворк для генерации спецификации протокола по его имплементации. Помимо этого пишет отчеты по поводу всех уязвимостей
    - - Перекликается со статьей ниже (те же авторы)
    - - Перекликается со статьей ниже (те же авторы)
    - - Статья о том, как в описании протокола при помощи SDL можно ввести состояния,построить большой граф и оптимизировать в нем что-то, что может выполняться параллельно. Не относится к встраиваемым системам
    - - Реализуют WebSocket,то есть связь между браузером и веб сервером при помощи инструмента,который это все генерирует из сетей Петри. Не относятся к встраиваемым системам
    - - Описание протокола происходит на языке ESTEREL (Формальная спецификация приложения), а затем генерирует функции, адаптированные к характеристикам приложения (которые описаны
        в спецификации). Состоит из двух компонентов:
        ALF compiler - компилятор управления
        ILP compiler - компилятор управления данными
        Реализует подход end-to-end
    - - Статья 1976 года. В этой статье описываются формальный метод определения протоколов компьютерной связи, а также способ автоматического создания частичных реализаций из спецификаций протокола. Основан на модели конечных автоматов. Есть свой язык описания спецификации протокола, а также приведен краткий пример формальной спецификации.
    - - Automated Verification for Secure Messaging Protocols and their Implementations:
        A Symbolic and Computational Approach
        
        Веб-направление. Рассматривается верификация защищенных протоколов, примеры использования для Telegram Secret Chat. Также такие протоколы используются в известных мессенджерах, таких как: WhatsUp, Viber, Facebook Messanger
      - AnBx: Automatic Generation and Verification
        of Security Protocols Implementations
        
        Веб-направление. Автоматически генерирует Java-код. Есть препроцессинг и верификация, генерирует приложение (логика приложения, логика протокола). При этом генерация бэкэнда и фронтэнда, т.е. полностью приложение.
      - An Engineering Realization Method for Security Protocols
        
        Интересная статья. Протокол описывается на XML и происходит анализ этого XML. Используя XSLT генерируется C код.
      - Automatic Generation of Security Protocol
        Implementations Written in Java from Abstract
        Specifications Proved in the Computational
        Model
        
        Описывается абстрактный security протокол при помощи исчислений Бланше (Blanchet calculus) и по этому описанию генерируется Java-код. Приведен пример реализации протокола SSHV2
      - AGVI - Automatic Generation, Verication, and
        Implementation of Security Protocols
        
        Разработчик описывает основные спецификацию протокола и требования к защищенности протокола. AVGI подбирает оптимальный протокол, проводит его верификацию и генерирует реализацию на Java
      - Toward Automatic Synthesis of Security Protocols
        
        Предлагаемый подход позволяет производить синтез протоколов безопасности, которые удовлетворяют спецификации и требованиям. Спецификации
        могут быть выражены с использованием высокоуровневых
        примитивов. Примитивы имеют атрибуты безопасности, которые включают конфиденциальность, целостность, аутентификацию, и могут быть реализованы с использованием публичной и секретной криптографии.
      - On the Automated Implementation of Modal Logics Used to Verify
        Security Protocols
        
        Рассматривается только верификация security протоколов
      - Middleware for Automated Implementation of
        Security Protocols
        
        Предлагают промежуточный инструмент для автоматической реализации security протоколов для Web-сервисов.
      - Formally based semi-automatic implementation of an
        open security protocol
        
        Проводится эксперимент, в котором реализация протокола SSH-TLP на клиентской стороне происходит в полуавтоматическом режиме используя подход "разработка, управляемая моделями" (model-driven development). Производится формализация протокола на абстрактном уровне и по этой формализации полуавтоматически генерируется Java-код. Проводится сравнение реализаций, полученных в автоматическом режиме и вручную.
    - - Проводится анализ кодогенераторов из SDL. Придуман декларативный подход к генерации программ (позволяет в достаточно широких пределах управлять (варьировать) структуными свойствами сгенерированных программ)
    - - Не совсем подходящая статья, поскольку в ней по существующей реализации протокола восстанавливают формальную спецификацию протокола.
        Представляют методику так называемого динамического
        сценарного восстановления спецификаций
        унаследованного телекоммуникационного
        программного обеспечения в виде SDL
        моделей.
    - - Средство разработки программного обеспечения
        в реальном времени, которое предоставляет возможности спецификации и
        разработки программного обеспечения для сложных, управляемых событиями
        коммуникационных систем, описанных с помощью стандарта ITU-T Specification
        and Description Language (SDL).
        Формализованность языков обеспечивает ряд
        уникальных возможностей, например, моделирование и математическая
        проврека системы и последующее автоматическое создание и компиляция кода,
        реализующего систему.
    - - IDE для разработки коммуникаций между системами(по-видимому не обязательно встраиваемыми) умеет работать с SDL и генерить С/С++,можно добавить свою ОСРВ. Может использоваться как для встраиваемых, так и для распределенных систем
    - - Помогает описывать процессы и их взаимодействие в виде UML-диаграмм, частично генерирует программный код, но не протоколов, а именно взаимодействия процессов.
    - - Генерирует с++ для веб сервисов
    - - Просто надстройка для генерации С кода
    - - Реализует некую абстрактную модель SDL, которая позволяет сделать файлы для кодогенерации. Особенность в том, что можно делать hardware-software реализацию.
    - - Реализует генерацию стека протоколов на языке С для встраиваемых систем, использует для этого DSL. например Stack TcpIp = Tcp<|>Udp<|>Icmp<->Ipv4<|>Ipv6
        <|>разделяет слои <-> протоколы одного слоя
    - - Статья 1988 года. Перекликается с той, что ниже.
  - - - построенные на модели допустимых последовательностей
        
        Алгебра взаимодействующих процессов, временная логика, методы трассовых спецификаций
        
        Lotos (Language of Temporal Ordering Specification)
      - методы, использующие модели состояний
        
        конечные автоматы, в т.ч. с очередями, разные сети Петри. Часто используются блок-схемы, диаграммы состояний, языки программирования, формальные грамматики, матрицы переходов
        
        Estelle (Extended State Transition Language)
    - - • SDL (Specification and Description Language): для описания архитектуры, поведения, а также статического интерфейса и интерфейса данных
      - • MSC (Message Sequence Chart): для описания типичных или исключительных взаимодействий в виде сообщений между сущностями
      - • UML (Unified Modelling Language): for the collection, analysis and processing of requirements as well as for the specification message exchanges and overviews of architecture and behaviour specifications
      - • ASN.1 (Abstract Syntax Notation One): для описаний структур данных сообщений, обмениваемых между компонентами
      - • TTCN (Testing and Test Control Notation): для спецификации тестов, тестовых наборов и тестовых конфигураций
    - - Верификация логики работы
      - Реализация работоспособной на конкретной аппаратуре программы
    - - Только канал передачи данных (реакцию компонент дописывает разработчик руками)
      - Канал передачи данных и реакцию компонент на те или иные события (сообщения)
    - - описание языка
- - - - Компании
        
        За новый ЛК сделанный специально для них
        
        За новый APK-файл, сделанный специально для них
        
        Кастомизированный шаблон (например, логотип или About или AndroidAppId)
        
        Дополнительные программные модули
        
        За приложение с залоченным ручным обновлением (только автообновление) - приложение для пользователей разработчика
        
        За покупку проекта целиком под WhiteLabels
      - Разработчики (Makers)
        
        Аналитика по пользователям разработчиков (FireBase нет -http://stackoverflow.com/questions/35095707/is-there-any-api-for-dashboard-analytics-data?)
        
        За приложение с залоченным ручным обновлением (только автообновление) - приложение для пользователей разработчика
        
        Платят по тарифам за заброску новых кофигураций в их аккаунт
  - - - Цены
    - - Подключение Android устройства
        
        https://yadi.sk/i/sIPvaVjW3Gp3eP
        
        http://appinventor.mit.edu/explore/ai2/setup
        
        http://appinventor.mit.edu/explore/ai2/setup-device-wifi.html