導入の第一歩から、頼れるパートナー
Qt Group の Axivion のようなツールへの投資は大きな一歩であり、入念な評価と準備が欠かせません。私たちはそのことをよく理解しており、専任のプリセールス ソリューションエンジニアがあらゆるご質問にお答えします。しかし、私たちのサポートはそれだけでは終わりません。ご購入後も、変化する要件に柔軟に対応できるよう、継続的にお客様をサポートします。
| 評価 | 導入 | 頼れるパートナー |
|---|---|---|
|
Proof of Value Proof of Value ワークショップでは、当社のエキスパートのサポートを受けながら、お客様自身の環境でお客様自身のコードを解析できます。 |
導入支援サービス 契約締結で終わりではありません。私たちはさらに一歩踏み込んだ支援を行います。充実した導入・カスタマイズ支援により、チームは初日から Axivion の効果を実感できます。 |
サポート プロジェクトに変化があっても、お客様だけで抱え込む必要はありません。カスタマーポータルからライセンスやチームメンバーをご自身で管理でき、プロジェクトの進展に応じて当社の R&D チームのサポートを受けられます。 |
|
専任ソリューションエンジニア |
専任ソリューションエンジニア |
新バージョンへの無償アップデート |
|
プロジェクトのセットアップ |
プロジェクトのセットアップ |
迅速な対応 |
|
プロジェクトの解析 |
CI/CD パイプラインへの統合 |
アドバンスト トレーニング |
|
Q&A セッション |
トレーニング |
柔軟なライセンス管理 |
|
詳細レポート |
導入レビュー |
サポートリクエストの一元管理 |
Axivionのサービスとサポートに対するお客様の声
「私たちは、あらゆる分析ツールを徹底的に評価しました。その中で Axivion Suite は、幅広いオープンな機能を備え、自社のニーズに合わせて容易に適用できる点で、日々の開発業務において高い評価を得ています。さらに、Axivion のプロフェッショナルサービスチームによる実践的なサポートも受けられ、ソフトウェア品質保証のあらゆる段階で支援を得られる点も大きなメリットです。」
「技術面では、Axivion Suite がコードとアーキテクチャの自動検証に必要な機能を一通り備えていることが決め手となりました。しかし、開発者の間で高い支持を得て、短期間で生産性の高い成果につながった最大の要因は、Axivion プロフェッショナルサービスチームの充実したサポートでした。新しいツールスイートの展開とワークフローへの組み込みを丁寧に支援していただいたことに加え、関係者全員にとって意欲が高まるトレーニングを実施していただいたことで、導入は大きな成功を収めました。」
「専門家による質の高いサポートと迅速な対応に感銘を受けました。特に、Axivion で解析するための EDK2 ルールセットの実装・開発にあたっては、Qt Group との協業に大変感謝しています。」
主な技術仕様
カスタマイズ: ソフトウェア開発を成功に導く鍵
Axivion の最大の特長は、お客様のニーズに合わせてツールをカスタマイズできることです。既製のソリューションでは、必要な柔軟性が得られません。だからこそ私たちは、ソフトウェアをどのように開発するかをお客様自身が決められるツールを開発しました。以下に基本的な技術仕様を示します。お使いのツールが以下のリストにない場合や、特定のセットアップやカスタマイズのニーズについて当社のエキスパートと相談したい場合は、お問い合わせください。
対応言語とコンパイラ
|
言語 |
C, C++, CUDA C++, C#1), Rust1) |
|
コンパイラ |
Blackfin, Clang, CodeVision, CodeWarrior, Cosmic, Green Hills Software, GNU, IAR, Keil, Microchip, Microsoft, NVIDIA nvcc, Renesas, TASKING, TI, Wind River, その他 |
対応OS
| ホスト OS |
Windows 10/11 または Windows Server 2016/2019/2022/2025 (64 ビット) x86_64 GNU/Linux (glibc 2.28 以降が必要), Linux ARM64 macOS ARM64 |
プラグイン
|
IDE |
Qt Creator, CLion, Eclipse, Eclipse-based (e.g. e2studio, Atollic TrueSTUDIO, CodeWarrior, DAVE, STM32CubeIDE, TI Code Composer Studio), Microsoft Visual Studio, Microsoft Visual Studio Code, 汎用プラグイン |
|
CI/DevOps |
Azure DevOps, Jenkins, Integration for Bitbucket, GitLab, GitHub との統合など |
対応バージョン管理システム
|
バージョン管理システム |
Borland/Inprise/MicroFocus StarTeam, CVS, Fossil, Git, IBM Rational ClearCase, IBM Rational Team Concert, Mercurial, Microsoft Team Foundation Server, Microsoft Visual SourceSafe, MKS Source Integrity, Perforce, Perforce/Seapine Surround, Plastic, PTC Integrity, Serena Dimensions, Serena PVCS, Subversion |
対応UMLツール
|
UML ツール |
IBM Rational Rhapsody, Sparx Enterprise Architect (XMI または .qea ファイル経由), PlantUML |
対応規格とガイドライン
|
コーディングガイドライン |
MISRA C:2004/2012/2019/2023/2025, MISRA C++:2008/2023 AUTOSAR C++14 CERT C Rules, CERT C Recommendations, CERT C++ Rules Common Weakness Enumeration (CWE) ISO/IEC TS 17961 Qt Framework カスタマイズチェック
|
|
認証基準2) |
EN 50716 (SIL 4 まで) IEC 61508 (SIL 4 まで) IEC 62304 (Class C まで) ISO 26262 (ASIL-D まで) |
その他
|
対応ブラウザ |
Microsoft Edge, Mozilla Firefox, Google Chrome |
|
動作要件 |
Java Runtime (17, 21, 25) |
|
アドオン |
静的コード解析およびアーキテクチャ検証向け C/C++/CUDA C++ 用 Axivion Tool Qualification Kits |
1) limited support
2) Certified by SGS-TÜV Saar
資料をダウンロード
Axivion の詳細については、資料をダウンロードしてお読みください。