アトリエは「安全の安心」
を作る
セーフティイン
テグレーターです
「作る人」と「使う人」の「安全」
を橋渡しをします

ソリューション

Solution

基盤技術をもとに最適な支援をご提供します。

分析に必要な情報収集から結果をステークホルダに浸透させるまでをサポートします。
数学と論理学に基づいたフォーマルメソッドの技術によりシステム・サービスの安全性を証明します。
規格適合に向けてギャップを洗い出しながら必要なエビデンス作成や的確なレビューをサポートします。

基盤技術

Core Technology

アトリエのサービスを支える分析・検証技術をご紹介します。

アトリエでは「フォーマルメソッド」を「安全の安心」のエビデンス作りに活かしています。
ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの
仕様記述、開発、検証技術を活用し、ノウハウを蓄積しており、安全性の検証に活用しています。

企業情報

Company Information

安全な製品を社会へ送り出すため、
フォーマルメソッドに基づくアシュアランス技術・サービスを提供します。

技術革新に伴って、必要とされる安全のコンセプトは刻々と変化する中、柔軟でありながらも、
論理的で検証・立証可能であることが、より強く求められる時代となっています。
アトリエは、国際社会が求める革新的な安全技術の向上に挑戦し、
人々が安心を感じられる社会を安全技術で実現することを目指しています。