[ trixie ]
[ ソース: haskell-ogma-cli ]
パッケージ: haskell-ogma-cli-utils (1.7.0-1) [non-free]
haskell-ogma-cli-utils に関するリンク
Debian の資源:
haskell-ogma-cli ソースパッケージをダウンロード:
- [haskell-ogma-cli_1.7.0-1.dsc]
- [haskell-ogma-cli_1.7.0.orig.tar.gz]
- [haskell-ogma-cli_1.7.0-1.debian.tar.xz]
メンテナ:
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
Helper tool to interoperate between Copilot and other languages
Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.
Some use cases supported by Ogma include:
- Translating requirements defined in structured natural language into monitors in Copilot.
- Generating the glue code necessary to work with C structs in Copilot.
- Generating <https://cfs.gsfc.nasa.gov/ NASA Core Flight System> applications that use Copilot for monitoring data received from the message bus.
- Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
- Generating <https://ros.org Robot Operating System (ROS 2)> applications that use Copilot for monitoring data received from different topics.
- Generating <https://github.com/nasa/fprime F'> components that use Copilot for monitoring.
- Generating monitors from state diagrams specified using a graphical notation.
その他の haskell-ogma-cli-utils 関連パッケージ
|
|
|
|
-
- dep: libbz2-1.0
- 高品質なブロックソートファイル圧縮器 - ランタイム
-
- dep: libc6 (>= 2.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libexpat1 (>= 2.0.1)
- XML パース用 C ライブラリ - ランタイムライブラリ
-
- dep: libffi8 (>= 3.4)
- Foreign Function Interface ランタイムライブラリ
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: libnuma1 (>= 2.0.11)
- NUMA ポリシーを制御するライブラリ
-
- dep: libzstd1 (>= 1.5.5)
- 高速なロスレス圧縮アルゴリズム
-
- dep: zlib1g (>= 1:1.1.4)
- 圧縮ライブラリ - ランタイム