SKILLEMALL.ai

CC faa-req-handbook

База знаний из Руководства FAA по управлению требованиями (DOT/FAA/AR-08/32). Используйте для написания требований к встраиваемым системам управления реального времени — с уклоном в авионику/медицину — посредством одиннадцати рекомендуемых практик Руководства: обзор системы и граница (контролируемые/управляемые переменные), операционные концепции (варианты использования), предположения об окружающей среде, функциональная архитектура, устойчивая к изменениям (диаграммы зависимостей), пересмотр архитектуры на основе безопасности (FHA/PSSA/дерево отказов), режимы системы, подробное поведение и требования к производительности (идеальное значение + допуск + задержка), мост модели четырех переменных к требованиям к программному обеспечению (MON/CON/NAT/REQ, IN'/REQ'/OUT', сопоставление с DO-178B), распределение подсистем и обоснование. Содержит примеры работы термостата изолятора и системы управления полетом. Ориентировано на системы управления с датчиками и исполнительными механизмами; мало затрагивает требования к информационным системам / корпоративным / гибким требованиям, инструментам управления требованиями и формальным методам SCR/RSML/SpecTRM (называет их, но не переучивает). Не воспроизводит цитируемые стандарты IEEE/DO-178B/ARP.

машинный переводПоказать оригиналСкрыть оригинал«Knowledge base from the FAA Requirements Engineering Management Handbo…»

Knowledge base from the FAA Requirements Engineering Management Handbook (DOT/FAA/AR-08/32). Use for writing requirements for real-time, embedded control systems — the avionics/medical slant — via the Handbook's eleven recommended practices: system overview and boundary (monitored/controlled variables), operational concepts (use cases), environmental assumptions, change-tolerant functional architecture (dependency diagrams), safety-driven architecture revision (FHA/PSSA/fault tree), system modes, detailed behavior and performance requirements (ideal value + tolerance + latency), the four-variable model bridge to software requirements (MON/CON/NAT/REQ, IN'/REQ'/OUT', DO-178B mapping), subsystem allocation, and rationale. Carries the Isolette Thermostat and Flight Control System worked examples. Slanted toward control systems with sensors and actuators; thin on information-system / enterprise / agile requirements, on requirements-management tooling, and on the formal-methods internals of SCR/RSML/SpecTRM (it names them, does not re-teach them). Does not reproduce the IEEE/DO-178B/ARP standards it cites.

jgsystemsconsulting/jgs-se-knowledge-packs Agent Skills автор: jgsystemsconsulting 14 файлов тело ≈ 4 478 токенов Открыть источникgithub.com↗ проанализирован 28 ч назад

База знаний из Руководства FAA по управлению требованиями (DOT/FAA/AR-08/32).

Как процесс C 56/100 · Есть пробелы — слабые места: результат и критерий готовности, когда включается, ошибки и развилки

СправочникИИ и агентытип и темы размечены автоматически по тексту скилла
JSON
Технический рейтинг
C
81/100
безопасность, качество, тесты
Безопасность 60%
100
Качество 40%
53
Прогон на моделях
не было
Процессный рейтинг
C
56/100
Есть пробелы
Результат и критерий готовности вес 14
0
Ошибки и развилки вес 10
0
Отчётность по ходу вес 2
0
три самых слабых из десяти параметров · все десять

Как улучшить

  1. Сократите description до 1024 символов.
Для прогона на моделях — необязательно
  • Свои кейсы (evals/evals.json, 4–6 реальных запросов с ожидаемыми ответами): тогда полная проверка прогонит именно их, а не черновик от модели.
  • spec.yaml с триггерными фразами и утверждениями — контракт поведения для CI; `skilltest init` создаст шаблон.

Находки guard · 0

✓ Критических и высоких находок нет

Просканировано файлов: 14. Улики замаскированы. Пометки в серых чипах объясняют, почему серьёзность понижена.

По спецификации Agent Skills

  • ошибка description-long description 1118 символов, лимит 1024
  • заметка edit-residue в тексте есть пометки об устаревшем (строки 31, 45): проверьте, не остались ли старые правила рядом с новыми — полная проверка читает текст на противоречия

Процессный рейтинг: все десять параметров 56/100

  • 0Результат и критерий готовности. Не сказано, что считать результатом
  • 0Ошибки и развилки. Линейный процесс без обработки сбоев
  • 0Отчётность по ходу. Скилл ничего не сообщает по ходу работы
  • 20Когда включается. Не сказано, при каком запросе скилл включается
  • 30Повторный запуск. Изменяющих операций: 3, без проверки текущего состояния
  • 70Входы и предусловия. Входные данные и предусловия перечислены
  • 70Стоимость исполнения. Тело инструкции 4478 токенов
  • 100Инструменты и файлы. Внешние инструменты не нужны
  • 100Шаги. Шагов: 70
  • 100Согласованность. Имя и обязательные поля на месте
  • medium Правила безопасности и запреты внутри скилла: их место в системном промпте, здесь они не защищают

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

Сигналы качества

  • +5В description нет примеров фраз, по которым скилл должен срабатывать
  • +4Описание не говорит, когда скилл НЕ применять (ложные срабатывания)
  • +3Длина description 1118: рекомендуется 120–800 символов
  • +3Формат ответа не описан: модель каждый раз решает сама
  • +4Нет примеров входа/выхода
  • +2Инструкции на одном языке
  • +4Структура: 16 заголовков
  • +3Пошаговые инструкции: 70 пунктов
  • +1Лицензия указана

База качества 70; замечания lint вычитаются, сигналы прибавляют до 100. Итог: 53.