料金
Provadyne は実用十分なFreeエディションと有料のProエディションを提供しており、複数エンジニアによる機能安全プログラム向けのTeamおよびEnterpriseティアを早期アクセスでご用意しています。価格はすべて米ドル（USD）表示です。該当する税金（VAT/GST/売上税）は、Merchant of Record である Paddle がチェックアウト時に計算・表示します。
プラン
| Free | Pro | |
|---|---|---|
| 価格 | $0 / 永久 | $249 / 年・シートあたり |
| MISRA C:2023、CERT C & CWE 解析 | ✓ | ✓ |
| SARIF 出力 | ✓ | ✓ |
| AI修正提案（BYOK）& ローカルLLM | ✓ | ✓ |
| 一括 & 複数ファイル解析 | — | ✓ |
| PDF / CSV / Excel エクスポート | — | ✓ |
| ISO 26262-6 トレーサビリティ・マトリクス | — | ✓ |
| 優先メールサポート | — | ✓ |
Pro を入手 — $249/year
または Free エディションをダウンロード — アカウント不要、カード不要。
「Pro」に含まれるもの
Pro サブスクリプションでは、複数ファイル & 複数標準の一括解析、一括PDF違反レポート、CSV/Excel エクスポート、ISO 26262-6 V-model トレーサビリティ・マトリクス、優先メールサポートがアンロックされます。個々のユーザー単位（シートあたり）の年間サブスクリプションとしてライセンスされます。
Team — 早期アクセス
共有ガバナンスを必要とする複数エンジニアのチーム向け。これらの機能は活発に開発中であり、まだリリースされていません — 料金は確定していません。ウェイトリストに登録して、形作りにご協力ください。Team には Pro のすべての機能に加え、以下が含まれる予定です:
- 署名付き逸脱ガバナンス — RSA署名された MISRA waiver。Safety Manager が承認し、各エンジニアのローカルデーモンが署名を検証して検出結果を抑制します。
- 共有ルールプロファイル — 組織全体で、リポジトリ内にバージョン管理。
- ロールベースのシート — Developer / Safety Manager。
- チームコンプライアンス集計 — 全エンジニアにわたるエビデンスを集約。
Enterprise — 営業に問い合わせ
認定済みツールチェーンを運用する組織向け。ロードマップ — まだリリースされていません。 営業に問い合わせ。Enterprise には Team のすべての機能に加え、以下が含まれる予定です:
- ISO 26262-8 ツール認定サポートキット — TCL の根拠とバージョン固定のテストエビデンス。
- 法務パッケージ — SBOM、OSS ライセンスコンプライアンス証明、補償（indemnification）、サポート SLA。
- エアギャップ対応の署名付き配布 & 再現可能なビルド。
- オンプレミスのフローティングライセンスサーバー。
請求 & 税金
- 通貨: USD。カード発行会社が現地通貨に換算する場合があります。
- 税金: VAT/GST/売上税は、該当する場合チェックアウト時に追加され、Paddle によって納付されます。
- 請求サイクル: 年次。更新日前にキャンセルしない限り、サブスクリプションは毎年自動更新されます。
- 請求書: すべての請求について、Paddle から領収書/請求書がメールで送付されます。
ライセンスの配布
お支払いが確認されると、ライセンスファイルがメールで配布されます。通常は数分以内です。Provadyne 拡張機能またはデーモンで有効化して Pro 機能をアンロックしてください。
キャンセル & 返金
Paddle の注文確認メール内の管理リンクからいつでもキャンセルできます。キャンセルすると以後の更新が停止され、ライセンスは支払い済み期間の終了まで有効なままです。購入は当社の14日間返金保証の対象です。詳細な条件は利用規約に記載されています。
お問い合わせ
料金や請求についてのご質問は [email protected]（電話: 0507-1361-5402）までメールでご連絡ください。
責任
Provadyne は、お客様の機能安全プロセスを支援するために静的解析と認定サポートのエビデンスを提供します。ISO 26262 コンプライアンス、お客様固有のコンテキストにおけるツール認定、および最終的な製品安全に関する責任は、ユーザーに帰属します。利用規約をご覧ください。