Solution
分析に必要な情報収集から結果をステークホルダに浸透させるまでをサポートします。
数学と論理学に基づいたフォーマルメソッドの技術によりシステム・サービスの安全性を証明します。
規格適合に向けてギャップを洗い出しながら必要なエビデンス作成や的確なレビューをサポートします。
自動運転や自律化・固有のハザードを抽出し、リスク低減方策の立案を支援します。
故障発生時にもシステムの安全性が維持されることを形式手法により網羅的に検証し、故障対策の十分性を立証します。
行動分析のエキスパートが、機器・環境・人の相互作用を分析することで、現場の安全の改善活動を支援します。
国際安全規格の適合に必要な安全コンセプト決定から、エビデンス文書作成、法規・規格準拠の活動を一貫して行います。
Core Technology
アトリエでは「フォーマルメソッド」を「安全の安心」のエビデンス作りに活かしています。
ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの
仕様記述、開発、検証技術を活用し、ノウハウを蓄積しており、安全性の検証に活用しています。
Company Information
技術革新に伴って、必要とされる安全のコンセプトは刻々と変化する中、柔軟でありながらも、
論理的で検証・立証可能であることが、より強く求められる時代となっています。
アトリエは、国際社会が求める革新的な安全技術の向上に挑戦し、
人々が安心を感じられる社会を安全技術で実現することを目指しています。
