IEC 61508やISO 26262などの機能安全規格への対応が広がる今日、開発コストの増加が大きな課題となっています。株式会社アトリエは、システムモデリング言語「SysML」とソフトウェア開発のための形式手法「Bメソッド」を組合せることで、コスト低減を支援いたします。

アトリエはグローバル基準に対応できる組込みシステムエンジニアリングをサポートします！ セーフティ＆セキュリティ規格に適合できるコンセプト構築およびライフサイクル構築を支援します。 基礎から規格詳細まで実践的なトレーニングを提供します。

EnCo Safety Office (SOX2)が提供するオールラウンド型ソリューションは、革新的なインパクトを与えます。本製品は、エンジニアリング分野が抱えるクリティカルな課題への解決策であり、複雑化したプロセスの簡素化と高速化を保証します。 SOX2は、要件管理やシステム設計の他に、様々なコアモジュールを含んでいます。コアモジュール群は、プロジェクト計画の作成や、安全コンセプトの開発、分析の実行（FMEA、FTA、FMEDA）、検証とバリデーションのプロセスをサポートしています。これらはすべて、直感的でユーザーフレンドリーなインタラクションによって実現されます。

ソフトウェアの使用記述・開発・検証を数学的基盤を用いて行う形式手法。その中でもBメソッドはモデルによる使用の記述から 数学的検証・C言語ソースコードの出力までを行える統合開発環境Atelier－Bが無償で公開されています。 Atelier-Bで用いるモデルはB言語で記述します。ゼロからB言語でモデルを記述するのは大変・・・という方のために、 SysMLで作成したモデルからBモデルに変換し、自動生成するツールを開発しています。