システムによる社会の維持

今後不可避に到来する超人手不足の時代に 現代の利便性を維持するためには 社会の多くの部分を情報システムによって置換する必要があります。 システムの故障や停止は社会機能の麻痺や重大事故に直結するようになります。

Zero Human 時代の到来

超人手不足の時代ではシステムの開発、運用、保守の全ライフサイクルにおいて、人間によるこまめな関与はもはや期待できません。 そもそも壊れない、壊れても自動で復旧し可能な限り動き続けるという、堅牢性、抗堪性、自律性を持つシステムが必要になります。

形式的検証と設計による高信頼性

私達はこの問題に対して形式的検証と新しい設計に基づいて、 コンピューター、ネットワーク、トラストという現代のシステムの基礎となるコンポーネントを統合し、 Zero　Human　時代を委ねることのできる新しい高信頼システムプラットフォームを開発しています。