ФРЕТ (программное обеспечение)
 приборная панель ФРЕТ | |
| Разработчик(и) |
|
|---|---|
| Стабильная версия | 3.1
/ 15 декабря 2023 г [2] |
| Написано в | JavaScript |
| Операционная система | Windows , Linux , OS X |
| Тип | Формализация |
| Лицензия | Соглашение НАСА об открытом исходном коде, версия 1.3 |
| Веб-сайт | https://github.com/NASA-SW-VnV/fret |
Инструмент выявления формальных требований ( FRET ) — это инструмент разработки требований . НАСА Он был разработан Исследовательским центром Эймса для определения сложных критически важных систем , отказ которых может привести к гибели людей, значительному материальному ущербу или вреду окружающей среде. [3] FRET — это программное обеспечение с открытым исходным кодом , выпущенное в соответствии с Соглашением об открытом исходном коде НАСА . [4]
Фон
[ редактировать ]Поведение и особенности системы определяются ее требованиями . Большинство требований написаны на естественных языках, таких как английский, который легко понять аналитикам и заинтересованным сторонам, но его нельзя проверить на наличие ошибок и упущений с помощью формальных методов . С другой стороны, формальные обозначения, такие как VDM и Z , которые являются точными и однозначными, обычно сложны для понимания аналитиками и заинтересованными сторонами. [4] [5]
В качестве компромисса требования FRET создаются на контролируемом естественном языке , называемом FRETish, и преобразуются во временную логику . [4] [5]
Использование
[ редактировать ]Требования FRETish могут соответствовать переменным во внешнем коде или моделях . FRET генерирует и проверяет формальные эквиваленты для каждого оператора, позволяя импортировать или экспортировать требования в различные форматы, включая JSON . [4] [6]
В FRET процессы моделируются и анализируются путем взаимодействия с внешними инструментами моделирования и анализа. Поддерживаемые внешние инструменты включают симулятор COCO , Simulink Design, Verifier, NuSMV и Copilot. [4] [6]
См. также
[ редактировать ]- Функциональное требование
- Нефункциональное требование
- Цель
- Анализ требований
- Программная инженерия
- Свод знаний по программной инженерии
- Требования к программному обеспечению
- Спецификация требований к программному обеспечению
- Анализ заинтересованных сторон
- Системная инженерия
- Список инструментов разработки требований
Ссылки
[ редактировать ]- ^ "fret/CONTRIBUTORS.md в мастере · NASA-SW-VnV/fret" . Гитхаб . Проверено 26 ноября 2023 г.
- ^ «FRET: Инструмент выявления формальных требований» . Гитхаб . Проверено 29 декабря 2023 г.
- ^ Катис, Андреас; Мавриду, Анастасия; Джаннакопулу, Димитра; Прессбургер, Томас; Шуман, Иоганн (2022). Собирайте, анализируйте, диагностируйте: проверка реализуемости требований в FRET . Конспекты лекций по информатике. Том. 13372. Международное издательство Springer. стр. 490–504. дои : 10.1007/978-3-031-13188-2_24 . ISBN 978-3-031-13187-5 . Проверено 7 декабря 2023 г. - через Springer.
- ^ Перейти обратно: а б с д и Джаннакопулу, Димитра; Прессбургер, Томас; Мавриду, Анастасия; Рейн, Джулиан; Шуман, Иоганн; Ши, Ниджа (2020). Выявление официальных требований с помощью FRET (PDF) . Семинары REFSQ. S2CID 214708107 . Архивировано (PDF) из оригинала 3 октября 2023 г. Проверено 29 ноября 2023 г.
- ^ Перейти обратно: а б «Верификация на основе формальных требований» . Репозиторий VALU3S . ВАЛЮ3С.
- ^ Перейти обратно: а б «fret/fret-electron/docs/_media/userManual.md at master · NASA-SW-VnV/fret» . Гитхаб . Проверено 30 декабря 2023 г.