# Auxon [[Nathan Aschbacher]] が製品と技術の開発に注力する会社。形式手法(formal methods)と洗練された故障注入(fault injection)を活用し、エンジニアが複雑かつ高度に自動化されたシステムの検証(verification)と妥当性確認(validation)を実施できるようにすることを目的とする。(Source: [[@2022__OReillyJapan__カオスエンジニアリング - Chapter 17 サイバーフィジカルで行こう]] 筆者について) ## wiki 内の言及 - [[@2022__OReillyJapan__カオスエンジニアリング - Chapter 17 サイバーフィジカルで行こう]]: 章末「筆者について」で言及。著者 Nathan Aschbacher はフィンテック領域から自律走行車開発へキャリアを移した後、Auxon で形式手法と故障注入を組み合わせた検証・妥当性確認製品の開発に取り組んでいる。