アトリエは「安全の安心」
を作る
セーフティイン
テグレーターです
「作る人」と「使う人」の「安全」
を橋渡しをします
作る人と使う人へ、共に「安全の安心」を
基盤技術
Core Technology
アトリエのサービスを支える分析・検証技術をご紹介します。
アトリエでは「フォーマルメソッド」を「安全の安心」のエビデンス作りに活かしています。
ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの
仕様記述、開発、検証技術を活用し、ノウハウを蓄積しており、安全性の検証に活用しています。
企業情報
Company Information
安全な製品を社会へ送り出すため、
フォーマルメソッドに基づくアシュアランス技術・サービスを提供します。
技術革新に伴って、必要とされる安全のコンセプトは刻々と変化する中、柔軟でありながらも、
論理的で検証・立証可能であることが、より強く求められる時代となっています。
アトリエは、国際社会が求める革新的な安全技術の向上に挑戦し、
人々が安心を感じられる社会を安全技術で実現することを目指しています。